Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
Neuigkeiten Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: "136706479"

Zurück zur Trefferliste


Treffer 25 von 26 < < > <



Online Ressourcen
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 25 von 26
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration