Die Sprache der Maschinen:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German English |
| Published: |
Bonn [u.a.]
Thomson
1996
|
| Edition: | 1. Aufl. |
| Series: | Informatik-Lehrbuch-Reihe
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXVII, 652 S. Ill., graph. Darst. |
| ISBN: | 3826602161 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010633828 | ||
| 003 | DE-604 | ||
| 005 | 19970115 | ||
| 007 | t | ||
| 008 | 960219s1996 gw ad|| |||| 00||| ger d | ||
| 016 | 7 | |a 946828687 |2 DE-101 | |
| 020 | |a 3826602161 |c : ca. DM 79.00 |9 3-8266-0216-1 | ||
| 035 | |a (OCoLC)75710745 | ||
| 035 | |a (DE-599)BVBBV010633828 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a ger |h eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29 |a DE-29T |a DE-19 |a DE-355 |a DE-473 |a DE-91 |a DE-20 |a DE-634 |a DE-83 | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 555f |2 stub | ||
| 084 | |a DAT 542f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Floyd, Robert W. |d 1936-2001 |e Verfasser |0 (DE-588)12988037X |4 aut | |
| 240 | 1 | 0 | |a The language of machines |
| 245 | 1 | 0 | |a Die Sprache der Maschinen |c Robert W. Floyd ; Richard Beigel |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Bonn [u.a.] |b Thomson |c 1996 | |
| 300 | |a XXVII, 652 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik-Lehrbuch-Reihe | |
| 650 | 4 | |a Computable functions | |
| 650 | 4 | |a Formal languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Maschinensprache |0 (DE-588)4037827-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Maschinensprache |0 (DE-588)4037827-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Beigel, Richard |e Verfasser |4 aut | |
| 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=007094605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007094605 | |
Record in the Search Index
| _version_ | 1807594304374308864 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
0
MATHEMATISCHE
GRUNDLAGEN
1
0.1
QUANTOREN
UND
ADAM/EVA-SPIELE
1
0.2
MENGEN,
MULTIMENGEN,
RELATIONEN,
FUNKTIONEN
UND
FOLGEN
5
0.2.1
MENGEN
5
0.2.2
ERWEITERUNGEN
UND
ABSCHLUESSE
8
0.2.3
N-TUPEL
12
0.2.4
FOLGEN
14
0.2.5
MULTIMENGEN
15
0.2.6
RELATIONEN
17
0.2.7
FUNKTIONEN
23
0.3
ZEICHENKETTEN
28
0.3.1
REGULAERE
OPERATIONEN
29
0.3.2
WEITERE
ZEICHENKETTEN-OPERATIONEN
31
0.3.3
DARSTELLUNGEN
NATUERLICHER
ZAHLEN
32
0.4
GRAPHEN
34
0.5
LANDAU-SYMBOLE
36
0.6
INDUKTION
37
0.6.1
STARKE
INDUKTION
48
0.6.2
DAS
SCHUBFACHPRINZIP
51
0.6.3
REKURSIVE
DEFINITIONEN
56
1
MASCHINEN
63
1.1
PROGRAMME
63
1.2
KOENTROLLSYSTEME
74
1.3
VORZEICHENLOSE
ZAEHLER
76
1.4
ZAEHLER
MIT
VORZEICHEN
79
1.5
KELLER
81
1.6
MASCHINEN
MIT
ZWEI
ZAEHLERN
81
1.7
TURING-MASCHINEN
84
1.8
REGISTERMASCHINEN
88
1.9
DETERMINISMUS
UND
NICHTDETERMINISMUS
91
1.10
ZUSAMMENFASSUNG
99
2
KOMPONENTEN,
MASCHINEN
UND
PROGRAMME
101
2.1
DARSTELLUNG
VON
PROBLEMEN
101
2.2
MASCHINENKOMPONENTEN
104
2.3
MASCHINEN
107
2.4
ANWEISUNGEN
108
2.5
INITIALISIERUNGS
UND
TERMINIERUNGSFUNKTIONEN
110
2.6
PROGRAMME
116
2.7
AUSFUEHREN
VON
PROGRAMMEN
121
2.7.1
BERECHNUNGEN,
SPUREN
UND
VERLAEUFE
122
2.7.2
UNENDLICHE
BERECHNUNGEN,
SPUREN
UND
VERLAEUFE
125
2.8
DETERMINISMUS
UND
BLOCKIERUNG
127
2.9
DREI
WICHTIGE
ARTEN
VON
PROGRAMMEN
130
2.9.1
AKZEPTOREN
130
2.9.2
ERKENNENDE
PROGRAMME
132
2.9.3
TRANSDUKTOREN
134
2.10
ZUSAMMENFASSUNG
138
3
SIMULATION
141
3.1
SIMULATION
VON
PROGRAMMEN
142
3.2
SCHRITTWEISE
SIMULATION
143
3.2.1
SIMULATION
ZWEIER
KONTROLLSYSTEME
DURCH
EIN
EINZELNES
(PAARKONSTRUKTION)
153
3.3
SIMULATION
MITTELS
UNTERPROGRAMMEN
158
3.3.1
ELIMINIERUNG
DER
OPERATION
NONZERO
BEI
VORZEICHENLOSEN
ZAEHLERN
164
3.3.2
SIMULATION
EINES
ZAEHLERS
MIT
VORZEICHEN
DURCH
EINEN
VOR
ZEICHENLOSEN
ZAEHLER
167
3.3.3
ELIMINIERUNG
DER
EMPTY-OPERATION
BEI
KELLERN
173
3.4
STANDARDISIERUNG
176
3.4.1
FAKTORISIERUNG
VON
PROGRAMMEN
176
3.4.2
ELIMINIERUNG
NEUER
OPERATIONEN
UND
REDUNDANTER
TESTS
180
3.4.3
ELIMINIERUNG
TOTER
UND
UNERREICHBARER
ZUSTAENDE
184
3.4.4
ELIMINIERUNG
LEERER
ANWEISUNGEN
188
3.4.5
ENDZUSTANDSNORMIERUNG
UND
ELIMINIERUNG
VON
BLOCKIE
RUNGEN
192
3.5
ZUSAMMENFASSUNG
195
4
ENDLICHE
AUTOMATEN
UND
REGULAERE
SPRACHEN
197
4.1
STANDARDISIERUNG
VON
PROGRAMMEN
FUER
ENDLICHE
AUTOMATEN
198
4.2
REGULAERE
AUSDRUECKE
UND
SPRACHEN
200
*4.3
REGULAERE
AUSDRUECKE
IM
WIRKLICHEN
LEBEN:
EGREP
204
VI
INHALTSVERZEICHNIS
4.4
DER
SATZ
VON
KLEENE
208
4.4.1
ALGORITHMEN
ZUR
BERECHNUNG
REGULAERER
MENGEN
VON
PFADEN
211
4.4.2
NFA-SPRACHEN
SIND
REGULAERE
SPRACHEN
215
4.4.3
EIN
ALGORITHMUS
FUER
DIE
MANUELLE
BERECHNUNG
EINER
NFA
SPRACHE
218
4.5
NFA-SPRACHEN
UND
REGULAERE
SPRACHEN
SIND
DASSELBE
224
4.6
DETERMINISTISCHE
UND
NICHTDETERMINISTISCHE
ENDLICHE
AKZEPTOREN
SIND
AEQUIVALENT
227
4.7
MINIMIERUNG
VON
DFRS
234
4.7.1
BESTIMMUNG
AEQUIVALENTER
ZUSTAENDE
242
4.8
ABGESCHLOSSENHEITSEIGENSCHAFTEN
253
4.8.1
ABGESCHLOSSENHEIT
UNTER
ENDLICHEN
TRANSDUKTIONEN
255
4.8.2
DER KOMPOSITIONSSATZ
259
4.9
PUMPING-SAETZE
FUER
REGULAERE
SPRACHEN
266
4.9.1
PUMPINGSAETZE
UND
ADAM/EVA-SPIELE
272
4.10
ZUSAMMENFASSUNG
278
5
KONTEXTFREIE
SPRACHEN
285
5.1
SPRACHEN
ALS
LOESUNGEN
VON
GLEICHUNGEN
285
*5.2
EXISTENZ
EINDEUTIGER
MINIMALER
LOESUNGEN
293
5.3
KONTEXTFREIE
GRAMMATIKEN
UND
IHRE
STANDARDISIERUNGEN
300
*5.4
ABLEITUNGSBAEUME
306
5.5
ABLEITUNGEN
310
5.6
DIE
KONTEXTFREIEN
SPRACHEN
SIND
GENAU
DIE
NSA-SPRACHEN
315
*5.7
DIE
CHOMSKY-HIERARCHIE
321
5.8
PUMPING-SAETZE
FUER
KONTEXTFREIE
SPRACHEN
323
5.9
MEHRDEUTIGKEIT
335
*5.10
DIE
GREIBACHSCHE
NORMALFORM
340
5.11
DER
CYK-ALGORITHMUS
353
*5.12
DER
ALGORITHMUS
VON
EARLEY
356
5.13
ZUSAMMENFASSUNG
363
6
KELLERAUTOMATEN
UND
MASCHINEN
MIT
ZAEHLER
365
6.1
ABGESCHLOSSENHEITSEIGENSCHAFTEN
366
*6.2
DSA-SPRACHEN
SIND
DSR-SPRACHEN
370
6.2.1
ELIMINIERUNG
VON
PUSH/POP-PAAREN
AUS
DSAS
370
6.2.2
ELIMINIEREN
UNENDLICHER
BERECHNUNGEN
373
*6.3
EINDEUTIGE
PROGRAMME
377
*6.4
ONLINE-ERKENNUNG
381
6.5
ZWEI
ZAEHLER
KOENNEN
EINEN
KELLER
SIMULIEREN
390
6.6
ZWEI
ZAEHLER
KOENNEN
JEDE
ANZAHL
VON
ZAEHLERN
SIMULIEREN
397
*6.7
ZAEHLERSPRACHEN
UND
PRAEFIXAEQUIVALENZ
399
6.8
ZUSAMMENFASSUNG
403
INHALTSVERZEICHNIS
VII
7
BERECHENBARKEIT
405
7.1
BAENDER
UND
TURING-MASCHINEN
407
7.1.1
SIMULATION
VON
K
BAENDERN
DURCH
EIN
BAND
408
7.1.2
SIMULATION
EINES
BANDES
DURCH
ZWEI
KELLER
412
7.2
PLAZIEREN
DES
ARGUMENTS
IN
EINEM
BAND,
KELLER
ODER
ZAEHLER
415
7.3
FREIER
SPEICHERZUGRIFF
417
7.4
EIN
UNIVERSELLES
PROGRAMM
FUER
EINE
TURING-MASCHINE
419
*7.5
BERECHENBARKEIT
IM
SINNE
VON
HERBRAND
UND
GOEDEL
422
7.6
REKURSIVE
UND
REKURSIV
AUFZAEHLBARE
MENGEN
427
7.7
DAS
HALTEPROBLEM
438
7.8
DIAGONALISIERUNG
441
*7.8.1
DIE
REELLEN
ZAHLEN
SIND
UEBERABZAEHLBAR
442
7.8.2
REKURSIV
UNTRENNBARE
MENGEN
446
*7.8.3
DIE
TOTALEN
REKURSIVEN
FUNKTIONEN
KOENNEN
NICHT
EXAKT
AUF
GEZAEHLT
WERDEN
448
7.9
REDUZIERBARKEIT
449
*7.10
ERSETZUNGSSYSTEME
UND
WORTPROBLEME
456
*7.11
DAS
POSTSCHE
KORRESPONDENZPROBLEM
465
7.12
UNENTSCHEIDBARKEIT
DER
LOGIK
ERSTER
STUFE
476
7.13
GUELTIGE
UND
UNGUELTIGE
BERECHNUNGEN
482
*7.14
DIOPHANTISCHE
GLEICHUNGEN
491
7.14.1
EINIGE
DIOPHANTISCHE
UND
EXPONENTIELL
DIOPHANTISCHE
RELA
TIONEN
495
7.14.2
ARITHMETISIERUNG
VON
PROGRAMMEN
FUER
MASCHINEN
MIT
DREI
ZAEHLERN
499
7.15
ZUSAMMENFASSUNG
505
8
REKURSIONSTHEORIE
509
8.1
DER
SATZ
VON
RICE
510
8.2
DER
REKURSIONSSATZ
UND
DER
FIXPUNKTSATZ
515
8.3
DER
GOEDELSCHE
UNVOLLSTAENDIGKEITSSATZ
520
8.4
ORAKEL
UND
TURING-REDUKTIONEN
525
8.4.1
ORAKELPROGRAMME
528
8.4.2
RELATIVIERUNG
528
8.4.3
SPRUENGE
531
8.5
DIE
ARITHMETISCHE
HIERARCHIE
532
8.6
ZUSAMMENFASSUNG
547
9
KOMPLEXITAET
549
9.1
BERECHNUNGEN
MIT
BESCHRAENKTEM
ZEITAUFWAND:
P
UND
NP
549
9.2
NP-VOLLSTAENDIGE
PROBLEME
558
9.3
SUCHE
UND
OPTIMIERUNG
VERSUS
ENTSCHEIDUNG
563
9.4
KANONISCHE
NP-VOLLSTAENDIGE
PROBLEME
568
VIII
INHALTSVERZEICHNIS
9.5
SYMBOLSYSTEME
571
9.6
ERFUELLBARKEIT
BOOLESCHER
FORMELN
577
9.7
NP-VOLLSTAENDIGE
GRAPHENPROBLEME
584
9.8
NP-VOLLSTAENDIGE
PROBLEME
MIT
MENGEN,
VEKTOREN
UND
ZAHLEN
598
*9.9
EIN
NP-VOLLSTAENDIGES
PROBLEM
MIT
DFRS
607
*9.10
DIE
KOMPLEXITAET
AUSGEWAEHLTER
PROBLEME
REGULAERER
SPRACHEN
612
9.11
ZUSAMMENFASSUNG
621
10
ANHANG
623
10.1
GRIECHISCHE
BUCHSTABEN
623
10.2
GLOSSAR
625
10.3
AKRONYME
628
10.4
AEQUIVALENZEN
ZWISCHEN
PROGRAMMEN
UND
GRAMMATIKEN
632
10.5
HIERARCHIE
DER
PARTIELLEN
FUNKTIONEN
634
10.6
HIERARCHIE
DER
RELATIONEN
636
10.7
ABGESCHLOSSENHEITSEIGENSCHAFTEN
VON
SPRACHKLASSEN
637
10.8
ENTSCHEIDUNGSPROBLEME
FUER
KLASSEN
VON
SPRACHEN
638
INDEX
639
INHALTSVERZEICHNIS
IX |
| any_adam_object | 1 |
| author | Floyd, Robert W. 1936-2001 Beigel, Richard |
| author_GND | (DE-588)12988037X |
| author_facet | Floyd, Robert W. 1936-2001 Beigel, Richard |
| author_role | aut aut |
| author_sort | Floyd, Robert W. 1936-2001 |
| author_variant | r w f rw rwf r b rb |
| building | Verbundindex |
| bvnumber | BV010633828 |
| classification_rvk | ST 120 ST 130 ST 136 |
| classification_tum | DAT 555f DAT 542f |
| ctrlnum | (OCoLC)75710745 (DE-599)BVBBV010633828 |
| discipline | Informatik |
| edition | 1. 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">BV010633828</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970115</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960219s1996 gw ad|| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946828687</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826602161</subfield><subfield code="c">: ca. DM 79.00</subfield><subfield code="9">3-8266-0216-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75710745</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010633828</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="1" ind2=" "><subfield code="a">ger</subfield><subfield code="h">eng</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-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Floyd, Robert W.</subfield><subfield code="d">1936-2001</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12988037X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">The language of machines</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Die Sprache der Maschinen</subfield><subfield code="c">Robert W. Floyd ; Richard Beigel</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bonn [u.a.]</subfield><subfield code="b">Thomson</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVII, 652 S.</subfield><subfield code="b">Ill., 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">Informatik-Lehrbuch-Reihe</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinensprache</subfield><subfield code="0">(DE-588)4037827-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Maschinensprache</subfield><subfield code="0">(DE-588)4037827-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beigel, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=007094605&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-007094605</subfield></datafield></record></collection> |
| id | DE-604.BV010633828 |
| illustrated | Illustrated |
| indexdate | 2024-08-17T00:57:39Z |
| institution | BVB |
| isbn | 3826602161 |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007094605 |
| oclc_num | 75710745 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-20 DE-634 DE-83 |
| owner_facet | DE-29 DE-29T DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-20 DE-634 DE-83 |
| physical | XXVII, 652 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Thomson |
| record_format | marc |
| series2 | Informatik-Lehrbuch-Reihe |
| spelling | Floyd, Robert W. 1936-2001 Verfasser (DE-588)12988037X aut The language of machines Die Sprache der Maschinen Robert W. Floyd ; Richard Beigel 1. Aufl. Bonn [u.a.] Thomson 1996 XXVII, 652 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik-Lehrbuch-Reihe Computable functions Formal languages Machine theory Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd rswk-swf Maschinensprache (DE-588)4037827-5 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Maschinensprache (DE-588)4037827-5 s DE-604 Formale Sprache (DE-588)4017848-1 s Berechenbarkeit (DE-588)4138368-0 s Beigel, Richard Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007094605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Floyd, Robert W. 1936-2001 Beigel, Richard Die Sprache der Maschinen Computable functions Formal languages Machine theory Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd Maschinensprache (DE-588)4037827-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4037827-5 (DE-588)4138368-0 |
| title | Die Sprache der Maschinen |
| title_alt | The language of machines |
| title_auth | Die Sprache der Maschinen |
| title_exact_search | Die Sprache der Maschinen |
| title_full | Die Sprache der Maschinen Robert W. Floyd ; Richard Beigel |
| title_fullStr | Die Sprache der Maschinen Robert W. Floyd ; Richard Beigel |
| title_full_unstemmed | Die Sprache der Maschinen Robert W. Floyd ; Richard Beigel |
| title_short | Die Sprache der Maschinen |
| title_sort | die sprache der maschinen |
| topic | Computable functions Formal languages Machine theory Programming languages (Electronic computers) Formale Sprache (DE-588)4017848-1 gnd Maschinensprache (DE-588)4037827-5 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Computable functions Formal languages Machine theory Programming languages (Electronic computers) Formale Sprache Maschinensprache Berechenbarkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007094605&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT floydrobertw thelanguageofmachines AT beigelrichard thelanguageofmachines AT floydrobertw diesprachedermaschinen AT beigelrichard diesprachedermaschinen |