Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=173277950
im Bestand: Gesamter Bestand

11 - 20 von 68

	11	Compositional analysis of probabilistic timed graph transformation systems Maximova, Maria. - Potsdam : Universitätsverlag Potsdam, 2021
	12	Interval probabilistic timed graph transformation systems Maximova, Maria. - Potsdam : Universität Potsdam, 2021
	13	Interval probabilistic timed graph transformation systems Maximova, Maria. - Potsdam : Universitätsverlag Potsdam, 2021
	14	Probabilistic metric temporal graph logic Schneider, Sven. - Potsdam : Universität Potsdam, 2021
	15	Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat Meinel, Christoph. - Potsdam : Universität Potsdam, 2021
	16	Incremental execution of temporal graph queries over runtime models with history and its applications Enthalten in Software and systems modeling 20.12.2021: 1-41
	17	Compositional analysis of probabilistic timed graph transformation systems Maximova, Maria. - Potsdam : Universität Potsdam, 2020
	18	Metric temporal graph logic over typed attributed graphs Giese, Holger. - Potsdam : Universitätsverlag Potsdam, 2019, Extended version
	19	Metric temporal graph logic over typed attributed graphs Giese, Holger. - Potsdam : Universität Potsdam, 2019
	20	Metric temporal graph logic over typed attributed graphs Giese, Holger. - Potsdam : Universität Potsdam, 2018

11 - 20 von 68

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (1)

Alle Standorte

Aktionen