Zobrazuji výsledky
1 - 6
z
6
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
Žánr:
NOT
články
NOT
firemní katalogy
AND
sborníky
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
Médium:
NOT
Kniha
NOT
Rukopis
NOT
Článek
PSH:
NOT
operační systémy
Zrušit filtry
Zobrazit filtry (10)
Signatura:
NOT
A - Obecná díla
Žánr:
NOT
články
NOT
firemní katalogy
AND
sborníky
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
Médium:
NOT
Kniha
NOT
Rukopis
NOT
Článek
PSH:
NOT
operační systémy
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í:
programování
informatika
5
softwarové inženýrství
4
počítače
3
algoritmizace
2
informační systémy
2
internet
2
více ...
matematická logika
2
vyhledávání v datech
2
formální jazyky
1
interakce člověk-počítač
1
programovací jazyky
1
uživatelská rozhraní
1
výpočetní technika
1
méně ...
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
'
, doba hledání: 0,13 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer technology and computer programming : new research and strategies
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Search computing : trends and developments
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Search computing : challenges and directions
Vydáno:
2010
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
6
NTK
Médium
6
E-kniha
Autor
5
SpringerLink (online služba)
2
Brambilla, Marco, 1976-
2
Ceri, Stefano, 1955-
1
Antonakos, James L.
1
Constable, Robert L.
1
Manna, Zohar, 1939-2018
více ...
1
Meyer, Bertrand
1
Nordio, Martin
1
Peled, Doron A., 1962-
1
Silva, Alexandra
1
Taylor & Francis eBooks (online služba)
Zobrazit vše ...
méně ...
Jazyk
6
angličtina
Žánr
6
elektronicke knihy
sborníky
1
eseje
Rok vydání
Od:
do:
PSH
6
programování
5
informatika
4
softwarové inženýrství
3
počítače
2
algoritmizace
2
informační systémy
více ...
2
internet
2
matematická logika
2
vyhledávání v datech
1
formální jazyky
1
interakce člověk-počítač
1
programovací jazyky
1
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...