Zobrazuji výsledky
1 - 20
z
421
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
Jazyk:
NOT
čeština
AND
angličtina
PSH:
NOT
programování
Doporučená témata:
algoritmizace
Zrušit filtry
Zobrazit filtry (4)
Jazyk:
NOT
čeština
AND
angličtina
PSH:
NOT
programování
Doporučená témata:
algoritmizace
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í:
algoritmizace
informatika
384
softwarové inženýrství
218
počítače
130
umělá inteligence
108
šifrování dat
74
podnikové informační systémy
72
více ...
počítačová bezpečnost
61
počítačová simulace
53
vyhledávání v datech
45
aplikační programy
40
matematická logika
40
software
39
operační systémy
33
programovací jazyky
32
rozpoznávání obrazců
32
systémy řízení báze dat
31
počítačová grafika
29
numerická analýza
28
zpracování obrazů
23
internet
22
robotika
22
informační systémy
19
bioinformatika
13
kryptografie
12
formální jazyky
10
matematická statistika
10
vyhledávání informací
9
diskrétní matematika
8
verifikace programu
6
méně ...
Zobrazuji výsledky
1 - 20
z
421
pro vyhledávání '
"software"
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Model checking
software
: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Fast
software
encryption : 22nd international workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
software
encryption : 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
Software
Encryption : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
Software
Encryption : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
Software
Encryption : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
Software
Encryption : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fast
software
encryption : 17th international workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 : revised selected papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD...
Vydáno:
2015
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:
Mathematical
Software
- ICMS 2006 : Second International Congress on Mathematical
Software
, Castro Urdiales, Spain, September 1-3, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
, verification and testing : second International Haifa verification...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical
software
- ICMS 2014 : 4th international congress, Seoul, South Korea, August 5-9, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Secure
Software
and Systems : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computation structures : 7th international conferences, FOSSACS...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 5th international conference, FOSSACS...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
SPIN model checking and
software
verification : 7th international SPIN workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of
software
science and computation structures : 9th international conference, FOSSACS...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of
software
science and computation structures : 6th international conferenceg, FOSSACS...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods in
software
and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[22]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
421
NTK
Médium
388
E-kniha
28
Kniha
3
Rukopis
2
Článek
Signatura
25
Q - Věda
6
T - Technologie
Autor
388
SpringerLink (online služba)
23
Apduhan, Bernady O
22
Gervasi, Osvaldo
22
Murgante, Beniamino
22
Taniar, David
14
Misra, Sanjay
více ...
9
Yung, Moti
8
Rocha, Ana Maria A. C
6
Dediu, Adrian-Horia
6
Guo, Minyi
6
Iglesias, Andrés
6
Martín-Vide, Carlos
6
Prasanna Kumar, V. K., 1955-
6
Tan, C. J. Kenneth
6
Torre, Carmelo
6
Yang, Laurence Tianruo
5
Bellalta, Boris
5
Carlini, Maurizio
5
Dongarra, Jack, 1950-
5
Falcão, Maria Irene
5
Gavrilova, Marina L
5
Lin, Dongdai
5
Nguyen, Hong-Quang
5
Rocha, Jorge Gustavo
5
Torre, Carmelo M
5
Vinel, Alexey
5
Zomaya, Albert
4
Alexander, Michael, 1972-
4
Cao, Jiannong
4
Costan, Alexandru
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
388
elektronicke knihy
89
sborníky konferencí
6
monografie
4
učebnice
2
sborníky
2
články
více ...
1
disertace
1
eseje
1
příručky
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
421
algoritmizace
384
informatika
218
softwarové inženýrství
130
počítače
108
umělá inteligence
74
šifrování dat
více ...
72
podnikové informační systémy
61
počítačová bezpečnost
53
počítačová simulace
45
vyhledávání v datech
40
aplikační programy
40
matematická logika
39
software
33
operační systémy
32
programovací jazyky
32
rozpoznávání obrazců
31
systémy řízení báze dat
29
počítačová grafika
28
numerická analýza
23
zpracování obrazů
22
internet
22
robotika
19
informační systémy
13
bioinformatika
12
kryptografie
10
formální jazyky
10
matematická statistika
9
vyhledávání informací
6
verifikace programu
5
algebra
Zobrazit vše ...
méně ...
×
Načítá se...