Showing
1 - 3
results of
3
for search '
'
Skip to content
Feedback
Your Account
Log Out
Login
Česky
For information on the current operation of libraries, see their
websites
.
All Fields
Title
Author
Subject
ISBN/ISSN
Call Number
Barcode
System Number
Find
Advanced Search
Advanced Search
Retain current filters
author_facet:"Kučera, Antonín, 1971-"
topic_facet:"algoritmy (programování)"
Search:
Showing
1 - 3
results of
3
for search '
'
, query time: 0.10s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Parameter Synthesis in Continuous-Time Stochastic Systems /
by
Korenčiak, Ľuboš
Published 2018
Located:
Loading...
Get full text
Thesis Manuscript
Save to List
Saved in:
Holdings
2
Controller Synthesis for Resource-Aware Systems /
by
Novotný, Petr, 1986-
Published 2015
Located:
Loading...
Get full text
Thesis Manuscript
Save to List
Saved in:
Holdings
3
Modal Transition Systems: Extensions and Analysis
by
Křetínský, Jan, 1984-
Published 2014
Located:
Loading...
Get full text
Thesis Manuscript
Save to List
Saved in:
Holdings
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Remove Filters
Clear Filter
Author: Kučera, Antonín, 1971-
Clear Filter
Suggested Topics: algoritmy (programování)
Library
Faculty of Informatics
3
Format
Thesis Manuscript
3
Author
Kučera, Antonín, 1971-
Korenčiak, Ľuboš
1
Křetínský, Jan, 1984-
1
Novotný, Petr, 1986-
1
Language
English
3
Suggested Topics
algoritmy (programování)
computer algorithms
3
Markov Processes
2
Markovovy procesy
2
Programování. Software
2
computer systems
2
more ...
počítačové systémy
2
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
1
Petri nets
1
Petriho sítě
1
Speciální počítačové metody. Počítačová grafika
1
computer modelling
1
počítačové modelování
1
software
1
stochastic processes
1
stochastické procesy
1
see all ...
less ...
Genre
disertace
3
dissertations
3
Year of Publication
From:
To:
×
Loading...