Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig

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

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

1 - 10 von 28

	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	Computational Methods in Systems Biology Cham : Springer International Publishing, 2014

1 - 10 von 28

Alle Materialarten

Alle Standorte > Leipzig (28)

Aktionen

Administration