Deduction 24.02. - 28.02.97 (9709) Wolfgang Bibel ... (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 170 | Dagstuhl-Seminar-Report ; 170Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1997Beschreibung: 23 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 28
- 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 170 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000125992 |
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 168 Computational geometry 10. 02. - 14. 02. 97 (9707) | 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) |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291