Zobrazuji výsledky
1 - 20
z
129
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:
Filtry: 4
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
aplikační programy
PSH:
umělá inteligence
Zrušit filtry
Zobrazit filtry (5)
Doporučená témata:
Filtry: 4
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
aplikační programy
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
129
softwarové inženýrství
89
algoritmizace
41
robotika
34
matematická logika
32
více ...
programování
32
programovací jazyky
31
počítačová simulace
24
formální jazyky
16
rozpoznávání obrazců
15
interakce člověk-počítač
11
vyhledávání v datech
11
uživatelská rozhraní
10
informační systémy
9
internet
9
bioinformatika
8
zpracování obrazů
7
operační systémy
5
počítačová grafika
5
software
4
hardware
3
numerická analýza
3
počítačová architektura
3
rozhraní
3
vyhledávání informací
3
diskrétní matematika
2
distribuované informační systémy
2
informační paměť
2
méně ...
Zobrazuji výsledky
1 - 20
z
129
pro vyhledávání '
"software"
'
, doba hledání: 0,07 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
Další »
[7]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
129
NTK
Médium
129
E-kniha
Autor
129
SpringerLink (online služba)
5
Nguyễn, Ngọc Thanh
4
Kowalczyk, Ryszard, 1961-
4
Tan, C. J. Kenneth
4
Wang, Fu Lee
3
Ali, Moonis, 1944-
více ...
3
Das, Swagatam
3
Dediu, Adrian-Horia
3
Deng, Hepu
3
Gavrilova, Marina L., 1971-
3
Lei, Jingsheng
3
Margaria, Tiziana
3
Martín-Vide, Carlos
3
Nguyen, Ngoc Thanh
3
Panigrahi, Bijaya Ketan
3
Steffen, Bernhard
3
Suganthan, Ponnuthurai Nagaratnam
3
Winckler, Marco
2
Ando, Noriaki
2
Beliczynski, Bartlomiej
2
Bernhaupt, Regina
2
Brugali, Davide
2
Casanovas, Pompeu
2
Dobnikar, Andrej
2
Duval, Béatrice
2
Filipe, Joaquim
2
Forbrig, Peter
2
Loiseau, Stephane
2
Lotrič, Uroš
2
Miao, Duoqian
Zobrazit vše ...
méně ...
Jazyk
129
angličtina
Žánr
129
elektronicke knihy
36
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
129
informatika
129
počítače
umělá inteligence
89
softwarové inženýrství
41
algoritmizace
34
robotika
více ...
32
matematická logika
32
programování
31
programovací jazyky
24
počítačová simulace
16
formální jazyky
15
rozpoznávání obrazců
11
interakce člověk-počítač
11
vyhledávání v datech
9
informační systémy
9
internet
8
bioinformatika
7
zpracování obrazů
5
operační systémy
5
počítačová grafika
4
software
3
hardware
3
numerická analýza
3
rozhraní
3
vyhledávání informací
2
podnikové informační systémy
2
počítačová bezpečnost
2
programovací jazyk Java
2
právo
2
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...