Zobrazuji výsledky
1 - 20
z
61
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:
Filtry: 4
NOT
architektura
AND
programování
AND
umělá inteligence
AND
robotika
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (7)
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
AND
programování
AND
umělá inteligence
AND
robotika
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
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
61
programování
robotika
softwarové inženýrství
61
umělá inteligence
operační systémy
25
formální jazyky
24
více ...
matematická logika
24
počítače
20
programovací jazyky
19
algoritmizace
13
multiagentní systémy
12
agenti
11
internet
11
informační systémy
10
počítačová simulace
6
aplikační programy
5
sémantický web
5
počítačová architektura
4
interakce člověk-počítač
3
rozpoznávání obrazců
3
uživatelská rozhraní
3
vyhledávání informací
3
vyhledávání v datech
3
UML
2
architektura výpočetních systémů
2
cloud computing
2
diskrétní matematika
2
distribuované informační systémy
2
logické programování
2
méně ...
Zobrazuji výsledky
1 - 20
z
61
pro vyhledávání '
'
, doba hledání: 0,17 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:
Self-organizing architectures : first international workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers
Vydáno:
2010
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:
Multiagent system technologies : 6th German conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Future generation information technology : second international conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Genetic programming : 10th European conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers
Vydáno:
2005
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:
Software engineering for self-adaptive systems
Vydáno:
2009
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 programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
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:
Genetic programming : 9th European conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming multi-agent systems : 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers
Vydáno:
2012
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:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
61
NTK
Médium
61
E-kniha
Autor
61
SpringerLink (online služba)
3
Voronkov, Andrei, 1959-
2
Boissier, Olivier, 1963-
2
Dikenelli, Oğuz
2
Dix, Jürgen, 1961-
2
Ebner, Marc, 1969-
více ...
2
Ekárt, Anikó
2
Garcia, Alessandro, 1976-
2
Gupta, Gopal, 1963-
2
Hübner, Jomi Fred
2
Lemos, Rogério de, 1961-
2
Matson, Eric
2
Padget, Julian A., 1959-
2
Ricci, Alessandro, 1973-
2
Vidal, Germán
1
Abdulla, Parosh Aziz
1
Andersson, Jesper
1
André, Elisabeth
1
Artikis, Alexander
1
Barthe, Gilles, 1967-
1
Bassiliades, Nick
1
Beck, J. Christopher
1
Beckert, Bernhard
1
Bergmann, Ralph, 1965-
1
Blume, Matthias
1
Bordini, Rafael H.
1
Braubach, Lars
1
Bresciani, Paolo
1
Briot, Jean-Pierre, 1957-
1
Bui, The Duy
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
61
elektronicke knihy
56
sborníky konferencí
1
eseje
1
monografie
1
sborníky
Rok vydání
Od:
do:
PSH
61
informatika
61
programování
61
robotika
softwarové inženýrství
61
umělá inteligence
25
operační systémy
více ...
24
formální jazyky
24
matematická logika
20
počítače
19
programovací jazyky
13
algoritmizace
11
agenti
11
internet
10
informační systémy
6
počítačová simulace
5
aplikační programy
5
sémantický web
3
interakce člověk-počítač
3
rozpoznávání obrazců
3
vyhledávání informací
3
vyhledávání v datech
2
UML
2
architektura výpočetních systémů
2
cloud computing
2
logické programování
2
numerická analýza
2
podnikové informační systémy
2
software
2
testování
1
Petriho sítě
Zobrazit vše ...
méně ...
×
Načítá se...