Zobrazuji výsledky
1 - 20
z
886
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
biografie
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
matematická logika
PSH:
NOT
podnikové informační systémy
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
biografie
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
matematická logika
PSH:
NOT
podnikové informač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í:
informatika
matematická logika
umělá inteligence
505
počítače
395
softwarové inženýrství
383
programovací jazyky
311
algoritmizace
265
více ...
programování
262
formální jazyky
257
robotika
166
vyhledávání v datech
102
systémy řízení báze dat
88
rozpoznávání obrazců
51
strojová lingvistika
42
diskrétní matematika
41
vyhledávání informací
41
počítačová simulace
38
informační systémy
37
operační systémy
36
internet
32
numerická analýza
32
zpracování obrazů
32
bioinformatika
30
aplikační programy
25
zpracování textů
23
počítačová grafika
22
algebra
18
sémantický web
18
matematická statistika
17
počítačová bezpečnost
17
méně ...
Zobrazuji výsledky
1 - 20
z
886
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
Frege conference 1984 : proceedings of the international conference
Vydáno:
1984
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Discrete mathematics for computer science : or (a bit of) the math that computer scientists need to know
Autor
Liben-Nowell, David
Vydáno:
2018
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
MIS 2005 : 15.-22. ledna 2005, Josefův Důl : sborník semináře
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Diskrétní matematika pro užitou informatiku
Autor
Mezník, Ivan, 1942-
Vydáno:
2013
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
The once and future Turing : computing the world
Vydáno:
2016
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Concept lattices : second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal concept analysis : 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
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 modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
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:
1
2
3
4
5
6
7
8
9
10
11
Další »
[45]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
886
NTK
Médium
867
E-kniha
19
Kniha
Signatura
19
Q - Věda
Autor
867
SpringerLink (online služba)
19
Peters, James F., 1936-
15
Skowron, Andrzej
9
Rozenberg, Grzegorz
8
Queiroz, Ruy J. G. B. de
7
Martín-Vide, Carlos
více ...
7
Meseguer, José
7
Potapov, Igor
7
Salomaa, Arto
7
Skowron, Andrzej, 1943-
7
Voronkov, Andrei
7
Wang, Guoyin
6
Păun, Gheorghe
6
Rudolph, Sebastian
5
Cooper, S. B. (S. Barry), 1943-2015
5
Dediu, Adrian-Horia
5
Gelbukh, Alexander
5
Karhumäki, Juhani, 1949-
5
Löwe, Benedikt
5
Ong, Luke
5
Rozenberg, Grzegorz, 1942-
5
Torra, Vicenç
5
Voronkov, Andrei, 1959-
4
Croitoru, Madalina
4
Fages, François
4
Fisher, Michael
4
Huang, De-Shuang
4
Ibarra, Oscar H., 1941-
4
Kutrib, Martin
4
Kuznetsov, Sergei O
Zobrazit vše ...
méně ...
Jazyk
884
angličtina
2
čeština
1
němčina
Žánr
868
elektronicke knihy
321
sborníky konferencí
11
eseje
7
sborníky
5
monografie
4
učebnice
více ...
1
kolektivní monografie
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
Oblast
1
Velká Británie
PSH
886
informatika
886
matematická logika
505
umělá inteligence
395
počítače
383
softwarové inženýrství
311
programovací jazyky
více ...
265
algoritmizace
262
programování
257
formální jazyky
166
robotika
102
vyhledávání v datech
88
systémy řízení báze dat
51
rozpoznávání obrazců
42
strojová lingvistika
41
vyhledávání informací
38
počítačová simulace
37
informační systémy
36
operační systémy
32
internet
32
numerická analýza
32
zpracování obrazů
30
bioinformatika
25
aplikační programy
23
zpracování textů
22
počítačová grafika
18
algebra
18
sémantický web
17
matematická statistika
17
počítačová bezpečnost
13
agenti
Zobrazit vše ...
méně ...
×
Načítá se...