Sökt på: Sökresultat
totalt 39 träffar
Test und Testbarkeit digitaler Schaltungen
Der Test stellt einen wichtigen Schritt im Entwurfs-und Herstellungsablauf digitaler Schal tungen dar, indem er unter Anwendung bestimmter Eingangssignale die Funktion einer ent …
Einführung in die Informatik
in die Informatik Von Prof. Dr. rer. nat. Gunter Hotz UniversiHit Saarbriicken 83 B. G. Teubner Stuttgart 1990 Prof. Dr. rer. nat. Gunter Hotz Studium der Mathematik mit Nebenfach …
Betriebssysteme
Die vorliegende zweite Auflage dieses Buches stellt eine vollständige Neubearbeitung der 1977 in diesem Verlag erschienenen Erstauflage sowie des 1981 von der Fernuniversität Hagen …
Grundlagen der Programmiersprachen
Dieses Buch behandelt Grundlagen von Programmiersprachen, deren Verknüpfung mit realen Rechenmaschinen und - exemplarisch - Algorithmen. Das Ziel des Buches ist es, eine solide …
Neuronale Netze
Vierzig Jahre, nachdem John von Neumann sein Konzept eines rechnenden, programmgesteuerten Automaten entworfen hat, setzt sich nun in der Informatik die Erkenntnis durch, daß …
Algebraische Spezifikation abstrakter Datentypen
Eine Einfhrung in die Theorie.
Graphen und Algorithmen
Mathematik für Informatiker 2
Mathematik für Informatiker 1
Die beiden Bände "Mathematik für Informatiker", deren ersten wir hiermit vor legen, beruhen auf einem viersemestrigen Vorlesungskurs, den die beiden Verfasser in den letzten …
Programmierung in Modula-2
Eine Programmiersprache ist ein Notationssystem, in dem Anweisungen für eine Rechenanlage formuliert werden können. Sie ist aber gleichermaßen auch ein Werkzeug zur Beschreibung …
Verifikation digitaler Systeme
Eine Einfhrung in den Entwurf korrekter digitaler Systeme.
Automatentheorie
Eine Einfhrung in die Theorie endlicher Automaten.