Programmierung - eine Einführung in die Informatik mit Standard ML:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
Oldenbourg
2011
|
| Ausgabe: | 2., korr. Aufl. |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | XIV, 371 S. graph. Darst. |
| ISBN: | 9783486705171 3486705172 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039311392 | ||
| 003 | DE-604 | ||
| 005 | 20120522 | ||
| 007 | t | ||
| 008 | 110802s2011 gw d||| |||| 00||| ger d | ||
| 015 | |a 11,N06 |2 dnb | ||
| 016 | 7 | |a 1009851705 |2 DE-101 | |
| 020 | |a 9783486705171 |c Pb. : EUR 39.80 (DE) |9 978-3-486-70517-1 | ||
| 020 | |a 3486705172 |9 3-486-70517-2 | ||
| 024 | 3 | |a 9783486705171 | |
| 035 | |a (OCoLC)1184304844 | ||
| 035 | |a (DE-599)DNB1009851705 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-12 |a DE-91G |a DE-210 |a DE-1051 |a DE-573 |a DE-83 |a DE-2070s |a DE-634 |a DE-M347 |a DE-92 | ||
| 082 | 0 | |a 005.13 |2 22/ger | |
| 082 | 0 | |a 005.11 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 001f |2 stub | ||
| 084 | |a DAT 364f |2 stub | ||
| 100 | 1 | |a Smolka, Gert |d 1955- |e Verfasser |0 (DE-588)12182859X |4 aut | |
| 245 | 1 | 0 | |a Programmierung - eine Einführung in die Informatik mit Standard ML |c Gert Smolka |
| 250 | |a 2., korr. Aufl. | ||
| 264 | 1 | |a München |b Oldenbourg |c 2011 | |
| 300 | |a XIV, 371 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Standard ML |0 (DE-588)4295302-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 2 | |a Standard ML |0 (DE-588)4295302-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3664194&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024187878&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024187878 | |
Datensatz im Suchindex
| _version_ | 1809403814696976384 |
|---|---|
| adam_text |
IMAGE 1
INHALTSVERZEICHNIS
1 SCHNELLKURS 1
1.1 PROGRAMME 1
1.2 INTERPRETER 2
1.2.1 MEHRFACHDEKLARATION 4
1.2.2 ERGEBNISBEZEICHNER 4
1.2.3 FEHLERMELDUNGEN 5
1.3 PROZEDUREN 5
1.4 VERGLEICHE UND KONDITIONALE 7
1.5 LOKALE DEKLARATIONEN UND HILFSPROZEDUREN 8
1.6 TUPEL 9
1.7 KARTESISCHE MUSTER 10
1.8 GANZZAHLIGE DIVISION: DIV UND MOD 12
1.9 REKURSION 13
1.10 NATUERLICHE QUADRATWURZELN UND AKKUS 16
1.11 ENDREKURSION 18
1.12 DIVERGENZ 19
1.13 FESTKOMMA-UND GLEITKOMMAZAHLEN 21
1.13.1 FESTKOMMAZAHLEN 21
1.13.2 GLEITKOMMAZAHLEN 22
1.13.3 RUNDUNGSFEHLER 23
1.13.4 BEISPIEL: NEWTONSCHES VERFAHREN 24
1.14 STANDARDSTRUKTUREN 25
2 PROGRAMMIERSPRACHLICHES 29
2.1 DARSTELLUNG UND AUFBAU VON PHRASEN 29
2.2 SYNTAXUEBERSICHT 31
2.2.1 WOERTER 32
2.2.2 PHRASEN 32
2.3 KLAMMERN 35
2.4 FREIE BEZEICHNER UND UMGEBUNGEN 37
2.5 TRIPELDARSTELLUNG VON PROZEDUREN 38
2.6 SEMANTISCHE ZULAESSIGKEIT 40
2.7 AUSFUEHRUNG 41
2.7.1 AUSFUEHRUNG VON AUSDRUECKEN 42
2.7.2 AUSFUEHRUNG VON PROZEDURAUFRUFEN 42
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009851705
DIGITALISIERT DURCH
IMAGE 2
X INHALTSVERZEICHNIS
2.7.3 AUSFUEHRUNG VON DEKLARATIONEN 43
2.7.4 AUSFUEHRUNG VON PROGRAMMEN 43
2.8 VERARBEITUNGSPHASEN EINES INTERPRETERS 44
2.9 SEMANTISCHE AEQUIVALENZ 45
3 HOEHERSTUFIGE PROZEDUREN 49
3.1 ABSTRAKTIONEN UND KASKADIERTE PROZEDUREN 49
3.2 TRIPELDARSTELLUNG UND REKURSION 51
3.3 HOEHERSTUFIGE PROZEDUREN 52
3.3.1 BESTIMMTE ITERATION: ITER 54
3.3.2 UNBESTIMMTE ITERATION: FIRST 55
3.4 BESTIMMTE ITERATION: POLYMORPHES ITER 55
3.5 POLYMORPHE TYPISIERUNG 57
3.5.1 MONOMORPHE UND POLYMORPHE BEZEICHNER 58
3.5.2 AMBIGE DEKLARATIONEN 59
3.6 TYPINFERENZ 61
3.7 TYPEN UND GLEICHHEIT 63
3.8 BEZEICHNERBINDUNG 64
3.8.1 LEXIKALISCHE BINDUNGEN 64
3.8.2 KONSISTENTE UMBENENNUNG UND BEREINIGUNG 65
3.8.3 STATISCHE UND DYNAMISCHE BINDUNGEN 67
3.9 SPEZIFIKATION POLYMORPHER PROZEDUREN 68
3.10 ABGELEITETE FORMEN: ANDALSO, ORELSE, OP 68
3.11 BEISPIEL: PRIMZAHLBERECHNUNG 70
3.12 KOMPOSITION VON PROZEDUREN 71
3.13 BESTIMMTE ITERATION: ITERUP UND ITERDN 72
4 LISTEN UND STRINGS 75
4.1 DIE DATENSTRUKTUR DER LISTEN 75
4.1.1 LISTENTYPEN 76
4.1.2 NIL UND CONS 77
4.1.3 REGELBASIERTE PROZEDUREN 78
4.2 APPEND, REV, CONCAT UND TABULATE 79
4.3 MAP, FILTER, EXISTS UND ALL 81
4.4 FALTUNG 83
4.5 HD,TL, NULL, NTH UND DAS WERFEN VON AUSNAHMEN 86
4.6 REGELBASIERTE PROZEDUREN UND MUSTERABGLEICH 88
4.6.1 DISJUNKTE UND UEBERLAPPENDE REGELN 90
4.6.2 ERSCHOEPFENDE REGELN 91
4.6.3 REGELBASIERTE ABSTRAKTIONEN UND CASE-AUSDRUECKE 92
4.6.4 KASKADIERTE PROZEDURDEKLARATIONEN MIT MEHREREN REGELN . . . 92
4.7 STRINGS 93
4.7.1 ZEICHENSTANDARDS 94
4.7.2 LEXIKALISCHE ORDNUNG 96
IMAGE 3
INHALTSVERZEICHNIS XI
5 SORTIEREN 99
5.1 SORTIEREN DURCH EINFUEGEN 99
5.2 POLYMORPHES SORTIEREN 101
5.3 INVERSE UND LEXIKALISCHE ORDNUNGEN 102
5.4 SORTIEREN DURCH MISCHEN 103
5.5 ENDLICHE MENGEN UND STRIKTE SORTIERUNG 105
5.6 PRIMZERLEGUNG 108
5.7 EIN UEBERRASCHENDER LAUFZEITUNTERSCHIED 110
6 KONSTRUKTOREN UND AUSNAHMEN 113
6.1 KONSTRUKTOREN 113
6.2 ENUMERATIONSTYPEN 115
6.3 TYPSYNONYME 116
6.4 DARSTELLUNG ARITHMETISCHER AUSDRUECKE 117
6.4.1 KOMPONENTEN UND TEILAUSDRUECKE 118
6.4.2 DARSTELLUNG VON UMGEBUNGEN 119
6.5 AUSNAHMEN 122
6.5.1 WERFEN VON AUSNAHMEN 123
6.5.2 FANGEN VON AUSNAHMEN 123
6.5.3 AUSFUEHRUNGSREIHENFOLGE UND SEQUENZIALISIERUNG 124
6.5.4 KONVENTION FUER DIE SPEZIFIKATION VON AUSNAHMEN 125
6.5.5 BEISPIEL: TEST AUF MEHRFACHAUFTRETEN 125
6.6 TYPKONSTRUKTOREN 126
6.7 OPTIONEN 126
7 BAEUME 131
7.1 REINE BAEUME 131
7.1.1 UNTERBAEUME 133
7.1.2 GESTALT ARITHMETISCHER AUSDRUECKE 133
7.1.3 LEXIKALISCHE BAUMORDNUNG 134
7.2 TEILBAEUME 135
7.3 ADRESSEN 136
7.3.1 NACHFOLGER UND VORGAENGER 138
7.4 GROESSE UND TIEFE 139
7.5 FALTUNG 141
7.6 PRAEORDNUNG UND POSTORDNUNG 141
7.6.1 TEILBAUMZUGRIFF MIT PRAENUMMERN 143
7.6.2 TEILBAUMZUGRIFF MIT POSTNUMMERN 144
7.6.3 LINEARISIERUNGEN 144
7.7 BALANCIERTHEIT 145
7.8 FINITAERE MENGEN UND GERICHTETE BAEUME 146
7.9 MARKIERTE BAEUME 149
7.10 PROJEKTIONEN 151
IMAGE 4
XII INHALTSVERZEICHNIS
8 MENGENLEHRE 155
8.1 MENGEN 155
8.2 AUSSAGEN 158
8.3 TUPEL 160
8.4 GERICHTETE GRAPHEN 162
8.5 BINAERE RELATIONEN 166
8.5.1 UMKEHRRELATIONEN 167
8.5.2 FUNKTIONALE UND INJEKTIVE RELATIONEN 167
8.5.3 TOTALE UND SURJEKTIVE RELATIONEN 168
8.5.4 KOMPOSITION VON RELATIONEN 168
8.5.5 REFLEXIVITAET, TRANSITIVITAET UND ORDNUNGEN 169
8.6 FUNKTIONEN 170
8.6.1 LAMBDA-NOTATION 171
8.6.2 FUNKTIONSMENGEN 171
8.6.3 KLAMMERSPARREGELN 172
8.6.4 ADJUNKTION 172
8.6.5 BIJEKTIONEN UND DARSTELLUNGEN 173
8.7 TERMINIERENDE RELATIONEN 173
8.8 STRUKTURELLE TERMINIERUNGSFUNKTIONEN 175
9 MATHEMATISCHE PROZEDUREN 179
9.1 BESCHREIBUNG 179
9.2 AUSFUEHRUNG 181
9.3 REKURSIONSFUNKTIONEN 184
9.4 REKURSIONSBAEUME 185
9.5 REKURSIONSRELATIONEN 186
9.6 ERGEBNISFUNKTIONEN 188
9.7 DER KORREKTHEITSSATZ 190
9.7.1 ENDREKURSIVE BESTIMMUNG VON POTENZEN 191
9.7.2 ENDREKURSIVE BESTIMMUNG VON FAKULTAETEN 191
9.8 GROESSTE GEMEINSAME TEILER 193
9.9 GAUSSSCHE FORMEL 194
9.10 GESCHACHTELTE REKURSION 196
10 INDUKTIVE KORREKTHEITSBEWEISE 199
10.1 INDUKTION 199
10.2 BESTIMMTE ITERATION 201
10.2.1 ITERATIVE BESTIMMUNG VON POTENZEN 202
10.2.2 ITERATIVE BESTIMMUNG DER FAKULTAETEN 203
10.2.3 ITERATIVE BESTIMMUNG DER FIBONACCI-ZAHLEN 203
10.3 UNBESTIMMTE ITERATION 204
10.4 LISTEN UND STRUKTURELLE INDUKTION 206
10.5 VERSTAERKUNG DER KORREKTHEITSAUSSAGE 208
IMAGE 5
INHALTSVERZEICHNIS XIII
10.6 GROESSENVERHAELTNISSE IN BAEUMEN 210
10.7 BINAERE CHARAKTERISIERUNG VON BAEUMEN 213
11 LAUFZEIT REKURSIVER PROZEDUREN 217
11.1 LAUFZEITFUNKTIONEN 217
11.2 BEISPIELE 218
11.2.1 KONKATENATION VON LISTEN 218
11.2.2 FALTUNG VON LISTEN 219
11.2.3 ELEMENTTEST FUER LISTEN 219
11.3 REKURSIVE DARSTELLUNG VON LAUFZEITFUNKTIONEN 220
11.4 LAUFZEITEN UND KOMPLEXITAETEN 221
11.5 KOMPLEXITAET VON LAUFZEITFUNKTIONEN 224
11.6 NAIVE KOMPLEXITAETSBESTIMMUNG 226
11.7 NEBENKOSTEN 228
11.7.1 BEISPIEL: AUFTEILEN VON LISTEN 229
11.7.2 BEISPIEL: SORTIEREN DURCH EINFUEGEN 229
11.8 POLYNOMIELLER REKURRENZSATZ 232
11.9 EXPONENTIELLER REKURRENZSATZ 233
11.10 LOGARITHMISCHER REKURRENZSATZ 234
11.10.1 BEISPIEL: SCHNELLES POTENZIEREN 234
11.10.2 BEISPIEL: EUKLIDSCHER ALGORITHMUS 235
11.11 LINEAR-LOGARITHMISCHER REKURRENZSATZ 237
12 STATISCHE UND DYNAMISCHE SEMANTIK 241
12.1 ABSTRAKTE SYNTAX 241
12.2 ABSTRAKTE GRAMMATIKEN 243
12.3 STATISCHE SEMANTIK 244
12.4 ELABORIERUNG 247
12.5 DYNAMISCHE SEMANTIK UND EVALUIERUNG 250
12.6 REKURSIVE PROZEDUREN 255
13 KONKRETE SYNTAX 259
13.1 LEXIKALISCHE SYNTAX FUER TYPEN 259
13.2 PHRASALE SYNTAX FUER TYPEN 261
13.2.1 AFFINITAET 262
13.2.2 EINDEUTIGKEIT 263
13.3 PARSING DURCH REKURSIVEN ABSTIEG 263
13.4 PARSER FUER TYPEN 266
13.5 ARITHMETISCHE AUSDRUECKE 269
13.5.1 LEXER 269
13.5.2 PARSER 271
13.6 KONKRETE SYNTAX FUER F 274
IMAGE 6
XTV INHALTSVERZEICHNIS
14 DATENSTRUKTUREN 279
14.1 STRUKTUREN 279
14.2 IMPLEMENTIERUNG VON DATENSTRUKTUREN 280
14.3 ABSTRAKTE DATENSTRUKTUREN 283
14.4 VEKTOREN 286
14.5 BINAERE SUCHE 288
14.6 SCHLANGEN U ND DARSTELLUNGSINVARIANTEN 290
14.7 FUNKTOREN 292
15 SPEICHER UND VERAENDERLICHE OBJEKTE 297
15.1 ZELLEN U ND REFERENZEN 298
15.2 SPEICHEREFFEKTE 300
15.3 IMPERATIVE PROZEDUREN 302
15.4 REIHUNGEN 304
15.5 REVERSIEREN U ND SORTIEREN VON REIHUNGEN 307
15.6 AGENDEN 309
15.7 EFFIZIENTE IMPERATIVE SCHLANGEN 310
15.8 SCHLEIFEN 311
15.9 LINEARE SPEICHER 314
15.10 LINEARE DARSTELLUNG VON LISTEN 316
15.11 LINEARE DARSTELLUNG VON B AE U M EN 318
15.12 LINEARE DARSTELLUNG VON AUSDRUECKEN 320
15.13 SPEICHERPLATZBEDARF BEI DER PROGRAMMAUSFUEHRUNG 321
16 STAPELMASCHINEN UND UEBERSETZER 325
16.1 EINE STAPELMASCHINE 325
16.2 ARITHMETISCHE BEFEHLE 327
16.3 SPRUNGBEFEHLE U ND KONDITIONALE 330
16.4 IMPERATIVE VARIABLEN U ND SCHLEIFEN 331
16.5 VERWENDUNG DER HALDE 333
16.6 EIN UEBERSETZER 335
16.7 PROZEDURBEFEHLE 339
16.8 AUFRUFRAHMEN 341
16.9 ENDAUFRUFE 344
16.10 DYNAMISCHE PROZEDUREN 346
16.11 AUTOMATISCHE SPEICHERBEREINIGUNG 347
16.12 VOLL- U ND HALBUEBERSETZUNG 349
A KLAMMERSPARREGELN 353
LITERATURVERZEICHNIS 355
INDEX 357 |
| any_adam_object | 1 |
| author | Smolka, Gert 1955- |
| author_GND | (DE-588)12182859X |
| author_facet | Smolka, Gert 1955- |
| author_role | aut |
| author_sort | Smolka, Gert 1955- |
| author_variant | g s gs |
| building | Verbundindex |
| bvnumber | BV039311392 |
| classification_rvk | ST 230 |
| classification_tum | DAT 001f DAT 364f |
| ctrlnum | (OCoLC)1184304844 (DE-599)DNB1009851705 |
| dewey-full | 005.13 005.11 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 005.11 |
| dewey-search | 005.13 005.11 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2., korr. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV039311392</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120522</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110802s2011 gw d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1009851705</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783486705171</subfield><subfield code="c">Pb. : EUR 39.80 (DE)</subfield><subfield code="9">978-3-486-70517-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486705172</subfield><subfield code="9">3-486-70517-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783486705171</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184304844</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1009851705</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 364f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smolka, Gert</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12182859X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programmierung - eine Einführung in die Informatik mit Standard ML</subfield><subfield code="c">Gert Smolka</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., korr. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 371 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="650" ind1="0" ind2="7"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3664194&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=024187878&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024187878</subfield></datafield></record></collection> |
| id | DE-604.BV039311392 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:19:05Z |
| institution | BVB |
| isbn | 9783486705171 3486705172 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024187878 |
| oclc_num | 1184304844 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-210 DE-1051 DE-573 DE-83 DE-2070s DE-634 DE-M347 DE-92 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-210 DE-1051 DE-573 DE-83 DE-2070s DE-634 DE-M347 DE-92 |
| physical | XIV, 371 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Oldenbourg |
| record_format | marc |
| spelling | Smolka, Gert 1955- Verfasser (DE-588)12182859X aut Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka 2., korr. Aufl. München Oldenbourg 2011 XIV, 371 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Standard ML (DE-588)4295302-9 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmierung (DE-588)4076370-5 s Programmiersprache (DE-588)4047409-4 s Standard ML (DE-588)4295302-9 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3664194&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024187878&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Smolka, Gert 1955- Programmierung - eine Einführung in die Informatik mit Standard ML Standard ML (DE-588)4295302-9 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4295302-9 (DE-588)4076370-5 (DE-588)4047409-4 |
| title | Programmierung - eine Einführung in die Informatik mit Standard ML |
| title_auth | Programmierung - eine Einführung in die Informatik mit Standard ML |
| title_exact_search | Programmierung - eine Einführung in die Informatik mit Standard ML |
| title_full | Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka |
| title_fullStr | Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka |
| title_full_unstemmed | Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka |
| title_short | Programmierung - eine Einführung in die Informatik mit Standard ML |
| title_sort | programmierung eine einfuhrung in die informatik mit standard ml |
| topic | Standard ML (DE-588)4295302-9 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Standard ML Programmierung Programmiersprache |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3664194&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024187878&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT smolkagert programmierungeineeinfuhrungindieinformatikmitstandardml |