Zobrazuji výsledky
1 - 20
z
55
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
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
habilitační práce
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
Filtry: 4
softwarové inženýrství
AND
programování
AND
robotika
NOT
aplikační programy
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
habilitační práce
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
Filtry: 4
softwarové inženýrství
AND
programování
AND
robotika
NOT
aplikační programy
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
55
programování
robotika
softwarové inženýrství
umělá inteligence
55
formální jazyky
24
matematická logika
24
více ...
operační systémy
23
počítače
19
programovací jazyky
18
algoritmizace
13
internet
11
informační systémy
10
multiagentní systémy
10
agenti
9
počítačová architektura
4
počítačová simulace
4
sémantický web
4
interakce člověk-počítač
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
numerická analýza
2
podnikové informační systémy
2
méně ...
Zobrazuji výsledky
1 - 20
z
55
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:
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:
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:
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:
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:
Intelligent agents and multi-agent systems : 11th Pacific Rim international conference on multi-agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008 : proceedings
Vydáno:
2008
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:
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:
Coordination, organizations, institutions and norms in agent systems IV : COIN 2008 international workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 : COIN@AAAI 2008, Chic...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
55
NTK
Médium
55
E-kniha
Autor
55
SpringerLink (online služba)
3
Voronkov, Andrei, 1959-
2
Dix, Jürgen, 1961-
2
Ebner, Marc, 1969-
2
Ekárt, Anikó
2
Garcia, Alessandro, 1976-
více ...
2
Gupta, Gopal, 1963-
2
Hübner, Jomi Fred
2
Lemos, Rogério de, 1961-
2
Matson, Eric
2
Padget, Julian A., 1959-
2
Vidal, Germán
1
Abdulla, Parosh Aziz
1
Andersson, Jesper
1
Artikis, Alexander
1
Barthe, Gilles, 1967-
1
Bassiliades, Nick
1
Beck, J. Christopher
1
Beckert, Bernhard
1
Blume, Matthias
1
Boissier, Olivier, 1963-
1
Braubach, Lars
1
Bresciani, Paolo
1
Briot, Jean-Pierre, 1957-
1
Bui, The Duy
1
Calimeri, Francesco
1
Cheng, Betty H. C.
1
Choren, Ricardo
1
Clarke, E. M., 1945-
1
Cohen, Ernie
Zobrazit vše ...
méně ...
Jazyk
55
angličtina
Žánr
55
elektronicke knihy
50
sborníky konferencí
1
eseje
1
monografie
1
sborníky
Rok vydání
Od:
do:
PSH
55
informatika
55
programování
55
robotika
55
softwarové inženýrství
55
umělá inteligence
24
formální jazyky
více ...
24
matematická logika
23
operační systémy
19
počítače
18
programovací jazyky
13
algoritmizace
11
internet
10
informační systémy
9
agenti
4
počítačová simulace
4
sémantický web
3
interakce člověk-počítač
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
rozpoznávání obrazců
2
testování
1
Petriho sítě
1
XML
1
big data
Zobrazit vše ...
méně ...
×
Načítá se...