Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).

Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.

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

1 - 10 von 38

	1	Information-flow interfaces Enthalten in Formal methods in system design 23.5.2024: 1-46
	2	Hypernode Automata Bartocci, Ezio. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
	3	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
	4	Long lived transients in gene regulation Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
	5	Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
	6	Outside the Box Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
	7	Long-Run Average Behavior of Vector Addition Systems with States Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
	8	Membership-Based Synthesis of Linear Hybrid Automata García Soto, Miriam. - Konstanz : KOPS Universität Konstanz, 2019
	9	Bidirectional Nested Weighted Automata Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
	10	Faster Statistical Model Checking for Unbounded Temporal Properties Daca, Przemysław. - Konstanz : Bibliothek der Universität Konstanz, 2017