Zobrazuji výsledky
201 - 220
z
378
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
PSH:
NOT
počítačová simulace
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
PSH:
NOT
počítačová simulace
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
164
programování
152
algoritmizace
91
matematická logika
88
více ...
operační systémy
83
umělá inteligence
75
podnikové informační systémy
41
formální jazyky
31
software
25
robotika
19
internet
18
počítačová bezpečnost
17
informační systémy
16
rozpoznávání obrazců
16
interakce člověk-počítač
15
aplikační programy
14
UML
13
programovací jazyk Java
13
numerická analýza
12
uživatelská rozhraní
12
vestavěné systémy
12
vyhledávání v datech
11
distribuované informační systémy
10
počítačová architektura
10
mikroprocesory
9
šifrování dat
8
počítačová grafika
6
méně ...
Zobrazuji výsledky
201 - 220
z
378
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
Modular programming languages : 7th Joint modular languages conference, JMLC 2006, Oxford, UK, September 13-15, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Swarm, Evolutionary, and Memetic Computing : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reversible Computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical aspects of computing - ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Vydáno:
2014
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:
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Grid and Cooperative Computing - GCC 2005 : 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...
Vydáno:
2014
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:
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
6
7
8
9
10
11
12
13
14
15
16
Další »
[19]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
378
NTK
Médium
376
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
376
SpringerLink (online služba)
5
Sirjani, Marjan
4
Bernardo, Marco, 1970-
4
Rozenberg, Grzegorz
4
Vardanega, Tullio
3
Aceto, Luca
více ...
3
Ali, Moonis, 1944-
3
Arbab, F. (Farhad)
3
Beliczynski, Bartlomiej
3
Cavalcanti, Ana
3
Das, Swagatam
3
Daydé, Michel
3
Dediu, Adrian-Horia
3
Gacek, Cristina
3
Graf, Susanne
3
Ingólfsdóttir, Anna
3
Johnson, Ralph
3
Jones, C. B. (Cliff B.), 1944-
3
Lemos, Rogério de
3
Margaria, Tiziana
3
Martín-Vide, Carlos
3
Meyer, Bertrand, 1950-
3
Panigrahi, Bijaya Ketan
3
Peña, Ricardo, 1950-
3
Salomaa, Arto
3
Sassone, Vladimiro
3
Steffen, Bernhard
3
Streit, Achim
3
Suganthan, Ponnuthurai Nagaratnam
3
Tanter, Éric
Zobrazit vše ...
méně ...
Jazyk
378
angličtina
Žánr
376
elektronicke knihy
144
sborníky konferencí
6
monografie
3
eseje
1
přednášky
1
sborníky
Rok vydání
Od:
do:
PSH
378
informatika
378
počítače
378
softwarové inženýrství
164
programovací jazyky
152
programování
91
algoritmizace
více ...
88
matematická logika
83
operační systémy
75
umělá inteligence
41
podnikové informační systémy
31
formální jazyky
25
software
19
robotika
18
internet
17
počítačová bezpečnost
16
informační systémy
16
rozpoznávání obrazců
15
interakce člověk-počítač
14
aplikační programy
13
UML
13
programovací jazyk Java
12
numerická analýza
11
vestavěné systémy
11
vyhledávání v datech
9
mikroprocesory
8
šifrování dat
6
počítačová grafika
6
vyhledávání informací
5
architektura výpočetních systémů
5
cloud computing
Zobrazit vše ...
méně ...
×
Načítá se...