Zobrazuji výsledky
1 - 4
z
4
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
Žánr:
NOT
encyklopedie
NOT
abstrakta
AND
eseje
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
Médium:
NOT
Rukopis
PSH:
NOT
umělá inteligence
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
NOT
abstrakta
AND
eseje
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
Médium:
NOT
Rukopis
PSH:
NOT
umělá inteligence
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
4
počítače
4
programovací jazyky
matematická logika
3
softwarové inženýrství
3
formální jazyky
2
algebra
1
více ...
algoritmizace
1
kvantová mechanika
1
mikroprogramování
1
operační systémy
1
počítačová bezpečnost
1
programování
1
sémantika programovacích jazyků
1
méně ...
Zobrazuji výsledky
1 - 4
z
4
pro vyhledávání '
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Specification, algebra, and software : essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Time for cerification : essays in memory of Amir Pnueli
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
4
NTK
Médium
4
E-kniha
Autor
4
SpringerLink (online služba)
1
Coecke, Bob, 1968-
1
Iida, Shusaku
1
Jones, C. B. (Cliff B.), 1944-
1
Lloyd, John L.
1
Manna, Zohar, 1939-2018
více ...
1
Meseguer, José
1
Ogata, Kazuhiro
1
Ong, Luke
1
Panangaden, Prakash
1
Peled, Doron A., 1962-
Zobrazit vše ...
méně ...
Jazyk
4
angličtina
Žánr
4
elektronicke knihy
eseje
1
sborníky
Rok vydání
Od:
do:
PSH
4
informatika
4
počítače
4
programovací jazyky
3
matematická logika
3
softwarové inženýrství
2
formální jazyky
více ...
1
algebra
1
algoritmizace
1
kvantová mechanika
1
mikroprogramování
1
operační systémy
1
počítačová bezpečnost
1
programování
1
sémantika programovacích jazyků
Zobrazit vše ...
méně ...
×
Načítá se...