Verification and control of hybrid systems : a symbolic approach /

Autor Tabuada, Paulo Alexandre Trigo Neri, 1975-
Vydáno 2009

Discrete-event system simulation /

Autor Banks, Jerry, 1939-2012, Carson, John S., Nelson, Barry L., Nicol, David M.
Vydáno 2014

Automated grammatical error detection for language learners /

Autor Leacock, Claudia
Vydáno 2014

Ochrana informací, dat a počítačových systémů /

Autor Látal, Ivo
Vydáno 1996

Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds

Autor Krčál, Jan, 1976-
Vydáno 2014

Novinky v programu Flash MX /

Autor Kučera, Pavel
Vydáno 2002

Mistrovství v Microsoft Windows Server 2003 /

Autor Šetka, Petr, 1971-
Vydáno 2003

Windows internals. Part 1, System architecture, processes, threads, memory management, and more /

Autor Yosifovich, Pavel, Ionescu, Alex, Russinovich, Mark E., Solomon, David A.
Vydáno 2017

Imperfect Randomness in Quantum Information Processing /

Autor Pivoluska, Matej
Vydáno 2015

Systems performance : enterprise and the cloud /

Autor Gregg, Brendan
Vydáno 2014

Creation and Management of Structured Language Resources /

Autor Rambousek, Adam, 1981-
Vydáno 2015

A primer for computational biology /

Autor O'Neil, Shawn
Vydáno 2017