Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "136706479"
Treffer 37 von 40
|
|
| Link zu diesem Datensatz | https://d-nb.info/991215516 |
| Titel | The challenge of combining simulation and verification : working groups' report / Gregory Batt ... |
| Person(en) |
Batt, Gregory (Mitwirkender) Bradley, Jeremy T. (Mitwirkender) Ewald, Roland (Mitwirkender) Fages, Franðcois (Mitwirkender) Hermans, Holger (Mitwirkender) Hillston, Jane (Mitwirkender) Kemper, Peter (Mitwirkender) Martens, Alke (Mitwirkender) Mosterman, Pieter (Mitwirkender) Nielson, Flemming (Mitwirkender) Sokolsky, Oleg (Mitwirkender) Uhrmacher, Adelinde (Mitwirkender) |
| Verlag | [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik] |
| Zeitliche Einordnung | Erscheinungsdatum: [2006] |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:0030-drops-7249 |
| URL | http://drops.dagstuhl.de/opus/volltexte/2006/724/pdf/06161.SWM.Paper.724.pdf (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Dagstuhl seminar proceedings 06161 |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 37 von 40
Administration
