Shortcuts
 
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Ihre Suche nach Anzeige der Mehrfachverknüpfungen ergibt 11 Einträge

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