Zobrazuji výsledky
1 - 20
z
235
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
PSH:
NOT
programování
NOT
počítačová bezpečnost
Doporučená témata:
softwarové inženýrství
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
NOT
počítačová bezpečnost
Doporučená témata:
softwarové inženýrství
AND
programovací jazyky
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
softwarové inženýrství
informatika
220
počítače
85
matematická logika
77
podnikové informační systémy
50
umělá inteligence
49
více ...
algoritmizace
29
počítačová simulace
19
formální jazyky
18
software
17
operační systémy
16
robotika
9
UML
7
algebra
6
programovací jazyk Java
5
architektura výpočetních systémů
3
cloud computing
3
distribuované informační systémy
3
hardware
3
internet
3
objektově orientované programování
3
Petriho sítě
2
aplikační programy
2
elektrotechnika
2
informační systémy
2
interakce člověk-počítač
2
matematická statistika
2
počítačová grafika
2
programovací jazyk C++
2
méně ...
Zobrazuji výsledky
1 - 20
z
235
pro vyhledávání '
"software"
'
, doba hledání: 0,10 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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
engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures
Vydáno:
2009
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 : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings
Vydáno:
2011
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
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 : 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:
Software
Architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
Scientific
software
design : the object-oriented way
Autor
Rouson, Damian, 1967-
Vydáno:
2011
Umístění:
Načítá se...
Kniha
Načítá se...
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:
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 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:
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
: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Vydáno:
2012
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
235
NTK
Médium
220
E-kniha
12
Kniha
3
Rukopis
Signatura
13
Q - Věda
Autor
220
SpringerLink (online služba)
5
Bernardo, Marco
5
Margaria, Tiziana
5
Steffen, Bernhard
4
Baldoni, Matteo
4
Boer, Frank S. de
více ...
4
Bonsangue, Marcello M
4
Dastani, Mehdi
4
Winikoff, Michael
3
Aksit, Mehmet
3
Bernardo, Marco, 1970-
3
Bordini, Rafael H
3
Cook, Byron
3
Dix, Jürgen
3
Graf, Susanne
3
Leucker, Martin
3
Núñez, Manuel
3
Rashid, Awais
3
Reed, Rick
3
Roever, Willem-Paul de
3
Son, Tran Cao
3
Vasconcelos, Wamberto
2
Beckert, Bernhard
2
Bin, Eyal
2
Cerioli, Maura, 1964-
2
Cohen, Albert
2
Cortellessa, Vittorio
2
Crnkovic, Ivica
2
Damiani, Ferruccio
2
Dingel, Juergen
Zobrazit vše ...
méně ...
Jazyk
235
angličtina
Žánr
220
elektronicke knihy
63
sborníky konferencí
3
monografie
2
disertace
1
eseje
1
příručky
více ...
1
sborníky
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
235
programovací jazyky
235
softwarové inženýrství
220
informatika
85
počítače
77
matematická logika
50
podnikové informační systémy
více ...
49
umělá inteligence
29
algoritmizace
19
počítačová simulace
18
formální jazyky
17
software
16
operační systémy
9
robotika
7
UML
6
algebra
5
programovací jazyk Java
3
architektura výpočetních systémů
3
cloud computing
3
hardware
3
internet
3
objektově orientované programování
2
Petriho sítě
2
aplikační programy
2
elektrotechnika
2
informační systémy
2
interakce člověk-počítač
2
matematická statistika
2
počítačová grafika
2
programovací jazyk C++
2
systémy řízení báze dat
Zobrazit vše ...
méně ...
×
Načítá se...