Katalog der Deutschen Nationalbibliothek

Neuigkeiten Frankfurt: Die Servicetheke Frankfurt ist heute nur bis 17 Uhr besetzt. Bitte beachten Sie dies für Anmeldung und Ausleihe von Sondermaterialien.

Frankfurt: The Frankfurt service desk is only open until 5 p.m. today. Please note this when registering and borrowing special materials.
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

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