Zobrazuji výsledky
101 - 120
z
713
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
AND
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (3)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
programovací jazyky
AND
softwarové inženýrství
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í:
programovací jazyky
softwarové inženýrství
informatika
623
programování
392
počítače
261
matematická logika
246
operační systémy
130
více ...
umělá inteligence
111
podnikové informační systémy
100
algoritmizace
87
formální jazyky
68
počítačová simulace
45
objektově orientované programování
32
robotika
32
software
24
distribuované informační systémy
22
programovací jazyk Java
21
UML
20
počítačová bezpečnost
17
vestavěné systémy
16
simulace a modelování
15
architektura výpočetních systémů
14
počítačová architektura
12
informační systémy
11
internet
11
Petriho sítě
7
algebra
7
aplikační programy
7
hardware
7
XML
6
méně ...
Zobrazuji výsledky
101 - 120
z
713
pro vyhledávání '
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
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:
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:
Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
SDL 2011: integrating system and software modeling : 15th International SDL forum, Toulouse, France, July 5-7, 2011 : revised papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 18th international conference, FASE 2015, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agile processes in software engineering and extreme programming : 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic and numeric biology : 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 2008 : revised lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
Vydáno:
2009
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ší »
[36]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
713
NTK
3
VŠCHT
Médium
627
E-kniha
78
Kniha
7
Rukopis
1
Časopis
Signatura
73
Q - Věda
6
T - Technologie
Autor
626
SpringerLink (online služba)
9
Boer, Frank S. de
7
Bonsangue, Marcello M
7
Voronkov, Andrei, 1959-
6
Bernardo, Marco
6
Cavalcanti, Ana
více ...
6
Vardanega, Tullio
5
Crnkovic, Ivica
5
Dastani, Mehdi
5
Horváth, Zoltán
5
Kordon, Fabrice
5
Margaria, Tiziana
5
Potapov, Igor
5
Rashid, Awais
5
Steffen, Bernhard
5
Zsók, Viktória
4
Aksit, Mehmet
4
Baldoni, Matteo
4
Barthe, Gilles
4
Beckert, Bernhard
4
Bernardo, Marco, 1970-
4
Butler, Michael
4
Chiba, Shigeru
4
Gibbons, Jeremy, 1966-
4
Giese, Holger
4
Graf, Susanne
4
Havelund, Klaus
4
Jones, C. B. (Cliff B.), 1944-
4
Leucker, Martin
4
Lutz, Mark
Zobrazit vše ...
méně ...
Jazyk
706
angličtina
7
čeština
Žánr
628
elektronicke knihy
270
sborníky konferencí
30
monografie
11
příručky
4
disertace
4
eseje
více ...
3
sborníky
1
autoreferáty
1
doktorské disertace
1
normy
1
přednášky
1
textbooks
1
učebnice
1
časopisy
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
713
programovací jazyky
713
softwarové inženýrství
623
informatika
392
programování
261
počítače
246
matematická logika
více ...
130
operační systémy
111
umělá inteligence
100
podnikové informační systémy
87
algoritmizace
68
formální jazyky
45
počítačová simulace
32
robotika
31
objektově orientované programování
24
software
21
programovací jazyk Java
20
UML
17
počítačová bezpečnost
15
simulace a modelování
15
vestavěné systémy
14
architektura výpočetních systémů
11
informační systémy
11
internet
7
Petriho sítě
7
algebra
7
aplikační programy
7
hardware
6
XML
6
interakce člověk-počítač
6
počítačová grafika
Zobrazit vše ...
méně ...
VŠCHT ústavy
1
Ústav fyzikální chemie
1
Centrum informačních služeb, vydavatelství
×
Načítá se...