Symbolic-algebraic methods and verification methods theory and applications; 21.11.1999 - 26.11.1999 (99471) Götz Alefeld ... (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 260 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | Reports MPI | 2000000166025 |
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 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) | Wadern, Dagstuhl IBFI SR 261 Content-based image and video retrieval 05.12.1999 - 10.12.1999 (99491) | Wadern, Dagstuhl IBFI SR 27 Algorithms of computer algebra 16. - 20.12.91 (9151) | Wadern, Dagstuhl IBFI SR 28 Automata theory: infinite computations 6. - 10.1.92 (9202) |
Archivierung prüfen 20200919 DE-640 1 pdager
Archivierung/Langzeitarchivierung gewährleistet PESL pdager DE-291