Zobrazuji výsledky
1 - 20
z
190
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
NOT
šifrování dat
NOT
rozpoznávání obrazců
AND
počítače
AND
programovací jazyky
Autor:
NOT
Gavrilova, Marina L
Zrušit filtry
Zobrazit filtry (5)
Doporučená témata:
Filtry: 4
NOT
šifrování dat
NOT
rozpoznávání obrazců
AND
počítače
AND
programovací jazyky
Autor:
NOT
Gavrilova, Marina L
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í:
počítače
programovací jazyky
informatika
188
softwarové inženýrství
173
programování
97
matematická logika
72
operační systémy
48
více ...
formální jazyky
35
umělá inteligence
31
podnikové informační systémy
26
algoritmizace
24
robotika
22
software
17
UML
12
počítačová simulace
12
programovací jazyk Java
12
distribuované informační systémy
11
vestavěné systémy
11
počítačová architektura
7
počítačová bezpečnost
6
aplikační programy
4
internet
4
Petriho sítě
3
XML
3
algebra
3
cloud computing
3
hardware
3
interakce člověk-počítač
3
programovací jazyk C++
3
uživatelská rozhraní
3
méně ...
Zobrazuji výsledky
1 - 20
z
190
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
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
engineering : International summer schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
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
, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
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:
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:
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:
Fundamentals of
Software
Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Vydáno:
2012
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 : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
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:
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:
1
2
3
4
5
6
7
8
9
10
Další »
[10]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
190
NTK
Médium
187
E-kniha
2
Časopis
1
Kniha
Signatura
3
Q - Věda
Autor
187
SpringerLink (online služba)
4
Vardanega, Tullio
3
Bernardo, Marco, 1970-
3
Cavalcanti, Ana
3
Johnson, Ralph
3
Jones, C. B. (Cliff B.), 1944-
více ...
3
Katz, Shmuel
3
Margaria, Tiziana
3
Peña, Ricardo, 1950-
3
Steffen, Bernhard
3
Tanter, Éric
2
Bensalem, Saddek
2
Butler, Michael, 1967-
2
Cerioli, Maura, 1964-
2
Chiba, Shigeru
2
Damiani, Ferruccio
2
Hanus, Michael, 1959-
2
Issarny, Valérie
2
Kordon, Fabrice
2
Liu, Zhiming, 1972-
2
Merayo, Mercedes G.
2
Meyer, Bertrand, 1950-
2
Mezini, Mira, 1966-
2
Naumann, David
2
Noble, James
2
Nordio, Martin
2
Ossher, Harold
2
Ouaknine, Joël
2
Potapov, Igor
2
Sardina, Sebastian
Zobrazit vše ...
méně ...
Jazyk
190
angličtina
Žánr
187
elektronicke knihy
100
sborníky konferencí
5
monografie
3
eseje
2
časopisy
1
přednášky
více ...
1
sborníky
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
190
počítače
190
programovací jazyky
188
informatika
173
softwarové inženýrství
97
programování
72
matematická logika
více ...
48
operační systémy
35
formální jazyky
31
umělá inteligence
26
podnikové informační systémy
24
algoritmizace
22
robotika
17
software
12
UML
12
počítačová simulace
12
programovací jazyk Java
10
vestavěné systémy
6
počítačová bezpečnost
4
aplikační programy
4
internet
3
Petriho sítě
3
XML
3
algebra
3
cloud computing
3
hardware
3
interakce člověk-počítač
3
programovací jazyk C++
3
vývoj softwaru
2
architektura výpočetních systémů
2
překladače
Zobrazit vše ...
méně ...
×
Načítá se...