Zobrazuji výsledky
161 - 180
z
445
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
AND
softwarové inženýrství
NOT
systémy řízení báze dat
Jazyk:
angličtina
Zrušit filtry
Zobrazit filtry (5)
Doporučená témata:
Filtry: 4
informatika
AND
počítače
AND
softwarové inženýrství
NOT
systémy řízení báze dat
Jazyk:
angličtina
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í
programovací jazyky
175
programování
165
algoritmizace
102
operační systémy
94
více ...
matematická logika
91
umělá inteligence
90
počítačová simulace
67
podnikové informační systémy
47
numerická analýza
38
formální jazyky
33
počítačová grafika
25
software
25
robotika
21
internet
18
počítačová bezpečnost
17
rozpoznávání obrazců
17
informační systémy
16
interakce člověk-počítač
15
vestavěné systémy
15
UML
14
aplikační programy
14
programovací jazyk Java
14
distribuované informační systémy
12
počítačová architektura
12
uživatelská rozhraní
12
vyhledávání v datech
12
mikroprocesory
10
méně ...
Zobrazuji výsledky
161 - 180
z
445
pro vyhledávání '
"software"
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Coordination Models and Languages : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Service Availability : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Architecting Dependable Systems VII
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algorithms and Architectures for Parallel Processing : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Petri Nets and Other Models of Concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, J...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Business process models : change management
Autor
Gerth, Christian
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 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 II
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational Science and Its Applications - ICCSA 2006 : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination Models and Languages : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
4
5
6
7
8
9
10
11
12
13
14
Další »
[23]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
445
NTK
Médium
443
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
443
SpringerLink (online služba)
14
Albada, Geert Dick van
12
Gervasi, Osvaldo
12
Sloot, Peter M. A
11
Dongarra, Jack
11
Gavrilova, Marina L
více ...
11
Laganà, Antonio, 1944-
11
Mun, Youngsong
11
Taniar, David
7
Kumar, Vipin
6
Tan, C. J. Kenneth
5
Nguyễn, Ngọc Thanh
5
Rozenberg, Grzegorz
5
Sirjani, Marjan
4
Bernardo, Marco, 1970-
4
Bubak, Marian
4
Choo, Hyunseung
4
Daydé, Michel
4
Jensen, Kurt, 1950-
4
Kowalczyk, Ryszard, 1961-
4
Murgante, Beniamino
4
Salomaa, Arto
4
Vardanega, Tullio
4
Woodcock, Jim, 1956-
3
Aalst, Wil van der, 1966-
3
Aceto, Luca
3
Alexandrov, Vassil N
3
Ali, Moonis, 1944-
3
Arbab, F. (Farhad)
3
Beliczynski, Bartlomiej
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
443
elektronicke knihy
156
sborníky konferencí
8
monografie
3
eseje
1
přednášky
1
sborníky
Rok vydání
Od:
do:
PSH
445
informatika
445
počítače
445
softwarové inženýrství
175
programovací jazyky
165
programování
102
algoritmizace
více ...
94
operační systémy
91
matematická logika
90
umělá inteligence
67
počítačová simulace
47
podnikové informační systémy
38
numerická analýza
33
formální jazyky
25
počítačová grafika
25
software
21
robotika
18
internet
17
počítačová bezpečnost
17
rozpoznávání obrazců
16
informační systémy
15
interakce člověk-počítač
14
UML
14
aplikační programy
14
programovací jazyk Java
14
vestavěné systémy
12
vyhledávání v datech
10
mikroprocesory
8
šifrování dat
6
architektura výpočetních systémů
6
bioinformatika
Zobrazit vše ...
méně ...
×
Načítá se...