Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 10. Dezember öffnet die Deutsche Nationalbibliothek in Frankfurt am Main wegen einer Mitarbeiterversammlung erst ab 14 Uhr für die Benutzung. // The German National Library in Frankfurt am Main will only open at 14:00 on Tuesday 10 December due to a staff assembly.
 
Neuigkeiten Am Mittwoch, 11. Dezember, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Mitarbeiterversammlung erst ab 14 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The German National Library in Leipzig will only open at 14:00 on Wednesday 11 December due to a staff assembly. The exhibitions of the German Museum of Books and Writing in the annex will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=999210521



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/999210521
Art des Inhalts Hochschulschrift
Titel Extending the reach and power of deductive program verification / Vladimir Klebanov
Person(en) Klebanov, Vladimir (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2009
Umfang/Format Online-Ressource, ca. 1,5 MB
Hochschulschrift Koblenz, Landau (Pfalz), Univ., Diss., 2009
Persistent Identifier URN: urn:nbn:de:hbz:kob7-4770
URL http://kola.opus.hbz-nrw.de/volltexte/2009/477/pdf/book.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration