ReČeK

Externí odkazy

Hledat v Souborném katalogu ČRHledat na Knihovny.cz

Simulations and antichains for efficient handling of finite automata

monograph

Holík LukášautorAutoritní záznam NK ČRVojnar TomášautorAutoritní záznam NK ČR

Věcné třídění

Bibliografické údaje

Vydáno
2010
Jazyk
Angličtina

Vydání

  • Tištěná kniha
    Brožovaná vazba

    978-80-214-4217-7 (brož.)

    Vydáno:

Související tituly

Od stejného autora

Cvičebnice přípravy na státní přijímací zkoušky - český jazyk, matematika

www.scio.cz

2016

Relational verification of programs with integer data

Vysoké učení technické v Brně

2012

Harnessing forest automata for verification of heap manipulating programs

Vysoké učení technické v Brně

2012

Analysis and testing of concurrent programs

Vysoké učení technické v Brně

2012

Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů

Vysoké učení technické v Brně

2011

Verification of asynchronous and parametrized hardware designs

Vysoké učení technické v Brně

2010

Od stejného nakladatele

Dotyk mojej podstaty

Vysoké učení technické v Brně

2026

Modely plasticity a tvárného lomu používané pro houževnaté kovové materiály

Vysoké učení technické v Brně

2026

Nové přístupy k čištění spalin a odpadních plynů

Vysoké učení technické v Brně

2026

Entropie elektro(energetiky)

Vysoké učení technické v Brně

2026

Research in the field of neutron dosimetry

Vysoké učení technické v Brně

2026

Alternativní zdroje elektrické energie

Vysoké učení technické v Brně

2026