Rigorous analysis and design for software intensive systems 07.11.1999 - 12.11.1999 (99451) Stefan Jähnichen ... (eds.)
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 1
- Archivierung/Langzeitarchivierung gewährleistet PESL
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Hinweise | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|---|
![]() |
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 258 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000166001 |
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 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) | Wadern, Dagstuhl IBFI SR 259 Computability and complexity in analysis 14.11.1999 - 19.11.1999 (99461) | Wadern, Dagstuhl IBFI SR 26 Efficient interpolation algorithms 2. - 6.12.91 (9149) | Wadern, Dagstuhl IBFI SR 260 Symbolic-algebraic methods and verification methods theory and applications; 21.11.1999 - 26.11.1999 (99471) |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291