Simulations and antichains for efficient handling of finite automata : monograph /

Hlavní autor: Holík, Lukáš
Další autoři: Vojnar, Tomáš, 1973-
Jazyk: Angličtina
Vydáno: Brno : Faculty of Information Technology, Brno University of Technology, 2010
Vydání: Vyd. 1.
Témata:
Externí odkaz: Digitalizovaný dokument
Fyzický popis: ix, 135 s. : il. (některé barev.) ; 26 cm
Knihy
Uloženo v:

Z důvodu uzavření knihovny je až do odvolání zablokována možnost zadávání požadavků na výpůjčky. Děkujeme za pochopení.


status  půjčeno do  dílčí knihovna  sbírka / doba vyhledání  umístění  popis  pozn.  Skladová signatura 
Jen do studovny
 
 
Sklad / do 1 hodiny
2-1265.059
Měsíc
 
 
Sklad / do 1 hodiny
2-1265.059