Zobrazuji výsledky
1 - 20
z
127
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
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
NOT
podnikové informační systémy
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
NOT
podnikové informační systémy
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í:
programovací jazyky
informatika
110
softwarové inženýrství
110
počítače
83
programování
71
matematická logika
43
operační systémy
41
více ...
formální jazyky
31
algoritmizace
27
umělá inteligence
21
robotika
18
software
18
programovací jazyk Java
10
UML
8
distribuované informační systémy
7
počítačová architektura
6
vestavěné systémy
6
algebra
5
zpracování dat
5
interakce člověk-počítač
4
komunikační software
4
telekomunikace
4
uživatelská rozhraní
4
Petriho sítě
3
architektura výpočetních systémů
3
cloud computing
3
hardware
3
počítačová bezpečnost
3
počítačová simulace
3
vývoj softwaru
3
méně ...
Zobrazuji výsledky
1 - 20
z
127
pro vyhledávání '
"software"
'
, doba hledání: 0,07 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:
Software
composition : 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 : revised papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
composition : 7th international symposium, SC 2008, Budapest, Hungary, March 29-30, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings
Vydáno:
2013
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...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 16th International SPIN workshop, Grenoble, France, June 26-28, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Quality of
software
architectures : models and architectures : 4th International conference...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 14th International SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 4th international conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Architectures for adaptive
software
systems : 5th International conference on the quality...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 16th international conference, FASE 2013, held...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Search-based
software
engineering : 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings
Vydáno:
2014
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...
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:
Fundamental approaches to
software
engineering : 18th international conference, FASE 2015, held...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
Další »
[7]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
127
NTK
Médium
111
E-kniha
16
Kniha
Signatura
14
Q - Věda
2
T - Technologie
Autor
111
SpringerLink (online služba)
4
Bernardo, Marco, 1970-
3
Reed, Rick, 1948-
3
Vardanega, Tullio
2
Barthe, Gilles, 1967-
2
Bin, Eyal
více ...
2
Crnkovic, Ivica
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Gorton, Ian, 1962-
2
Hanus, Michael, 1959-
2
Heineman, George T.
2
Issarny, Valérie
2
Kordon, Fabrice
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Lumpe, Markus
2
Piterman, Nir
2
Sagiv, Mooly
2
Sassone, Vladimiro
2
Schaefer, Ina
2
Schmidt, Heinz Wilhelm, 1952-
2
Sestoft, Peter
2
Stafford, Judith A.
2
Szyperski, Clemens
2
Ur, Shmuel
2
Virbickajte, I. B.
2
Vitek, Jan, 1966-
2
Voronkov, Andrei, 1959-
2
Wiklicky, Herbert, 1963-
Zobrazit vše ...
méně ...
Jazyk
127
angličtina
Žánr
sborníky konferencí
111
elektronicke knihy
Rok vydání
Od:
do:
PSH
127
programovací jazyky
110
informatika
110
softwarové inženýrství
83
počítače
71
programování
43
matematická logika
více ...
41
operační systémy
31
formální jazyky
27
algoritmizace
21
umělá inteligence
18
robotika
18
software
10
programovací jazyk Java
8
UML
5
algebra
5
vestavěné systémy
5
zpracování dat
4
interakce člověk-počítač
4
komunikační software
4
telekomunikace
3
Petriho sítě
3
architektura výpočetních systémů
3
cloud computing
3
hardware
3
počítačová bezpečnost
3
počítačová simulace
3
vývoj softwaru
2
XML
2
informační systémy
2
internet
Zobrazit vše ...
méně ...
×
Načítá se...