|
|
|
|
| LEADER |
04074nmm a2200445 u 4500 |
| 001 |
EB000683128 |
| 003 |
EBX01000000000000000536210 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642968112
|
| 100 |
1 |
|
|a Bauer, F. L.
|
| 245 |
0 |
0 |
|a Informatik
|h Elektronische Ressource
|b Eine einführende Übersicht Zweiter Teil
|c von F. L. Bauer, G. Goos
|
| 250 |
|
|
|a 3rd ed. 1984
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1984, 1984
|
| 300 |
|
|
|a XVI, 345 S.
|b online resource
|
| 505 |
0 |
|
|a 8.3 Zustandssemantik -- 8.4 Mathematische Semantik -- Anhang C: Korrespondenzen und Funktionen -- C.1 Spezielle Eigenschaften von Korrespondenzen -- C.1.1 Funktionen -- C.1.2 Abbildungen -- C.1.3 ‚Mehrdeutige‘ Funktionen -- C.1.4 Darstellungen von Korrespondenzen und Funktionen -- C.2 Diagramme für Korrespondenzen und Funktionen -- C.3 Mengenpotenzierung -- Anhang D: Datenendgeräte -- D.1 Anforderungen und Möglichkeiten -- D.2 Ausgabe -- D.2.1 Zeichendrucker -- D.2.2 Zeilendrucker -- D.2.3 Zeichengeräte -- D.2.4 Bildschirmgeräte -- D.2.5 Sprachausgabe -- D.3 Eingabe -- D.3.1 Tastaturen -- D.3.2 Positionseingabe am Bildschirm -- D.3.3 Markierungsleser -- D.3.4 Belegleser -- Anhang E: Zur Geschichte der Informatik -- E.1 Einleitung -- E.1.2 Die Wurzeln der Informatik -- E.2 Geschichte des Rechnens mit Ziffern und Symbolen -- E.2.1 DasZiffernrechnen -- E.2.1.1 Mechanisierung des Rechnens -- E.2.1.2 Das Rechnen im Dualzahlsystem -- E.2.1.3 Gleitpunktrechnung --
|
| 505 |
0 |
|
|a E.2.2 Das Rechnen mit Symbolen -- E.2.2.1 Kryptologie -- E.2.2.2 „Künstliche Intelligenz“ -- E.2.2.3 Das logische Rechnen -- E.3 Geschichte des Signalwesens -- E.3.1 Nachrichtenübertragung -- E.3.2 Das Prinzip der Binärcodierung -- E.3.3 Codierungs- und Informationstheorie, Prädiktionstheorie -- E.3.4 Regelung -- E.4 Automaten und Algorithmen -- E.4.1 Das Automatenprinzip -- E.4.2 Programmsteuerung -- E.4.3 Algorithmen -- E.4.4 Algorithmische Sprachen -- E.4.5 Rekursivität -- Ergänzende Literatur -- Namen- und Sachverzeichnis -- Syntaxdiagramme für die im Buch verwendeten Varianten von ALGOL 68 und PASCAL.
|
| 505 |
0 |
|
|a Vorbemerkung -- 5. Blockstruktur und dynamische Speicherverteilung -- 5.1 Blöcke und Speicherverteilung -- 5.2 Prozeduren und Blockstruktur -- 6. Hintergrundspeicher und Verkehr mit der Außenwelt, Datenstrukturen, Speicherorganisation -- 6.1 Technische Charakteristika von Hintergrundspeichern und E/A-Geräten -- 6.2 Funktionelle Beschreibung von Hintergrundspeichern und E/A-Geräten -- 6.3 Einführung neuer Rechenstrukturen -- 6.4 Datenorganisation: Listen und Zeiger -- 6.5 Zeiger-Implementierungen organisierter Speicher -- 6.6 Implementierung organisierter Speicher mittels linearer Speicher -- 7. Formale Sprachen -- 7.1 Relationen und formale Systeme -- 7.2 Formale Sprachen über Zeichenfolgen -- 7.3 Strukturgraph und Strukturbaum eines Ersetzungswegs -- 7.4 Das Zerteilungsproblem -- 7.5 Berechenbarkeit und Entscheidbarkeit -- 8. Syntaktische und semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer Sprachen -- 8.2 Operative Semantik --
|
| 653 |
|
|
|a Artificial intelligence / Data processing
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Programming Techniques
|
| 653 |
|
|
|a Computer programming
|
| 653 |
|
|
|a Memory management (Computer science)
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Computer Memory Structure
|
| 653 |
|
|
|a Computer networks
|
| 653 |
|
|
|a Computer Engineering and Networks
|
| 653 |
|
|
|a Machine theory
|
| 653 |
|
|
|a Computer engineering
|
| 653 |
|
|
|a Computer storage devices
|
| 653 |
|
|
|a Data Science
|
| 700 |
1 |
|
|a Goos, G.
|e [author]
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Heidelberger Taschenbücher
|
| 028 |
5 |
0 |
|a 10.1007/978-3-642-96811-2
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-96811-2?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.11
|