Zobrazuji výsledky
1 - 20
z
226
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
NOT
programování
Zrušit filtry
Zobrazit filtry (6)
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
NOT
programování
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
82
matematická logika
58
umělá inteligence
52
algoritmizace
50
více ...
operační systémy
22
podnikové informační systémy
20
formální jazyky
15
software
14
aplikační programy
12
informační systémy
12
interakce člověk-počítač
12
internet
12
robotika
11
uživatelská rozhraní
10
vyhledávání v datech
10
rozpoznávání obrazců
9
počítačová bezpečnost
8
mikroprocesory
7
numerická analýza
7
UML
6
programovací jazyk Java
6
distribuované informační systémy
5
šifrování dat
5
cloud computing
4
počítačová grafika
4
vestavěné systémy
4
vyhledávání informací
4
méně ...
Zobrazuji výsledky
1 - 20
z
226
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
Software
architecture : 7th European conference, ECSA 2013, Montpellier, France, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Architecture : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
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:
Specification, algebra, and
software
: essays dedicated to Kokichi Futatsugi
Vydáno:
2014
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:
Fundamentals of
software
engineering : 5th international conference, FSEN 2013, Tehran, Iran, April 24-26, 2013 : revised selected papers
Vydáno:
2013
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:
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:
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:
Hardware and
software
: verification and testing : 5th International Haifa verification conference...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 17th international conference, FASE 2014, held...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Secure
Software
and Systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Service and Application Engineering : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Secure
Software
and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Secure
Software
and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
, verification and testing : first International Haifa verification conference...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering for resilient systems : 5th international workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal approaches to
software
testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[12]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
226
NTK
Médium
225
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
225
SpringerLink (online služba)
4
Rozenberg, Grzegorz
3
Bernardo, Marco, 1970-
3
Das, Swagatam
3
Daydé, Michel
3
Dediu, Adrian-Horia
více ...
3
Graf, Susanne
3
Margaria, Tiziana
3
Martín-Vide, Carlos
3
Panigrahi, Bijaya Ketan
3
Salomaa, Arto
3
Steffen, Bernhard
3
Streit, Achim
3
Suganthan, Ponnuthurai Nagaratnam
3
Winckler, Marco
3
Wolf, Karsten
2
Aalst, Wil van der, 1966-
2
Alexander, Michael, 1972-
2
Ali, Moonis, 1944-
2
Bernhaupt, Regina
2
Boer, Frank S. de
2
Bouge, Luc, 1959-
2
Cerioli, Maura, 1964-
2
Cerone, Antonio
2
Daniel, Florian
2
Deng, Hepu
2
Forbrig, Peter
2
Franceschinis, Giuliana
2
Franch, Xavier
2
Gacek, Cristina
Zobrazit vše ...
méně ...
Jazyk
226
angličtina
Žánr
225
elektronicke knihy
65
sborníky konferencí
2
eseje
2
monografie
Rok vydání
Od:
do:
PSH
226
informatika
226
počítače
226
softwarové inženýrství
82
programovací jazyky
58
matematická logika
52
umělá inteligence
více ...
50
algoritmizace
22
operační systémy
20
podnikové informační systémy
15
formální jazyky
14
software
12
aplikační programy
12
informační systémy
12
interakce člověk-počítač
12
internet
11
robotika
10
vyhledávání v datech
9
rozpoznávání obrazců
8
počítačová bezpečnost
7
mikroprocesory
7
numerická analýza
6
UML
6
programovací jazyk Java
5
šifrování dat
4
cloud computing
4
počítačová grafika
4
vestavěné systémy
4
vyhledávání informací
4
výpočetní technika
3
algebra
Zobrazit vše ...
méně ...
×
Načítá se...