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

Reihe Informatik-Fachberichte

Buchcover Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Springer Berlin

Buchcover Mustererkennung 1990

Mustererkennung 1990

12. DAGM-Symposium Oberkochen-Aalen, 24.–26. September 1990. Proceedings

Springer Berlin

Buchcover Automatische Komplexitätsanalyse funktionaler Programme

Automatische Komplexitätsanalyse funktionaler Programme

Wolf Zimmermann

Springer Berlin

Buchcover Organisation und Betrieb von Rechenzentren

Organisation und Betrieb von Rechenzentren

Fachgespräch der GI Erlangen, 12./13. März 1981

Springer Berlin

Buchcover Kognitive Aspekte der Mensch-Computer-Interaktion

Kognitive Aspekte der Mensch-Computer-Interaktion

Workshop, München, 12.-13. April 1984

Springer Berlin

Buchcover 3. Österreichische Artificial-Intelligence-Tagung

3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987

Springer Berlin

Buchcover Organisation informationstechnik-gestützter öffentlicher Verwaltungen

Organisation informationstechnik-gestützter öffentlicher Verwaltungen

Fachtagung der GI (Fachausschuß 13: Informatik in Recht und Verwaltung) und des Forschungsinstituts für öffentliche Verw

Springer Berlin

Buchcover PEARL 90 — Workshop über Realzeitsysteme

PEARL 90 — Workshop über Realzeitsysteme

11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings

Springer Berlin

Buchcover Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Springer Berlin

Buchcover Ein Roboteraktions-planungssystem

Ein Roboteraktions-planungssystem

Bernhard J. Frommherz

Springer Berlin

618 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 ...