Informatik
Springer Berlin (Verlag)
978-3-540-64392-0 (ISBN)
Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV führt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.
Die beiden Bände der Einführung werden durch einen Übungsband (mit CD-ROM) ergänzt: "Übungen zur Einführung in die Informatik. Aufgabensammlung mit Musterlösungen" von M. Broy und B. Rumpe.
Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.
III Systemnahe Programmierung.- 1. Prozesse, Koordination und Kommunikation in verteilten Systemen.- 2. Betriebssysteme und Systemprogrammierung.- 3. Interpretation und Übersetzung von Programmen.- IV Formale Sprachen, Berechenbarkeit, Komplexität, Logikprogrammierung.- 1. Formale Sprachen.- 2. Berechenbarkeit.- 3. Komplexitätstheorie.- 4. Effiziente Algorithmen und Datenstrukturen.- 5. Beschreibungstechniken in der Programmierung.- 6. Abschließende Bemerkungen zur Entwicklung und Anwendungsgebieten der Informatik.- Stichwortverzeichnis.
| Erscheint lt. Verlag | 15.10.1998 |
|---|---|
| Reihe/Serie | Springer-Lehrbuch |
| Zusatzinfo | XI, 404 S. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 235 mm |
| Gewicht | 628 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Algorithm analysis and problem complexity • Algorithmen • Algorithmen und Datenstrukturen • Berechenbarkeit • Betriebssystem • Betriebssysteme • Datenstruktur • Datenstrukturen • Effiziente Algorithmen • Formale Sprache • formale Sprachen • Grundbegriffe • Informatik • Informatik; Handbuch/Lehrbuch • Komplexität • Komplexitätstheorie • Logikprogrammierung • Objektorientierung • Programmiersprache • Programmierung • Systemprogrammierung • Theoretische Informatik • Übersetzer • Verteilte Systeme |
| ISBN-10 | 3-540-64392-3 / 3540643923 |
| ISBN-13 | 978-3-540-64392-0 / 9783540643920 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
