Vorlesungen über Informatik: 1 Grundlagen und funktionales Programmieren : mit 30 Tabellen
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2006
|
| Ausgabe: | 4., überarb. Aufl. |
| Schriftenreihe: | Springer-Lehrbuch
eXamen.press |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Auch als Internetausgabe |
| Beschreibung: | XIII, 400 S. graph. Darst. |
| ISBN: | 3540244050 9783540244059 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV020834742 | ||
| 003 | DE-604 | ||
| 005 | 20060912 | ||
| 007 | t | ||
| 008 | 051018s2006 gw d||| |||| 00||| ger d | ||
| 020 | |a 3540244050 |9 3-540-24405-0 | ||
| 020 | |a 9783540244059 |9 978-3-540-24405-9 | ||
| 035 | |a (OCoLC)315107294 | ||
| 035 | |a (DE-599)BVBBV020834742 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-703 |a DE-29T |a DE-824 |a DE-M347 |a DE-1051 |a DE-29 |a DE-1028 |a DE-863 |a DE-739 |a DE-91G |a DE-945 |a DE-1050 |a DE-634 |a DE-11 |a DE-355 |a DE-188 | ||
| 084 | |a ST 110 |0 (DE-625)143583: |2 rvk | ||
| 100 | 1 | |a Goos, Gerhard |d 1937-2020 |e Verfasser |0 (DE-588)106035894 |4 aut | |
| 245 | 1 | 0 | |a Vorlesungen über Informatik |n 1 |p Grundlagen und funktionales Programmieren : mit 30 Tabellen |c Gerhard Goos ; Wolf Zimmermann |
| 250 | |a 4., überarb. Aufl. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a XIII, 400 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch | |
| 490 | 0 | |a eXamen.press | |
| 500 | |a Auch als Internetausgabe | ||
| 700 | 1 | |a Zimmermann, Wolf |e Verfasser |4 aut | |
| 773 | 0 | 8 | |w (DE-604)BV010443927 |g 1 |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014156699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014156699 | ||
Datensatz im Suchindex
| DE-BY-863_location | 1911 |
|---|---|
| DE-BY-FWS_call_number | 1911/2015:0855 |
| DE-BY-FWS_katkey | 256662 |
| DE-BY-FWS_media_number | 083100920048 |
| _version_ | 1806174152778842112 |
| adam_text | Inhaltsverzeichnis
forwort
1 Grundbegriffe 1
1.1 Signal, Datum, Information................... 1
1.1.1 Wissen .......................... 4
1.1.2 Analoge und digitale Signale................ 6
1.1.3 Codierung von Daten................... 7
1.1.4 Von der Signal-zur Informationsverarbeitung....... 10
1.1.5 Semiotik: Syntax, Semantik und Pragmatik........ 12
1.2 Wirklichkeit und Modell..................... 13
1.2.1 Die Verantwortung des Informatikers........... 16
1.3 Systeme.............................. 17
1.3.1 Die Aufgaben von Informatik-Systemen.......... 19
1.3.2 Konstruktion von Informatik-Systemen.......... 20
1.4 Algorithmen........................... 22
1.5 von-Neumann-Rechner ..................... 25
1.6 Semi-Thue-Systeme....................... 28
1.6.1 Markov-Algorithmen................... 31
1.6.2 Formale Systeme ..................... 32
1.6.3 Chomsky-Grammatiken.................. 33
1.7 Anmerkungen und Verweise................... 40
2 Halbgruppen, Relationen 43
2.1 Halbgruppen und Monoide................... 43
2.2 Relationen und Graphen..................... 48
2.2.1 Gerichtete und ungerichtete Graphen........... 49
2.2.2 Repräsentation von Relationen und Graphen....... 57
2.3 Ordnungsrelationen, Halbverbände, Verbände.......... 62
2.3.1 Quasiordnungen ..................... 62
2.3.2 Hasse-Diagramme..................... 63
2.3.3 Untere und obere Schranken............... 66
2.3.4 Normalformen und Konfluenz.............. 70
2.3.5 Vollständige Halbordnungen............... 74
2.3.6 Halbverbände....................... 78
2.3.7 Dualisierang........................ 79
2.3.8 Verbände......................... 80
2.4 Endliche Automaten....................... 84
2.5 Petrinetze............................. 97
2.6 Relationale Algebra........................ 104
2.6.1 Mengenoperationen auf Relationen............ 105
2.6.2 Datenbankoperationen.................. 106
2.6.3 SQL......rr. . . ................. 108
2.7 Anmerkungen und Verweise................... 112
3 Algebren und Termalgebren 113
3.1 Formeln............................. 114
3.2 Boolesche Algebra........................ 117
3.3 Algebraische Strukturen und Algebren.............. 120
3.4 Abbildungen zwischen Algebren................. 123
3.5 Termalgebren........................... 127
3.5.1 Strukturelle Induktion................... 130
3.6 Termalgebren mit Variablen................... 131
3.7 Termersetzungssysteme...................... 135
3.8 Abstrakte Datentypen ...................... 138
3.9 Anmerkungen und Verweise................... 139
4 Formale Logik 141
4.1 Aussagenlogik .......................... 142
4.1.1 Grundbegriffe....................... 142
4.1.2 Folgerungen und Kalküle................. 147
4.1.3 Ein Kalkül für die Aussagenlogik............. 150
4.1.4 Normalformen...................... 156
4.1.5 Hornklauseln und Resolution............... 158
4.1.6 Junktoren......................... 160
4.1.7 Schaltfunktionen..................... 163
4.1.8 Geordnete binäre Entscheidungsdiagramme........ 172
4.1.9 Schaltwerke........................ 179
4.2 Prädikatenlogik.......................... 188
4.2.1 Syntax und Semantik der Prädikatenlogik........ . 189
4.2.2 Ein Kalkül für die Prädikatenlogik ............ 194
4.2.3 Normalformen ...................... 198
4.2.4 Resolution......................... 201
4.3 Anmerkungen und Verweise................... 207
5 Funktionales Programmieren 209
5.1 Elementarer
5.1.1 Bedingte
5.1.2 Rekursion......................... 214
5.1.3 Faule Auswertung..................... 216
5.1.4 Operationelle Semantik des
5.1.5 Die Programmiersprache
5.1.6 Ein Interpretierer
5.2 Grandelemente funktionaler Programmiersprachen....... 225
5.2.1 Elementare Spracheigenschaften.............. 226
5.2.2 Bezeichner, Operatoren, Ausdrücke............ 230
5.3 Daten und elementare Datentypen................ 235
5.3.1 Boolesche Werte...................... 236
5.3.2 Ganze Zahlen, Gleitpunktzahlen............. 237
5.3.3 Zeichen.......................... 242
5.3.4 Listen........................... 243
5.3.5 Texte ........................... 254
5.3.6 Tupel . . :........................ 257
5.3.7 Funktionen als Werte . . ................. 259
5.3.8 Muster........................... 260
5.4 Allgemeines über Datentypen .................. 261
5.4.1 Typinferenz und Polymorphie............... 263
5.4.2 Überladen von Definitionen................ 266
5.4.3 Vererbung......................... 268
5.5 Grundlegende Programmiermethoden.............. 271
5.5.1 Rekursion......................... 273
5.5.2 Durchreichen von Zwischenergebnissen.......... 280
5.5.3 Unbeschränkte Listen................... 282
5.5.4 Hinweise zur Dokumentation von Programmen...... 286
5.6 Anmerkungen und Verweise................... 288
6 Abstrakte Datentypen 291
6.1 Die natürlichen Zahlen...................... 292
6.2 Lineare Datenstrukturen..................... 294
6.2.1 Listen........................... 295
6.2.2 Reihungen......................... 295
6.2.3 Keller........................... 297
6.2.4 Schlangen......................... 299
6.2.5 Sequenzen und Dateien.................. 302
6.3 Binärbäume ........................... 306
6.4 Mengen und Mehrfachmengen.................. 311
6.5 Anmerkungen und Verweise................... 314
7 Algorithmenkonstraktion
7.1 Aufwand von Algorithmen.................... 315
7.1.1 DerO-Kalkül....................... 317
7.1.2 Anwendungen....................... 318
7.2 Teile und Herrsche........................ 322
7.2.1 Zeitoptimales sequentielles Sortieren........... 324
7.2.2 Einseitiges Teile-urid-Herrsche .............. 329
7.2.3 Matrixmultiplikation nach Strassen........... 330
7.3 Gierige Algorithmen....................... 331
7.3.1 Zeitplanerstellung..................... 333
7.3.2 Minimale spannende Bäume............... 334
7.3.3 Matroide ......................... 337
7.3.4 Zeitplanung mit Endterminen............... 340
7.4 Anmerkungen und Verweise................... 341
Literaturverzeichnis 343
A
A.1 Mengen ............................. 349
A.2 Relationen und Funktionen................... 352
A.3 Natürliche Zahlen........................ 357
A.4 Mehrfachmengen......................... 359
A.5 Anmerkungen und Verweise................... 360
8
B.l Zeichenvorräte.......................... 362
B.2 Codierung von Zahlen...................... 365
B.2.1 Binärdarstellung ganzer Zahlen.............. 365
B.2.2 Darstellung von Gleitpunktzahlen............. 368
B.3 Präfixcodes und Shannonsche Informationstheorie........ 372
B.3.1 Shannonsche Informationstheorie............. 373
B.4 Fehlererkennung und-Korrektur................. 378
B.4.1 Zyklische Codes und Schieberegister........... 383
B.5 Anmerkungen und Verweise................... 386
Stichwortverzeichnis 387
|
| adam_txt |
Inhaltsverzeichnis
\forwort
1 Grundbegriffe 1
1.1 Signal, Datum, Information. 1
1.1.1 Wissen . 4
1.1.2 Analoge und digitale Signale. 6
1.1.3 Codierung von Daten. 7
1.1.4 Von der Signal-zur Informationsverarbeitung. 10
1.1.5 Semiotik: Syntax, Semantik und Pragmatik. 12
1.2 Wirklichkeit und Modell. 13
1.2.1 Die Verantwortung des Informatikers. 16
1.3 Systeme. 17
1.3.1 Die Aufgaben von Informatik-Systemen. 19
1.3.2 Konstruktion von Informatik-Systemen. 20
1.4 Algorithmen. 22
1.5 von-Neumann-Rechner . 25
1.6 Semi-Thue-Systeme. 28
1.6.1 Markov-Algorithmen. 31
1.6.2 Formale Systeme . 32
1.6.3 Chomsky-Grammatiken. 33
1.7 Anmerkungen und Verweise. 40
2 Halbgruppen, Relationen 43
2.1 Halbgruppen und Monoide. 43
2.2 Relationen und Graphen. 48
2.2.1 Gerichtete und ungerichtete Graphen. 49
2.2.2 Repräsentation von Relationen und Graphen. 57
2.3 Ordnungsrelationen, Halbverbände, Verbände. 62
2.3.1 Quasiordnungen . 62
2.3.2 Hasse-Diagramme. 63
2.3.3 Untere und obere Schranken. 66
2.3.4 Normalformen und Konfluenz. 70
2.3.5 Vollständige Halbordnungen. 74
2.3.6 Halbverbände. 78
2.3.7 Dualisierang. 79
2.3.8 Verbände. 80
2.4 Endliche Automaten. 84
2.5 Petrinetze. 97
2.6 Relationale Algebra. 104
2.6.1 'Mengenoperationen auf Relationen. 105
2.6.2 Datenbankoperationen. 106
2.6.3 SQL.rr. . .'. 108
2.7 Anmerkungen und Verweise. 112
3 Algebren und Termalgebren 113
3.1 Formeln. 114
3.2 Boolesche Algebra. 117
3.3 Algebraische Strukturen und Algebren. 120
3.4 Abbildungen zwischen Algebren. 123
3.5 Termalgebren. 127
3.5.1 Strukturelle Induktion. 130
3.6 Termalgebren mit Variablen. 131
3.7 Termersetzungssysteme. 135
3.8 Abstrakte Datentypen . 138
3.9 Anmerkungen und Verweise. 139
4 Formale Logik 141
4.1 Aussagenlogik . 142
4.1.1 Grundbegriffe. 142
4.1.2 Folgerungen und Kalküle. 147
4.1.3 Ein Kalkül für die Aussagenlogik. 150
4.1.4 Normalformen. 156
4.1.5 Hornklauseln und Resolution. 158
4.1.6 Junktoren. 160
4.1.7 Schaltfunktionen. 163
4.1.8 Geordnete binäre Entscheidungsdiagramme. 172
4.1.9 Schaltwerke. 179
4.2 Prädikatenlogik. 188
4.2.1 Syntax und Semantik der Prädikatenlogik. . 189
4.2.2 Ein Kalkül für die Prädikatenlogik . 194
4.2.3 Normalformen . 198
4.2.4 Resolution. 201
4.3 Anmerkungen und Verweise. 207
5 Funktionales Programmieren 209
5.1 Elementarer
5.1.1 Bedingte
5.1.2 Rekursion. 214
5.1.3 Faule Auswertung. 216
5.1.4 Operationelle Semantik des
5.1.5 Die Programmiersprache
5.1.6 Ein Interpretierer
5.2 Grandelemente funktionaler Programmiersprachen. 225
5.2.1 Elementare Spracheigenschaften. 226
5.2.2 Bezeichner, Operatoren, Ausdrücke. 230
5.3 Daten und elementare Datentypen. 235
5.3.1 Boolesche Werte. 236
5.3.2 Ganze Zahlen, Gleitpunktzahlen. 237
5.3.3 Zeichen. 242
5.3.4 Listen. 243
5.3.5 Texte . 254
5.3.6 Tupel . . :. 257
5.3.7 Funktionen als Werte . . . 259
5.3.8 Muster. 260
5.4 Allgemeines über Datentypen . 261
5.4.1 Typinferenz und Polymorphie. 263
5.4.2 Überladen von Definitionen. 266
5.4.3 Vererbung. 268
5.5 Grundlegende Programmiermethoden. 271
5.5.1 Rekursion. 273
5.5.2 Durchreichen von Zwischenergebnissen. 280
5.5.3 Unbeschränkte Listen. 282
5.5.4 Hinweise zur Dokumentation von Programmen. 286
5.6 Anmerkungen und Verweise. 288
6 Abstrakte Datentypen 291
6.1 Die natürlichen Zahlen. 292
6.2 Lineare Datenstrukturen. 294
6.2.1 Listen. 295
6.2.2 Reihungen. 295
6.2.3 Keller. 297
6.2.4 Schlangen. 299
6.2.5 Sequenzen und Dateien. 302
6.3 Binärbäume . 306
6.4 Mengen und Mehrfachmengen. 311
6.5 Anmerkungen und Verweise. 314
7 Algorithmenkonstraktion
7.1 Aufwand von Algorithmen. 315
7.1.1 DerO-Kalkül. 317
7.1.2 Anwendungen. 318
7.2 Teile und Herrsche. 322
7.2.1 Zeitoptimales sequentielles Sortieren. 324
7.2.2 Einseitiges Teile-urid-Herrsche . 329
7.2.3 Matrixmultiplikation nach Strassen. 330
7.3 Gierige Algorithmen. 331
7.3.1 Zeitplanerstellung. 333
7.3.2 Minimale spannende Bäume. 334
7.3.3 Matroide . 337
7.3.4 Zeitplanung mit Endterminen. 340
7.4 Anmerkungen und Verweise. 341
Literaturverzeichnis 343
A
A.1 Mengen . 349
A.2 Relationen und Funktionen. 352
A.3 Natürliche Zahlen. 357
A.4 Mehrfachmengen. 359
A.5 Anmerkungen und Verweise. 360
8
B.l Zeichenvorräte. 362
B.2 Codierung von Zahlen. 365
B.2.1 Binärdarstellung ganzer Zahlen. 365
B.2.2 Darstellung von Gleitpunktzahlen. 368
B.3 Präfixcodes und Shannonsche Informationstheorie. 372
B.3.1 Shannonsche Informationstheorie. 373
B.4 Fehlererkennung und-Korrektur. 378
B.4.1 Zyklische Codes und Schieberegister. 383
B.5 Anmerkungen und Verweise. 386
Stichwortverzeichnis 387 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Goos, Gerhard 1937-2020 Zimmermann, Wolf |
| author_GND | (DE-588)106035894 |
| author_facet | Goos, Gerhard 1937-2020 Zimmermann, Wolf |
| author_role | aut aut |
| author_sort | Goos, Gerhard 1937-2020 |
| author_variant | g g gg w z wz |
| building | Verbundindex |
| bvnumber | BV020834742 |
| classification_rvk | ST 110 |
| ctrlnum | (OCoLC)315107294 (DE-599)BVBBV020834742 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 4., überarb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01527nam a2200373 cc4500</leader><controlfield tag="001">BV020834742</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060912 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051018s2006 gw d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540244050</subfield><subfield code="9">3-540-24405-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540244059</subfield><subfield code="9">978-3-540-24405-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)315107294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020834742</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-945</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goos, Gerhard</subfield><subfield code="d">1937-2020</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)106035894</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Vorlesungen über Informatik</subfield><subfield code="n">1</subfield><subfield code="p">Grundlagen und funktionales Programmieren : mit 30 Tabellen</subfield><subfield code="c">Gerhard Goos ; Wolf Zimmermann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">4., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 400 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer-Lehrbuch</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">eXamen.press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auch als Internetausgabe</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zimmermann, Wolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV010443927</subfield><subfield code="g">1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014156699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014156699</subfield></datafield></record></collection> |
| id | DE-604.BV020834742 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:14:33Z |
| indexdate | 2024-08-01T10:45:00Z |
| institution | BVB |
| isbn | 3540244050 9783540244059 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014156699 |
| oclc_num | 315107294 |
| open_access_boolean | |
| owner | DE-703 DE-29T DE-824 DE-M347 DE-1051 DE-29 DE-1028 DE-863 DE-BY-FWS DE-739 DE-91G DE-BY-TUM DE-945 DE-1050 DE-634 DE-11 DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-703 DE-29T DE-824 DE-M347 DE-1051 DE-29 DE-1028 DE-863 DE-BY-FWS DE-739 DE-91G DE-BY-TUM DE-945 DE-1050 DE-634 DE-11 DE-355 DE-BY-UBR DE-188 |
| physical | XIII, 400 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer-Lehrbuch eXamen.press |
| spellingShingle | Goos, Gerhard 1937-2020 Zimmermann, Wolf Vorlesungen über Informatik |
| title | Vorlesungen über Informatik |
| title_auth | Vorlesungen über Informatik |
| title_exact_search | Vorlesungen über Informatik |
| title_exact_search_txtP | Vorlesungen über Informatik |
| title_full | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren : mit 30 Tabellen Gerhard Goos ; Wolf Zimmermann |
| title_fullStr | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren : mit 30 Tabellen Gerhard Goos ; Wolf Zimmermann |
| title_full_unstemmed | Vorlesungen über Informatik 1 Grundlagen und funktionales Programmieren : mit 30 Tabellen Gerhard Goos ; Wolf Zimmermann |
| title_short | Vorlesungen über Informatik |
| title_sort | vorlesungen uber informatik grundlagen und funktionales programmieren mit 30 tabellen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014156699&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010443927 |
| work_keys_str_mv | AT goosgerhard vorlesungenuberinformatik1 AT zimmermannwolf vorlesungenuberinformatik1 |
Inhaltsverzeichnis
Würzburg Magazin
| Signatur: |
1911 2015:0855 |
|---|---|
| Exemplar 1 | ausleihbar Verfügbar Bestellen |