Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Penczek reset filtrov +
Autor: Penczek Advances in Verification of Time Petri Nets and Timed Automata Penczek 2006 Mathematical Foundations of Computer Science 1996 Penczek 1996 2 knižných titulov