Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

Ergebnis der Suche nach: "Tarasyuk" and "Igor"
im Bestand: Gesamter Bestand

1 - 10 von 13

	1	A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions Buchholz, Peter. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
	2	Tau-Equivalences and Refinement for Petri Nets Based Design Tarasyuk, Igor V.. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	3	Equivalences for modular performance analysis in dtsPBC Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2011
	4	Investigating equivalence relations in dtsPBC Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2008
	5	Discrete time stochastic Petri box calculus Tarasjuk, Igorʹ V.. - Oldenburg : Carl-von-Ossietzky-Univ., Dep. für Informatik, [2005]
	6	A class of stochastic Petri nets with step semantics and related equivalence notions Buchholz, Peter. - Dresden : TU, Fak. Informatik, 2000
	7	τ-equivalences and refinement for Petri nets based design Tarasjuk, Igorʹ V.. - Dresden : TU, Fak. Informatik, 2000
	8	Equivalences for concurrent and distributed systems Tarasjuk, Igorʹ V.. - Oldenburg : Univ., Fachbereich Informatik, 1999
	9	An investigation of back-forth and place bisimulation equivalences Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997
	10	An investigation of τ-equivalencs [tau-equivalences] Tarasjuk, Igorʹ V.. - Hildesheim : Inst. für Informatik, 1997