Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.

Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.

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

1 - 10 von 37

	1	Information-flow interfaces Enthalten in Formal methods in system design 23.5.2024: 1-46
	2	Into the unknown: active monitoring of neural networks (extended version) Enthalten in International journal on software tools for technology transfer 30.6.2023: 1-18
	3	Long lived transients in gene regulation Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
	4	Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
	5	Outside the Box Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
	6	Long-Run Average Behavior of Vector Addition Systems with States Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
	7	Membership-Based Synthesis of Linear Hybrid Automata García Soto, Miriam. - Konstanz : KOPS Universität Konstanz, 2019
	8	Bidirectional Nested Weighted Automata Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
	9	Faster Statistical Model Checking for Unbounded Temporal Properties Daca, Przemysław. - Konstanz : Bibliothek der Universität Konstanz, 2017
	10	Model checking the evolution of gene regulatory networks Giacobbe, Mirco. - Konstanz : Bibliothek der Universität Konstanz, 2017