Zobrazuji výsledky
1 - 20
z
30
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
počítače
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
NOT
operační systémy
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
AND
programování
AND
umělá inteligence
AND
počítače
Oblast:
NOT
Čína
PSH:
softwarové inženýrství
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
30
počítače
programování
softwarové inženýrství
30
umělá inteligence
robotika
13
matematická logika
12
více ...
programovací jazyky
12
formální jazyky
9
algoritmizace
8
počítačová architektura
2
rozpoznávání obrazců
2
zpracování obrazů
2
Petriho sítě
1
aplikační programy
1
architektura výpočetních systémů
1
distribuované informační systémy
1
matematická statistika
1
objektově orientované programování
1
podnikové informační systémy
1
počítačová algebra
1
počítačová bezpečnost
1
počítačová grafika
1
počítačová simulace
1
software
1
vyhledávání v datech
1
méně ...
Zobrazuji výsledky
1 - 20
z
30
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:
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:
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:
Unifying theories of programming and formal engineering methods : international training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : a...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Parallel Problem Solving from Nature - PPSN IX : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Adaptive and Natural Computing Algorithms : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Adaptive and Natural Computing Algorithms : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified software: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination models and languages : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
30
NTK
Médium
30
E-kniha
Autor
30
SpringerLink (online služba)
2
Beliczynski, Bartlomiej
2
Dobnikar, Andrej
2
Dzielinski, Andrzej
2
Iwanowski, Marcin
2
Lotrič, Uroš
více ...
2
Ribeiro, Bernardete
2
Šter, Branko
1
Abdulla, Parosh Aziz
1
Abramsky, Samson
1
Ali, Moonis, 1944-
1
Arnellos, Argyris
1
Barthe, Gilles, 1967-
1
Beyer, Hans-Georg
1
Blume, Matthias
1
Borzemski, Leszek, 1952-
1
Braubach, Lars
1
Burke, Edmund
1
Cioppa, Antonio Della
1
Cohen, Ernie
1
Darzentas, John
1
Dawar, Anuj
1
De Nicola, Rocco
1
Esparcia Alcázar, Anna Isabel
1
Falco, Ivanoe De
1
Fermüller, Christian G., 1963-
1
Flanagan, Cormac
1
Gavoille, Cyril
1
Godo, Lluís
1
Gramlich, Bernhard
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
30
elektronicke knihy
15
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
30
informatika
30
počítače
30
programování
softwarové inženýrství
30
umělá inteligence
13
robotika
více ...
12
matematická logika
12
programovací jazyky
9
formální jazyky
8
algoritmizace
2
rozpoznávání obrazců
2
zpracování obrazů
1
Petriho sítě
1
aplikační programy
1
architektura výpočetních systémů
1
matematická statistika
1
objektově orientované programování
1
podnikové informační systémy
1
počítačová bezpečnost
1
počítačová grafika
1
počítačová simulace
1
software
1
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...