[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten 30.04.2025: Die Lesesäle im Hauptgebäude der Deutschen Nationalbibliothek in Leipzig schließen wegen einer Veranstaltung um 14 Uhr. Der Museums- und der Musiklesesaal sowie der Servicebereich sind bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The reading rooms in the main building of the German National Library in Leipzig will close at 14:00 due to an event. The museum reading room, the music reading room and the service area are open until 18.00. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=1149330473



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1149330473
Titel Constraint Modelling and Data Validation Using Formal Specification Languages / David Schneider ; Gutachter: Yves Ledru ; Betreuer: Michael Leuschel
Person(en) Schneider, David (Verfasser)
Leuschel, Michael (Akademischer Betreuer)
Ledru, Yves (Gutachter)
Verlag Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017
Persistent Identifier URN: urn:nbn:de:hbz:061-20171218-100210-6
URL https://docserv.uni-duesseldorf.de/servlets/DocumentServlet?id=44230 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration