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: tit all "Models in Science"

Zurück zur Trefferliste


Treffer 59 von 84 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1365605523
Titel The Complexity of Counting Models of Linear-time Temporal Logic / Hazem Torfah, Martin Zimmermann
Person(en) Torfah, Hazem (Verfasser)
Zimmermann, Martin (Verfasser)
Verlag Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung Erscheinungsdatum: 2014
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-48463
DOI: 10.4230/LIPIcs.FSTTCS.2014.241
URL https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2014.241 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Leibniz International Proceedings in Informatics, 2014, Volume 29, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014), page 241-252
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 59 von 84
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration