Zobrazuji výsledky
1 - 20
z
126
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
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
umělá inteligence
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
AND
informatika
NOT
operační systémy
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
umělá inteligence
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
AND
informatika
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í:
informatika
126
programování
softwarové inženýrství
126
umělá inteligence
matematická logika
64
programovací jazyky
42
robotika
36
více ...
počítače
30
algoritmizace
22
formální jazyky
19
aplikační programy
10
počítačová simulace
10
agenti
4
internet
4
multiagentní systémy
4
vyhledávání v datech
4
informační systémy
3
rozpoznávání obrazců
3
sémantický web
3
zpracování obrazů
3
podnikové informační systémy
2
počítačová architektura
2
systémy řízení báze dat
2
testování
2
Petriho sítě
1
architektura výpočetních systémů
1
big data
1
cloud computing
1
diskrétní matematika
1
distribuované informační systémy
1
méně ...
Zobrazuji výsledky
1 - 20
z
126
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
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:
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:
Algorithms and architectures for parallel processing : ICA3PP international workshops and symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings
Vydáno:
2015
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:
Solving software challenges for exascale : International conference on exascale applications and software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Image analysis and recognition : 7th international conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010 : proceedings.
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented software engineering IX : 9th international workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Multiagent system technologies : 7th German conference, MATES 2009, Hamburg, Germany, September 9-11, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Multiagent system technologies : 4th German conference, MATES 2006, Erfurt, Germany, September 19-20, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, USA, September 28-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers in algorithmics : third international workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
Další »
[7]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
126
NTK
Médium
126
E-kniha
Autor
126
SpringerLink (online služba)
5
Voronkov, Andrei
5
Voronkov, Andrei, 1959-
3
Dignum, Virginia
3
Gleizes, Marie-Pierre
2
Baral, Chitta
více ...
2
Barthe, Gilles, 1967-
2
Beliczynski, Bartlomiej
2
Boissier, Olivier
2
Dastani, Mehdi
2
Dikenelli, Oğuz
2
Dillon, Tharam S., 1943-
2
Dix, Jürgen, 1961-
2
Dobnikar, Andrej
2
Dzielinski, Andrzej
2
Gomez-Sanz, Jorge J
2
Herrero, Pilar
2
Iwanowski, Marcin
2
Klusch, Matthias
2
Klügl, Franziska
2
Lotrič, Uroš
2
Luck, Michael
2
Matson, Eric
2
Meersman, R., 1947-
2
Ossowski, Sascha
2
Padgham, Lin
2
Picard, Gauthier
2
Ribeiro, Bernardete
2
Ricci, Alessandro, 1973-
2
Veith, Helmut
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
126
elektronicke knihy
46
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
informatika
126
programování
softwarové inženýrství
126
umělá inteligence
64
matematická logika
42
programovací jazyky
více ...
36
robotika
30
počítače
22
algoritmizace
19
formální jazyky
10
aplikační programy
10
počítačová simulace
4
agenti
4
internet
4
vyhledávání v datech
3
informační systémy
3
rozpoznávání obrazců
3
sémantický web
3
zpracování obrazů
2
podnikové informační systémy
2
systémy řízení báze dat
2
testování
1
Petriho sítě
1
architektura výpočetních systémů
1
big data
1
cloud computing
1
interakce člověk-počítač
1
internet věcí
1
lineární a multilineární algebra
1
logické programování
Zobrazit vše ...
méně ...
×
Načítá se...