|
|
|
|
| LEADER |
03086nmm a2200337 u 4500 |
| 001 |
EB000666099 |
| 003 |
EBX01000000000000000519181 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| ger |
| 020 |
|
|
|a 9783642581540
|
| 100 |
1 |
|
|a Bauer, Friedrich L.
|
| 245 |
0 |
0 |
|a Informatik 2
|h Elektronische Ressource
|b Eine einführende Übersicht
|c von Friedrich L. Bauer, Gerhard Goos
|
| 250 |
|
|
|a 4th ed. 1992
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1992, 1992
|
| 300 |
|
|
|a XVI, 352 S. 8 Abb
|b online resource
|
| 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 -- 8.3 Zustandssemantik -- 8.4 Mathematische Semantik -- Ergônzende Literatur -- Namen- und Sachverzeichnis
|
| 653 |
|
|
|a Artificial intelligence / Data processing
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Theory of Computation
|
| 653 |
|
|
|a Data Science
|
| 700 |
1 |
|
|a Goos, Gerhard
|e [author]
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Springer-Lehrbuch
|
| 028 |
5 |
0 |
|a 10.1007/978-3-642-58154-0
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-58154-0?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 004.0151
|
| 520 |
|
|
|a Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Zunächst werden Programmstrukturen und Datenstrukturen einschließlich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer Sprachen, mit einem Abschnitt über abstrakte Datentypen. Den Abschluß bilden die Anhänge "Korrespondenzen und Funktionen", "Datenendgeräte" und "Zur Geschichte der Informatik" sowie Syntaxdiagramme für die ALGOL 68- und die PASCAL-Notation, die im Buch verwendet werden
|