Skip to main content
main-content

Leitfäden und Monographien der Informatik

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

All books of the series Leitfäden und Monographien der Informatik

1994 | Book

Aussagenlogik: Deduktion und Algorithmen

1994 | Book

Mathematik für Informatiker

1994 | Book

Parsing

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

1994 | Book

Graphen und Algorithmen

1994 | Book

Elektrotechnik und Elektronik für Informatiker

Grundbegriffe der Elektrotechnik

1993 | Book

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 | Book

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 | Book

Datenflußrechner

1992 | Book

Prinzipien der Künstlichen Intelligenz

Wissensrepräsentation, Inferenz und Expertensysteme

1992 | Book

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 | Book

Logik für Informatiker

Eine Einführung

1991 | Book

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 | Book

Mathematik für Informatiker 2

1991 | Book

Vom Problem zum Programm

Eine Einführung in die Informatik

1991 | Book

Verifikation digitaler Systeme

Eine Einführung in den Entwurf korrekter digitaler Systeme

1990 | Book

Einführung in die Informatik

1990 | Book

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 | Book

Analyse von Petri-Netz-Modellen

1990 | Book

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 | Book

Entwurf und Technologie hochintegrierter Schaltungen