Shortcuts
 
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Suchergebnisse in Tabellenform anzeigen.

- -


- Erzeugung und Analyse von Bildern und Strukturen: DGaO - DAGM Tagung, Essen, 27.-31. Mai 1980 Erzeugung und Analyse von Bildern und Strukturen: DGaO - DAGM Tagung, Essen, 27.-31. Mai 198016 991/1 1 -
Titel: Erzeugung und Analyse von Bildern und Strukturen: DGaO - DAGM Tagung, Essen, 27.-31. Mai 1980
Verfasser:
Jahr: 1980
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Paderborn, 30. Sept. - 2. Okt. 1986 Paderborn, 30. Sept. - 2. Okt. 198622 781/1 2 -
Titel: Paderborn, 30. Sept. - 2. Okt. 1986
Verfasser:
Jahr: 1986
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Diagnostisches Problemlösen mit Expertensystemen Puppe, Frank Diagnostisches Problemlösen mit Expertensystemen23 819/1 3 -
Titel: Diagnostisches Problemlösen mit Expertensystemen
Verfasser: Puppe, Frank
Jahr: 1987
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Geseke, Sept. 28 - Oct. 2, 1987 Geseke, Sept. 28 - Oct. 2, 198723 821/1 4 -
Titel: Geseke, Sept. 28 - Oct. 2, 1987
Verfasser:
Jahr: 1987
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz Beckstein, Clemens Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz24 722/1 5 -
Titel: Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz
Verfasser: Beckstein, Clemens
Jahr: 1988
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen Leszak, Marek Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen24 736/1 6 -
Titel: Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Verfasser: Leszak, Marek
Jahr: 1989
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Realistische Computergraphik: Algorithmen, Datenstrukturen u. Maschinen Müller, Heinrich Realistische Computergraphik: Algorithmen, Datenstrukturen u. Maschinen27 021/1 7 -
Titel: Realistische Computergraphik: Algorithmen, Datenstrukturen u. Maschinen
Verfasser: Müller, Heinrich
Jahr: 1988
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Datenverwaltung in verteilten Systemen: Grundlagen u. Lösungskonzepte Jablonski, Stefan Datenverwaltung in verteilten Systemen: Grundlagen u. LösungskonzepteST 200 J11 8 -
Titel: Datenverwaltung in verteilten Systemen: Grundlagen u. Lösungskonzepte
Verfasser: Jablonski, Stefan
Jahr: 1990
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Massiv parallele Programmierung mit dem Parallaxis-Modell Bräunl, Thomas Massiv parallele Programmierung mit dem Parallaxis-ModellST 230 B812 9 -
Titel: Massiv parallele Programmierung mit dem Parallaxis-Modell
Verfasser: Bräunl, Thomas
Jahr: 1990
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge Lewerentz, Claus Interaktives Entwerfen großer Programmsysteme: Konzepte und WerkzeugeST 230 L671 10 -
Titel: Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge
Verfasser: Lewerentz, Claus
Jahr: 1988
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.


- -


Schnellsuche