Zobrazuji výsledky
41 - 60
z
764
pro vyhledávání '
'
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
Žánr:
NOT
biografie
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
programovací jazyky
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
programovací jazyky
softwarové inženýrství
623
programování
440
počítače
338
matematická logika
323
umělá inteligence
173
více ...
operační systémy
135
algoritmizace
120
podnikové informační systémy
101
formální jazyky
94
robotika
53
počítačová simulace
47
distribuované informační systémy
25
systémy řízení báze dat
24
vyhledávání v datech
24
programovací jazyk Java
23
UML
19
počítačová bezpečnost
19
počítačová architektura
18
vestavěné systémy
18
software
17
numerická analýza
13
aplikační programy
12
informační systémy
12
internet
11
mikroprocesory
11
architektura výpočetních systémů
9
vyhledávání informací
8
Petriho sítě
7
méně ...
Zobrazuji výsledky
41 - 60
z
764
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software architecture : second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering techniques : third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Safe and secure software reuse : 13th international conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OpenMP in the era of low power devices and accelerators : 9th international workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Aliasing in object-oriented programming : types, analysis, and verification
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Languages and Compilers for Parallel Computing : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination Models and Languages : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-based safety and assessment : 4th international symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[39]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
764
NTK
Médium
760
E-kniha
3
Kniha
1
Rukopis
Signatura
4
Q - Věda
1
T - Technologie
Autor
760
SpringerLink (online služba)
8
Boer, Frank S. de
7
Bonsangue, Marcello M
7
Horváth, Zoltán
7
Voronkov, Andrei, 1959-
7
Zsók, Viktória
více ...
6
Bernardo, Marco
6
Peña, Ricardo, 1950-
6
Vardanega, Tullio
5
Cavalcanti, Ana
5
Crnkovic, Ivica
5
Kordon, Fabrice
5
Margaria, Tiziana
5
Potapov, Igor
5
Rashid, Awais
5
Steffen, Bernhard
5
Wirsing, Martin
4
Aksit, Mehmet
4
Baldoni, Matteo
4
Barthe, Gilles
4
Beckert, Bernhard
4
Bernardo, Marco, 1970-
4
Butler, Michael
4
Chiba, Shigeru
4
Damiani, Ferruccio
4
Dastani, Mehdi
4
Fages, François
4
Gibbons, Jeremy, 1966-
4
Giese, Holger
4
Havelund, Klaus
Zobrazit vše ...
méně ...
Jazyk
763
angličtina
1
čeština
Žánr
760
elektronicke knihy
286
sborníky konferencí
10
monografie
5
eseje
5
sborníky
2
příručky
více ...
1
normy
1
přednášky
1
vysokoškolská skripta
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
764
informatika
764
programovací jazyky
623
softwarové inženýrství
440
programování
338
počítače
323
matematická logika
více ...
173
umělá inteligence
135
operační systémy
120
algoritmizace
101
podnikové informační systémy
94
formální jazyky
53
robotika
47
počítačová simulace
24
systémy řízení báze dat
24
vyhledávání v datech
23
programovací jazyk Java
19
UML
19
počítačová bezpečnost
17
software
17
vestavěné systémy
13
numerická analýza
12
aplikační programy
12
informační systémy
11
internet
11
mikroprocesory
9
architektura výpočetních systémů
8
vyhledávání informací
7
Petriho sítě
7
XML
6
agenti
Zobrazit vše ...
méně ...
×
Načítá se...