Zobrazuji výsledky
1 - 20
z
172
pro vyhledávání '
"software"
'
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
Doporučená témata:
informatika
AND
počítače
NOT
systémy řízení báze dat
PSH:
umělá inteligence
Zrušit filtry
Zobrazit filtry (4)
Doporučená témata:
informatika
AND
počítače
NOT
systémy řízení báze dat
PSH:
umělá inteligence
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
počítače
umělá inteligence
172
softwarové inženýrství
90
algoritmizace
60
robotika
56
aplikační programy
43
více ...
matematická logika
36
programování
36
programovací jazyky
31
počítačová simulace
29
interakce člověk-počítač
21
internet
21
vyhledávání v datech
20
informační systémy
18
rozpoznávání obrazců
18
uživatelská rozhraní
18
formální jazyky
16
software
15
zpracování obrazů
11
aplikační software
9
bioinformatika
8
počítačová grafika
8
vyhledávání informací
8
agenti
7
multiagentní systémy
7
podnikové informační systémy
7
numerická analýza
6
hardware
5
operační systémy
5
méně ...
Zobrazuji výsledky
1 - 20
z
172
pro vyhledávání '
"software"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
Software
language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic methodology and
software
technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 7th International Haifa verification conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 5th IFIP WG 13.2 international conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 4th international conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings
Vydáno:
2012
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:
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:
Foundations of
software
science and computational structures : 15th international conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
technologies for embedded and ubiquitous systems : 7th IFIP WG 10.2 international workshop...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008...
Vydáno:
2008
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 : advanced lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 16th International conference, CC 2007, held as art of the joint European conferences on theory and practice of
software
, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2011, Saarbrücken, Germany, March...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European conferences on theory and practice of
software
, ETAPS...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
Autor
Kohlhase, Michael
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
Další »
[9]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
172
NTK
Médium
172
E-kniha
Autor
172
SpringerLink (online služba)
8
Howlett, Robert J., 1954-
8
Jain, L. C., 1946-
7
Nguyễn, Ngọc Thanh
6
Dediu, Adrian-Horia
6
Martín-Vide, Carlos
více ...
5
Wang, Fu Lee
4
Casanovas, Pompeu
4
Kowalczyk, Ryszard, 1961-
4
Tan, C. J. Kenneth
3
Ali, Moonis, 1944-
3
Baldassarre, Gianluca
3
Beliczynski, Bartlomiej
3
Das, Swagatam
3
Deng, Hepu
3
Fong, Joseph
3
Gavrilova, Marina L., 1971-
3
Lei, Jingsheng
3
Margaria, Tiziana
3
Nguyen, Ngoc Thanh
3
Panigrahi, Bijaya Ketan
3
Sartor, Giovanni, 1959-
3
Schoenauer, Marc
3
Steffen, Bernhard
3
Suganthan, Ponnuthurai Nagaratnam
3
Winckler, Marco
2
Abbass, Hussein A., 1969-
2
Ando, Noriaki
2
Apolloni, Bruno, 1946-
2
Bernhaupt, Regina
Zobrazit vše ...
méně ...
Jazyk
172
angličtina
Žánr
172
elektronicke knihy
56
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
172
informatika
172
počítače
umělá inteligence
90
softwarové inženýrství
60
algoritmizace
56
robotika
více ...
43
aplikační programy
36
matematická logika
36
programování
31
programovací jazyky
29
počítačová simulace
21
interakce člověk-počítač
21
internet
20
vyhledávání v datech
18
informační systémy
18
rozpoznávání obrazců
16
formální jazyky
15
software
11
zpracování obrazů
8
bioinformatika
8
počítačová grafika
8
vyhledávání informací
7
agenti
7
podnikové informační systémy
6
numerická analýza
5
hardware
5
operační systémy
4
výpočetní technika
4
zpracování dat
3
právo
Zobrazit vše ...
méně ...
×
Načítá se...