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: dcs=004* or dcs=005* or dcs=006*

Zurück zur Trefferliste


Treffer 6 von 68 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1202848206
Titel Synthesizing adaptive test strategies from temporal logic specifications / Roderick Bloem, Görschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Person(en) Bloem, Roderick (Verfasser)
Fey, Görschwin (Verfasser)
Greif, Fabian (Verfasser)
Könighofer, Robert (Verfasser)
Pill, Ingo (Verfasser)
Riener, Heinz (Verfasser)
Röck, Franz (Verfasser)
Verlag Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg
Zeitliche Einordnung Erscheinungsdatum: 2019
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:gbv:830-882.062576
URL http://hdl.handle.net/11420/4328 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: Formal Methods in System Design 2 (55): 103-135 (2019)
DDC-Notation 005.14 [DDC23ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 6 von 68
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration