Zobrazuji výsledky
1 - 20
z
113
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
Oblast:
NOT
Rakousko-Uhersko
NOT
Čechy (Česko)
Autor:
NOT
Vacek, Zdeněk, 1976-
NOT
Hof- und Staatsdruckerei (Wien) ((tiskárna, nakladatelství))
Doporučená témata:
algoritmizace
AND
formální jazyky
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
NOT
Čechy (Česko)
Autor:
NOT
Vacek, Zdeněk, 1976-
NOT
Hof- und Staatsdruckerei (Wien) ((tiskárna, nakladatelství))
Doporučená témata:
algoritmizace
AND
formální jazyky
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í:
algoritmizace
formální jazyky
informatika
109
matematická logika
106
počítače
78
umělá inteligence
50
robotika
49
více ...
programování
30
softwarové inženýrství
29
diskrétní matematika
28
programovací jazyky
26
vyhledávání v datech
12
systémy řízení báze dat
11
bioinformatika
10
operační systémy
10
informační systémy
9
internet
9
kryptografie
7
vyhledávání informací
7
numerická analýza
6
ontologie (informatika)
6
algebra
5
multiagentní systémy
5
počítačová bezpečnost
5
sémantický web
5
zpracování obrazů
5
agenti
4
kombinatorika
4
počítačová architektura
4
počítačová biologie
4
méně ...
Zobrazuji výsledky
1 - 20
z
113
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and practice of constraint programming : 21st international conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Anaphora: analysis, algorithms and applications : 6th Discourse anaphora and anaphor resolution colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007 : selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
STACS 2006 : 23rd Annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in artificial intelligence - IBERAMIA-SBIA 2006 : 2nd international joint conference, 10th Ibero-American conference on AI, 18th Brazilian AI symposium, Ribeirão Preto, Br...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
STACS 2007 : 24th Annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Combinatorial algorithms : 25th international workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, games, and evolution : trends in current research on language and game theory
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Learning theory : 20th annual Conference on learning theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algorithmic learning theory : 16th international conference, ALT 2005, Singapore, October 8-11, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Developments in language theory : 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on computational systems biology VII
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
113
NTK
Médium
110
E-kniha
3
Kniha
Signatura
3
Q - Věda
Autor
110
SpringerLink (online služba)
4
Queiroz, Ruy J. G. B. de
3
Karhumäki, Juhani, 1949-
3
Okhotin, Alexander
3
Rozenberg, Grzegorz, 1942-
3
Wang, Lipo
více ...
2
Baier, Christel
2
Beklemishev, Lev D.
2
Calude, Cristian, 1952-
2
Cooper, S. B. (S. Barry), 1943-2015
2
Durand, Bruno
2
Ebert, Christian
2
Jin, Yaochu, 1966-
2
Jäger, Gerhard
2
Jürgensen, Helmut, 1942-
2
Lepistö, Arto
2
Priami, Corrado
2
Reis, Rogério
2
Restivo, Antonio, 1945-
2
Thomas, Wolfgang, 1947-
1
Abdulla, Parosh Aziz
1
Abrial, Jean-Raymond, 1938-
1
Agrawal, Manindra, 1966-
1
An, Aijun, 1964-
1
Anna Ingólfsdóttir, 1952-
1
Arumugam, S., 1943-
1
Auer, Peter, 1964-
1
Bach, Joscha
1
Baeten, J. C. M. (Josephus Cornelis M.), 1954-
1
Ball, Thomas (Thomas Jaudon), 1965-
Zobrazit vše ...
méně ...
Jazyk
113
angličtina
Žánr
110
elektronicke knihy
102
sborníky konferencí
4
monografie
1
eseje
1
učebnice
Rok vydání
Od:
do:
PSH
113
algoritmizace
113
formální jazyky
109
informatika
106
matematická logika
78
počítače
50
umělá inteligence
více ...
49
robotika
30
programování
29
softwarové inženýrství
26
programovací jazyky
12
vyhledávání v datech
11
systémy řízení báze dat
10
bioinformatika
10
operační systémy
9
informační systémy
9
internet
7
kryptografie
7
vyhledávání informací
6
numerická analýza
5
algebra
5
počítačová bezpečnost
5
sémantický web
5
zpracování obrazů
4
agenti
4
kombinatorika
4
strojová lingvistika
4
zpracování textů
3
XML
3
počítačová grafika
3
počítačová simulace
Zobrazit vše ...
méně ...
×
Načítá se...