Zobrazuji výsledky
121 - 140
z
649
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: 5
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
zpracování obrazů
NOT
elektrotechnika
Zrušit filtry
Zobrazit filtry (5)
Doporučená témata:
Filtry: 5
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
zpracování obrazů
NOT
elektrotechnika
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
softwarové inženýrství
441
programovací jazyky
190
programování
189
algoritmizace
171
umělá inteligence
160
více ...
matematická logika
121
operační systémy
102
aplikační programy
96
počítačová simulace
90
podnikové informační systémy
79
software
78
robotika
56
internet
52
informační systémy
48
interakce člověk-počítač
46
numerická analýza
46
formální jazyky
45
vyhledávání v datech
42
počítačová bezpečnost
40
uživatelská rozhraní
37
počítačová grafika
33
šifrování dat
32
vyhledávání informací
29
rozpoznávání obrazců
24
vestavěné systémy
18
bioinformatika
17
mikroprocesory
16
aplikační software
15
méně ...
Zobrazuji výsledky
121 - 140
z
649
pro vyhledávání '
"software"
'
, doba hledání: 0,20 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal foundations of reuse and domain engineering : 11th International conference on
software
...
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:
Groupware: design, implementation, and use : 12th international workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006 : proceedings
Vydáno:
2006
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:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2005, Edinburgh, UK, April 4-8...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 15th European symposium on programming, ESOP 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 27-28...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for hardware verification : 6th International school on formal methods for the design of computer, communication, and
software
systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of
Software
, ETAPS 2009, York, UK, March 22-29, 2009...
Vydáno:
2009
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 : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of
Software
, ETAPS 2014, Grenoble, France, April 5-13...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 19th European symposium on programming, ESOP 2010, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2010, Paphos, Cyprus, March 20-28...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-Driven Development of Reliable Automotive Services : Second Automotive
Software
Workshop...
Vydáno:
2008
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:
Electronic participation : 6th IFIP WG 8.5 international conference, ePart 2014, Dublin, Ireland, September 2-3, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Design, user experience, and usability : web, mobile, and pdoduct design : second international conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, J...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Chipweek : týdeník z počítačové branže
Vydáno:
1995
Umístění:
Načítá se...
Časopis
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
2
3
4
5
6
7
8
9
10
11
12
Další »
[33]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
649
NTK
Médium
646
E-kniha
2
Kniha
1
Časopis
Signatura
3
Q - Věda
Autor
646
SpringerLink (online služba)
14
Albada, Geert Dick van
13
Gavrilova, Marina L
13
Sloot, Peter M. A
12
Dongarra, Jack
12
Gervasi, Osvaldo
více ...
12
Tan, C. J. Kenneth
11
Laganà, Antonio, 1944-
11
Mun, Youngsong
11
Taniar, David
8
Howlett, Robert J., 1954-
8
Jain, L. C., 1946-
7
Kumar, Vipin
7
Nguyễn, Ngọc Thanh
7
Wimmer, Maria A
6
Dediu, Adrian-Horia
6
Gavrilova, Marina L., 1971-
6
Martín-Vide, Carlos
6
Wang, Fu Lee
5
Jensen, Kurt, 1950-
5
Rozenberg, Grzegorz
5
Sirjani, Marjan
4
Aalst, Wil van der, 1966-
4
Bernardo, Marco, 1970-
4
Bubak, Marian
4
Casanovas, Pompeu
4
Cavalcanti, Ana
4
Choo, Hyunseung
4
Daydé, Michel
4
Janssen, Marijn
Zobrazit vše ...
méně ...
Jazyk
648
angličtina
1
čeština
Žánr
646
elektronicke knihy
249
sborníky konferencí
12
monografie
4
eseje
1
přednášky
1
sborníky
více ...
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
649
informatika
649
počítače
441
softwarové inženýrství
190
programovací jazyky
189
programování
171
algoritmizace
více ...
160
umělá inteligence
121
matematická logika
102
operační systémy
96
aplikační programy
90
počítačová simulace
79
podnikové informační systémy
78
software
56
robotika
52
internet
48
informační systémy
46
interakce člověk-počítač
46
numerická analýza
45
formální jazyky
42
vyhledávání v datech
40
počítačová bezpečnost
33
počítačová grafika
32
šifrování dat
29
vyhledávání informací
24
rozpoznávání obrazců
17
bioinformatika
17
vestavěné systémy
16
mikroprocesory
15
programovací jazyk Java
14
UML
Zobrazit vše ...
méně ...
×
Načítá se...