Zobrazuji výsledky
1 - 20
z
145
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
komunikační software
NOT
internet
Autor:
NOT
Sassone, Vladimiro
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Doporučená témata:
programovací jazyky
NOT
komunikační software
NOT
internet
Autor:
NOT
Sassone, Vladimiro
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
133
softwarové inženýrství
132
počítače
98
programování
83
matematická logika
46
operační systémy
46
více ...
formální jazyky
32
algoritmizace
26
podnikové informační systémy
26
umělá inteligence
24
software
21
robotika
20
UML
13
počítačová simulace
12
programovací jazyk Java
12
distribuované informační systémy
9
vestavěné systémy
8
počítačová architektura
6
zpracování dat
5
algebra
4
interakce člověk-počítač
4
počítačová bezpečnost
4
uživatelská rozhraní
4
Petriho sítě
3
XML
3
cloud computing
3
hardware
3
vývoj softwaru
3
architektura výpočetních systémů
2
méně ...
Zobrazuji výsledky
1 - 20
z
145
pro vyhledávání '
"software"
'
, doba hledání: 0,08 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
engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
architecture : 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings
Vydáno:
2015
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
language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in
software
engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA...
Vydáno:
2008
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:
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:
Models in
software
engineering : workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in
software
engineering : workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers
Vydáno:
2007
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:
Software
language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
Vydáno:
2014
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:
Models in
software
engineering : workshops and symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010 : reports and revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing
software
and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
145
NTK
Médium
134
E-kniha
11
Kniha
Signatura
11
Q - Věda
Autor
134
SpringerLink (online služba)
4
Vardanega, Tullio
3
Bernardo, Marco, 1970-
3
Crnkovic, Ivica
2
Barbosa, Luís Soares
2
Barthe, Gilles, 1967-
více ...
2
Bin, Eyal
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Gorton, Ian, 1962-
2
Hanus, Michael, 1959-
2
Heineman, George T.
2
Kordon, Fabrice
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Lumpe, Markus
2
Merayo, Mercedes G.
2
Meyer, Bertrand, 1950-
2
Mirandola, Raffaela
2
Nordio, Martin
2
Pardo, Alberto
2
Piterman, Nir
2
Sagiv, Mooly
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.
Zobrazit vše ...
méně ...
Jazyk
145
angličtina
Žánr
sborníky konferencí
134
elektronicke knihy
Rok vydání
Od:
do:
PSH
145
programovací jazyky
133
informatika
132
softwarové inženýrství
98
počítače
83
programování
46
matematická logika
více ...
46
operační systémy
32
formální jazyky
26
algoritmizace
26
podnikové informační systémy
24
umělá inteligence
21
software
20
robotika
13
UML
12
počítačová simulace
12
programovací jazyk Java
7
vestavěné systémy
5
zpracování dat
4
algebra
4
interakce člověk-počítač
4
počítačová bezpečnost
3
Petriho sítě
3
XML
3
cloud computing
3
hardware
3
vývoj softwaru
2
architektura výpočetních systémů
2
programovací jazyk C++
2
rozpoznávání obrazců
2
systémy řízení báze dat
Zobrazit vše ...
méně ...
×
Načítá se...