Výsledky vyhledávání - "habilitační práce"

Preferované termíny:

habilitační přednášky

Související termíny:

vysokoškolské kvalifikační práce

1

Obálka

Platform-dependent verification

Autor Barnat, Jiří, 1977-
Vydáno 2010

“...habilitační práce...”
Získat plný text

VŠ práce nebo rukopis

2

Obálka

Experimental research in explicit model checking

Autor Pelánek, Radek, 1980-
Vydáno 2010

“...habilitační práce...”
Získat plný text

VŠ práce nebo rukopis

3

Obálka

Quantum encryption protocols and programmable processors

Autor Ziman, Mário, 1977-
Vydáno 2010

“...habilitační práce...”

VŠ práce nebo rukopis

4

Obálka

Computational biomarker discovery : methods and practice /

Autor Popovici, Vlad
Vydáno 2017

“...habilitační práce...”

VŠ práce nebo rukopis

5

Obálka

Stochastic real-time systems : parameter synthesis and games /

Autor Řehák, Vojtěch, 1979-
Vydáno 2018

“...habilitační práce...”

VŠ práce nebo rukopis

6

Obálka

Modern probabilistic verification /

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

“...habilitační práce...”

VŠ práce nebo rukopis

7

Obálka

Virtual cell imaging : methods and techniques /

Autor Svoboda, David, 1978-
Vydáno 2016

“...habilitační práce...”

VŠ práce nebo rukopis

8

Obálka

Graphs, their width, and logic /

Autor Obdržálek, Jan, 1977-
Vydáno 2017

“...habilitační práce...”

VŠ práce nebo rukopis

9

Obálka

Analysis and visualization of biomolecules /

Autor Kozlíková, Barbora, 1982-
Vydáno 2016

“...habilitační práce...”

VŠ práce nebo rukopis

10

Obálka

Interactive virtual and augmented reality environments /

Autor Liarokapis, Fotis
Vydáno 2015

“...habilitační práce...”

VŠ práce nebo rukopis

11

Obálka

Statistical processing of text corpora /

Autor Rychlý, Pavel, 1973-
Vydáno 2015

“...habilitační práce...”

VŠ práce nebo rukopis

12

Obálka

Randomness in (quantum) information processing /

Autor Bouda, Jan
Vydáno 2015

“...habilitační práce...”

VŠ práce nebo rukopis

13

Obálka

Computing and applying formal concepts : algorithms and methods /

Autor Outrata, Jan
Vydáno 2015

“...habilitační práce...”

VŠ práce nebo rukopis

14

Obálka

Quality-driven architecture design of software systems /

Autor Zimmerová, Barbora, 1981-
Vydáno 2016

“...habilitační práce...”

VŠ práce nebo rukopis

15

Obálka

Data quality management for recommender systems /

Autor Ge, Mouzhi
Vydáno 2017

“...habilitační práce...”

VŠ práce nebo rukopis

16

Obálka

Algorithmic approaches to biological sequence analysis generate new tools for the study of genome structure and function /

Autor Lexa, Matej, 1966-
Vydáno 2022

“...habilitační práce...”

VŠ práce nebo rukopis

17

Obálka

Code and design safety of probabilistic systems /

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

“...habilitační práce...”

VŠ práce nebo rukopis

18

Obálka

A journey in biomedical discovery informatics : from ontology learning to knowledge graph embeddings /

Autor Nováček, Vít
Vydáno 2021

“...habilitační práce...”

VŠ práce nebo rukopis

19

Obálka

Content-based processing of human motion data /

Autor Sedmidubský, Jan, 1982-
Vydáno 2021

“...habilitační práce...”

VŠ práce nebo rukopis

20

Obálka

Partially ordered automata : expressivity, complexity, and applications /

Autor Masopust, Tomáš, 1978-
Vydáno 2019

“...habilitační práce...”

VŠ práce nebo rukopis