Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
AND
informatika
AND
numerická analýza
Zrušit filtry
Zobrazit filtry (8)
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
AND
informatika
AND
numerická analýza
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
numerická analýza
algoritmizace
2
matematika
2
teorie programů
2
teorie vyčíslitelnosti
2
automaty
1
více ...
dynamické programování
1
informační technologie
1
matematická kybernetika
1
matematická logika
1
matematické programování
1
počítače
1
programování
1
teorie systémů
1
výpočetní technika
1
zpracování dat
1
řešení problémů
1
řízení v reálném čase
1
méně ...
Zobrazuji výsledky
1 - 7
z
7
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Úvod do teoretické informatiky
Autor
Koubková, Alena, 1954-
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : Second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001 : proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
New computational paradigms : first Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Mathematical problem solving and new information technologies : research in contexts of practice. Proceedings of the NATO advanced research workshop on Advances in Mathematical Pro...
Vydáno:
1992
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logical approaches to computational barriers : second Conference on Computability in Europe, CIE 2006, Swansea, UK, June 30-July 5, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro,...
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
7
NTK
Médium
7
Kniha
Signatura
Q - Věda
Autor
1
Beckmann, Arnold
1
Bernardo, Marco, 1970-
1
Cooper, S. B. (S. Barry), 1943-2015
1
Corradini, Flavio, 1966-
1
Kolman, Petr
1
Koubková, Alena, 1954-
více ...
1
Löwe, Benedikt
1
Margaria, Tiziana
1
Pavelka, Jan
1
Ponte, Joao Pedro
1
Pultr, Aleš, 1938-
1
Sgall, Jiří
1
Steffen, Bernhard
1
Torenvliet, Leen
Zobrazit vše ...
méně ...
Jazyk
6
angličtina
1
čeština
Žánr
4
sborníky konferencí
1
sborníky
1
vysokoškolská skripta
Rok vydání
Od:
do:
PSH
7
informatika
7
numerická analýza
2
algoritmizace
2
matematika
2
teorie programů
2
teorie vyčíslitelnosti
více ...
1
automaty
1
dynamické programování
1
matematická logika
1
matematické programování
1
počítače
1
programování
1
teorie systémů
1
výpočetní technika
1
zpracování dat
1
řízení v reálném čase
Zobrazit vše ...
méně ...
×
Načítá se...