Temporal logics for distributed systems paradigms and algorithms; 10.10.1999 - 15.10.1999 (99411) Edmund Clarke ... (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 254 | Dagstuhl-Seminar-Report ; 254Verlag: Wadern IBFI 2000Beschreibung: 23 SInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 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 254 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000166032 |
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 251 Declarative data access on the web 12.09.1999 - 17.09.1999 (99371) | Wadern, Dagstuhl IBFI SR 252 Computational cartography cartography meets computational geometry; 19.09.1999 - 24.09.1999 (99381) | Wadern, Dagstuhl IBFI SR 253 Finite model theory, databases, and computer-aided verification 03.10.1999 - 08.10.1999 (99401) | Wadern, Dagstuhl IBFI SR 254 Temporal logics for distributed systems paradigms and algorithms; 10.10.1999 - 15.10.1999 (99411) | Wadern, Dagstuhl IBFI SR 256 Scheduling in computer and manufacturing systems 24.10.1999 - 29.10.1999 (99431) | Wadern, Dagstuhl IBFI SR 257 Complexity of Boolean functions 31.10.1999 - 05.11.1999 (99441) | Wadern, Dagstuhl IBFI SR 258 Rigorous analysis and design for software intensive systems 07.11.1999 - 12.11.1999 (99451) |
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291