Skip to main content
main-content

Leitfäden und Monographien der Informatik

Leitfäden und Monographien der Informatik
44 Jahrgänge | 1984 - 1994

Alle Bücher der Reihe Leitfäden und Monographien der Informatik

1994 | Buch

Aussagenlogik: Deduktion und Algorithmen

1994 | Buch

Mathematik für Informatiker

1994 | Buch

Parsing

Eine Einführung in die maschinelle Analyse natürlicher Sprache

1994 | Buch

Graphen und Algorithmen

1994 | Buch

Elektrotechnik und Elektronik für Informatiker

Grundbegriffe der Elektrotechnik

1993 | Buch

Algorithmen in der Computergraphik

Die Computergraphik beschäftigt sich mit der Erzeugung und Manipulation von Bildern durch einen Computer. Die erzeugten Darstellungen sind meistens Ab­ bilder von nicht in der Realität existierenden Objekten, die mit mathematischen Verfahren …

1993 | Buch

Theoretische Informatik

Eine algorithmenorientierte Einführung

Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni­ sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer …

1993 | Buch

Datenflußrechner

1992 | Buch

Prinzipien der Künstlichen Intelligenz

Wissensrepräsentation, Inferenz und Expertensysteme

1992 | Buch

Datenstrukturen und Algorithmen

Effiziente Algorithmen und Datenstrukturen bilden ein zentrales Thema der Informatik. Wer programmiert, sollte zu den wichtigsten Problembereichen grundlegende Lösungs­ verfahren kennen; er sollte auch in der Lage sein, neue Algorithmen zu …

1991 | Buch

Logik für Informatiker

Eine Einführung

1991 | Buch

Neuronale Netze

Eine Einführung in die Neuroinformatik

Vierzig Jahre, nachdem John von Neumann sein Konzept eines rechnenden, programmgesteuerten Automaten entworfen hat, setzt sich nun in der Informatik die Erkenntnis durch, daß sequentiell arbeitende Rechner für manche Probleme zu langsam arbeiten.

1991 | Buch

Mathematik für Informatiker 2

1991 | Buch

Vom Problem zum Programm

Eine Einführung in die Informatik

1991 | Buch

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

1990 | Buch

Einführung in die Informatik

1990 | Buch

Vom Problem zum Programm

Eine Einführung in die Informatik

Dieses Buch entstand aus Manuskripten des Autors zu Informatik-I-Vor­ lesungen an der Christian-Albrechts-Universität Kiel und der Eberhard­ Karls-Universität Tübingen. An diesen Universitäten wird die Informatik­ I-Vorlesung außer von den …

1990 | Buch

Analyse von Petri-Netz-Modellen

1990 | Buch

Parallelrechnerstrukturen

Synthese von Architektur, Kommunikation und Algorithmus

In den letzten Jahren sind ein Vielzahl neuer Rechnerstrukturen entstanden. Diese unterscheiden sich sehr stark in der Anzahl der Prozessoren, in den Möglichkeiten der Kommunikation und damit auch in der Leistungsfähigkeit. Für den Benutzer …

1989 | Buch

Entwurf und Technologie hochintegrierter Schaltungen