Logic for system engineering 03. 03. - 07. 03. 97 (9710) Stefan Jähnichen ... (ed.)
Materialtyp:
TextSprache: Englisch Reihen: ; 171 | Dagstuhl-Seminar-Report ; 171Verlag: Wadern IBFI 1997Beschreibung: 31 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 1
- Archivierung/Langzeitarchivierung gewährleistet PESL
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Reports (B) | Wadern, Dagstuhl IBFI SR 171 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000126005 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Reports (B), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
| Wadern, Dagstuhl IBFI SR 169 Theory and practice of higher-order parallel programming 17.02. - 21.02.97 (9708) | Wadern, Dagstuhl IBFI SR 17 Geometric modelling 1. - 5.7.1991 (9127) ; [report of the 1st Dagstuhl Seminar on Geometric Modelling] | Wadern, Dagstuhl IBFI SR 170 Deduction 24.02. - 28.02.97 (9709) | Wadern, Dagstuhl IBFI SR 171 Logic for system engineering 03. 03. - 07. 03. 97 (9710) | Wadern, Dagstuhl IBFI SR 172 Complexity of Boolean functions 10.03. - 14.03.97 (9711) | Wadern, Dagstuhl IBFI SR 174 Object oriented software development 07.04. - 11.04.97 (9715) | Wadern, Dagstuhl IBFI SR 175 Evaluation of multimedia information retrieval 14.04. - 18.04.97 (9716) |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291