Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: "118183540"
im Bestand: Gesamter Bestand

1 - 10 von 30

1	Long lived transients in gene regulation Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
2	Outside the Box Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
3	Membership-Based Synthesis of Linear Hybrid Automata García Soto, Miriam. - Konstanz : KOPS Universität Konstanz, 2019
4	Faster Statistical Model Checking for Unbounded Temporal Properties Daca, Przemysław. - Konstanz : Bibliothek der Universität Konstanz, 2017
5	Model checking the evolution of gene regulatory networks Giacobbe, Mirco. - Konstanz : Bibliothek der Universität Konstanz, 2017
6	Linear Distances between Markov Chains Daca, Przemyslaw. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
7	Linear Distances between Markov Chains Daca, Przemyslaw. - Konstanz : Bibliothek der Universität Konstanz, 2016
8	From non-preemptive to preemptive scheduling using synchronization synthesis Enthalten in Formal methods in system design 27.9.2016: 1-43
9	Model checking the evolution of gene regulatory networks Enthalten in Acta informatica 22.8.2016: 1-23
10	Handbook of Model Checking Cham : Springer International Publishing, 2015, Aufl. 2015	Verlagsinformation