Zobrazuji výsledky
1 - 10
z
10
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
učebnice
AND
eseje
Doporučená témata:
NOT
střelivo
NOT
technika
AND
počítače
Oblast:
NOT
Rusko
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
učebnice
AND
eseje
Doporučená témata:
NOT
střelivo
NOT
technika
AND
počítače
Oblast:
NOT
Rusko
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
10
počítače
matematická logika
7
formální jazyky
6
programovací jazyky
5
softwarové inženýrství
4
algoritmizace
3
více ...
programování
3
algebra
2
robotika
2
umělá inteligence
2
agenti
1
architektura výpočetních systémů
1
diskrétní matematika
1
kryptografie
1
kvantová mechanika
1
mikroprogramování
1
multiagentní systémy
1
numerická analýza
1
operační systémy
1
počítačová architektura
1
počítačová bezpečnost
1
počítačová lingvistika
1
strojová lingvistika
1
sémantika programovacích jazyků
1
vyhledávání informací
1
zpracování přirozených jazyků
1
méně ...
Zobrazuji výsledky
1 - 10
z
10
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
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
Language, culture, computation : computational linguistics and linguistics : essays dedicated to Yaacov Choueka on the occasion of his 75th birthday.
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical computer science : essays in memory of Shimon Even
Vydáno:
2006
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
10
NTK
Médium
10
E-kniha
Autor
10
SpringerLink (online služba)
2
Coecke, Bob, 1968-
1
Abrial, Jean-Raymond, 1938-
1
Casadio, Claudia
1
De Nicola, Rocco
1
Dershowitz, Nachum, 1951-
více ...
1
Glässer, Uwe, 1959-
1
Goldreich, Oded, 1957-
1
Grumberg, Orna, 1952-
1
Hennicker, Rolf
1
Iida, Shusaku
1
Jones, C. B. (Cliff B.), 1944-
1
Kaminski, Michael
1
Katz, Shmuel
1
Lloyd, John L.
1
Manna, Zohar, 1939-2018
1
Meseguer, José
1
Moortgat, Michael
1
Nissan, Ephraim
1
Ogata, Kazuhiro
1
Ong, Luke
1
Panangaden, Prakash
1
Peled, Doron A., 1962-
1
Rosenberg, Arnold L., 1941-
1
Scott, P. J.
1
Selman, Alan L.
1
Wintner, Shuly, 1963-
Zobrazit vše ...
méně ...
Jazyk
10
angličtina
Žánr
10
elektronicke knihy
eseje
1
sborníky
Rok vydání
Od:
do:
PSH
10
informatika
10
počítače
7
matematická logika
6
formální jazyky
5
programovací jazyky
4
softwarové inženýrství
více ...
3
algoritmizace
3
programování
2
algebra
2
robotika
2
umělá inteligence
1
agenti
1
architektura výpočetních systémů
1
kryptografie
1
kvantová mechanika
1
mikroprogramování
1
numerická analýza
1
operační systémy
1
počítačová bezpečnost
1
strojová lingvistika
1
sémantika programovacích jazyků
1
vyhledávání informací
1
zpracování přirozených jazyků
Zobrazit vše ...
méně ...
×
Načítá se...