Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
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.
 
 

Ergebnis der Suche nach: "..."

Zurück zur Trefferliste


Treffer 99884 von 169562 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/991324382
Titel Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar / Liqun Chen ...
Person(en) Chen, Liqun (Mitwirkender)
Kremer, Steve (Mitwirkender)
Ryan, Mark D. (Mitwirkender)
Verlag [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik]
Zeitliche Einordnung Erscheinungsdatum: [2008]
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:0030-drops-14196
URL http://drops.dagstuhl.de/opus/volltexte/2008/1419/pdf/07421_abstracts_collection.1419.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Dagstuhl seminar proceedings 07421
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 99884 von 169562
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration