Buchportal für Bücher die eine ISBN tragen.

Rechnerarchitektur und Logik-Entwurf

Buchcover Formale Modelle der Softwareentwicklung

Formale Modelle der Softwareentwicklung

Model-Checking, Verifikation, Analyse und Simulation

Stephan Kleuker

Vieweg & Teubner

Buchcover Transiente Fehler in Mikroprozessoren

Transiente Fehler in Mikroprozessoren

Mechanismen zur Erkennung, Behebung und Tolerierung

Bernhard Fechner

Vieweg & Teubner

Buchcover Einführung in die Mathematische Logik

Einführung in die Mathematische Logik

Wolfgang Rautenberg

Vieweg & Teubner

Buchcover Digitaltechnik - Eine praxisnahe Einführung

Digitaltechnik - Eine praxisnahe Einführung

Springer Berlin

Buchcover Autonome Mobile Systeme 2007

Autonome Mobile Systeme 2007

20. Fachgespräch Kaiserslautern, 18./19. Oktober 2007

Springer Berlin

Buchcover Verkehrsleittechnik

Verkehrsleittechnik

Automatisierung des Straßen- und Schienenverkehrs

Springer Berlin

Buchcover Rechneraufbau und Rechnerarchitektur

Rechneraufbau und Rechnerarchitektur

Springer Berlin

Buchcover Sprachlogische Aspekte rekonstruierten Denkens, Redens und Handelns

Sprachlogische Aspekte rekonstruierten Denkens, Redens und Handelns

Aufbau einer Wissenschaftstheorie der Wirtschaftsinformatik

Elisabeth Heinemann

Deutscher Universitätsverlag

Buchcover Autonome Mobile Systeme 2005

Autonome Mobile Systeme 2005

19. Fachgespräch Stuttgart, 8./9. Dezember 2005

Springer Berlin

Buchcover Informatik

Johann Blieberger

144 Treffer 1 2 3 4 5 6 7 ...