Zobrazuji výsledky
1 - 20
z
499
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
NOT
studie
NOT
vysokoškolská skripta
PSH:
NOT
počítače
Signatura:
NOT
V - Námořní věda
Doporučená témata:
informatika
AND
matematická logika
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
NOT
studie
NOT
vysokoškolská skripta
PSH:
NOT
počítače
Signatura:
NOT
V - Námořní věda
Doporučená témata:
informatika
AND
matematická logika
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
325
softwarové inženýrství
252
programovací jazyky
181
programování
170
algoritmizace
114
více ...
formální jazyky
91
robotika
84
vyhledávání v datech
63
systémy řízení báze dat
45
strojová lingvistika
39
rozpoznávání obrazců
29
vyhledávání informací
29
numerická analýza
27
informační systémy
24
počítačová simulace
22
zpracování textů
21
internet
20
počítačová grafika
18
diskrétní matematika
17
aplikační programy
16
operační systémy
15
matematická statistika
13
sémantický web
11
zpracování obrazů
11
algebra
10
počítačová lingvistika
10
matematika
8
ontologie (informatika)
8
méně ...
Zobrazuji výsledky
1 - 20
z
499
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
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:
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:
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:
Formal methods for components and objects : 11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
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:
Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, M...
Vydáno:
2012
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ší »
[25]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
499
NTK
Médium
485
E-kniha
14
Kniha
Signatura
14
Q - Věda
Autor
485
SpringerLink (online služba)
7
Voronkov, Andrei
6
Peters, James F., 1936-
5
Rudolph, Sebastian
5
Skowron, Andrzej
4
Fages, François
více ...
4
Leite, João
4
Meseguer, José
4
Voronkov, Andrei, 1959-
3
Beckert, Bernhard
3
Bekki, Daisuke
3
Branco, António
3
Carette, Jacques
3
Croitoru, Madalina
3
Dix, Jürgen
3
Fisher, Michael
3
Gunopulos, Dimitrios
3
Hofmann, Thomas
3
Kahl, Wolfram
3
Kroening, Daniel
3
Lukasiewicz, Thomas
3
Malerba, Donato
3
Martí-Oliet, Narciso
3
McBurney, Peter
3
Nguyen, Hung Son
3
Parsons, Simon
3
Perner, Petra, 1958-
3
Queiroz, Ruy J. G. B. de
3
Rahwan, Iyad
3
Schürr, Andy
Zobrazit vše ...
méně ...
Jazyk
497
angličtina
2
čeština
1
němčina
Žánr
485
elektronicke knihy
147
sborníky konferencí
5
sborníky
4
eseje
4
učebnice
1
kolektivní monografie
více ...
1
monografie
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
Oblast
1
Velká Británie
PSH
499
informatika
499
matematická logika
325
umělá inteligence
252
softwarové inženýrství
181
programovací jazyky
170
programování
více ...
114
algoritmizace
91
formální jazyky
84
robotika
63
vyhledávání v datech
45
systémy řízení báze dat
39
strojová lingvistika
29
rozpoznávání obrazců
29
vyhledávání informací
27
numerická analýza
24
informační systémy
22
počítačová simulace
21
zpracování textů
20
internet
18
počítačová grafika
16
aplikační programy
15
operační systémy
13
matematická statistika
11
sémantický web
11
zpracování obrazů
10
algebra
8
matematika
8
podnikové informační systémy
8
počítačová bezpečnost
6
agenti
Zobrazit vše ...
méně ...
×
Načítá se...