Výsledky vyhledávání

1

Obálka

Model checking of control-user systems

Autor Moravcová Vařeková, Pavlína
Vydáno 2009

Získat plný text

VŠ práce nebo rukopis

2

Obálka

Model Checking Based Parameter Synthesis of Dynamical Systems in Biology /

Autor Demko, Martin
Vydáno 2020

Získat plný text

VŠ práce nebo rukopis

3

Obálka

Creation and Management of Structured Language Resources /

Autor Rambousek, Adam, 1981-
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

4

Obálka

Controller Synthesis for Resource-Aware Systems /

Autor Novotný, Petr, 1986-
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

5

Obálka

Imperfect Randomness in Quantum Information Processing /

Autor Pivoluska, Matej
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

6

Obálka

Model Checking Software /

Autor Ročkai, Petr
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

7

Obálka

Automata for Formal Methods: Little Steps Towards Perfection /

Autor Blahoudek, František
Vydáno 2018

Získat plný text

VŠ práce nebo rukopis

8

Obálka

Source Retrieval for Text Reuse Detection /

Autor Suchomel, Šimon
Vydáno 2017

Získat plný text

VŠ práce nebo rukopis

9

Obálka

Modal Transition Systems: Extensions and Analysis

Autor Křetínský, Jan, 1984-
Vydáno 2014

Získat plný text

VŠ práce nebo rukopis

10

Obálka

Self-organizing Collaborative Environments

Autor Liška, Miloš, 1980-
Vydáno 2010

Získat plný text

VŠ práce nebo rukopis

11

Obálka

Modeling Problem Solving Times in Tutoring Systems

Autor Jarušek, Petr
Vydáno 2013

Získat plný text

VŠ práce nebo rukopis

12

Obálka

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

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

Získat plný text

VŠ práce nebo rukopis

13

Obálka

Disjunctive Modal Transition Systems

Autor Beneš, Nikola
Vydáno 2012

Získat plný text

VŠ práce nebo rukopis

14

Obálka

Minimal sets over a monotone predicate: Enumeration and counting /

Autor Bendík, Jaroslav
Vydáno 2021

Získat plný text

VŠ práce nebo rukopis