Zobrazuji výsledky
1 - 20
z
93
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
PSH:
počítače
Doporučená témata:
programovací jazyky
NOT
programování
Zrušit filtry
Zobrazit filtry (3)
PSH:
počítače
Doporučená témata:
programovací jazyky
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í:
počítače
93
programovací jazyky
informatika
92
softwarové inženýrství
87
matematická logika
42
umělá inteligence
18
formální jazyky
17
více ...
algoritmizace
13
podnikové informační systémy
10
robotika
10
software
10
operační systémy
9
UML
5
programovací jazyk Java
5
distribuované informační systémy
4
počítačová simulace
4
aplikační programy
3
cloud computing
3
hardware
3
Petriho sítě
2
internet
2
počítačová bezpečnost
2
programovací jazyk C++
2
vestavěné systémy
2
agenti
1
algebra
1
big data
1
diskrétní matematika
1
hluboké učení
1
integrované obvody
1
méně ...
Zobrazuji výsledky
1 - 20
z
93
pro vyhledávání '
"software"
'
, doba hledání: 0,29 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:
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 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:
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:
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:
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:
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:
Fundamental approaches to
software
engineering : 8th international conference, FASE 2005, held...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fundamental approaches to
software
engineering : 8th international conference, FASE 2005, held...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 7th International Haifa verification conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
93
NTK
Médium
91
E-kniha
1
Kniha
1
Časopis
Signatura
2
Q - Věda
Autor
91
SpringerLink (online služba)
3
Margaria, Tiziana
3
Steffen, Bernhard
2
Bernardo, Marco, 1970-
2
Cerioli, Maura, 1964-
2
Naumann, David
více ...
2
Ouaknine, Joël
2
Peña, Ricardo, 1950-
2
Potapov, Igor
2
Sardina, Sebastian
2
Vasconcelos, Wamberto
2
Winikoff, Michael
2
Zeller, Andreas, 1965-
1
Aalst, Wil van der, 1966-
1
Aceto, Luca
1
Ajmone Marsan, Marco, 1951-
1
Alfaro, Luca de
1
Araki, Keijiro
1
Artemov, Sergei
1
Arun-Kumar, S
1
Baier, Christel
1
Baldoni, Matteo
1
Banâtre, Jean-Pierre
1
Barkaoui, Kamel
1
Bartocci, Ezio, 1980-
1
Bensalem, Saddek
1
Bernardo, Marco
1
Berry, Daniel
1
Biere, Armin, 1967-
1
Bin, Eyal
Zobrazit vše ...
méně ...
Jazyk
93
angličtina
Žánr
91
elektronicke knihy
44
sborníky konferencí
2
eseje
1
monografie
1
časopisy
Rok vydání
Od:
do:
PSH
počítače
93
programovací jazyky
92
informatika
87
softwarové inženýrství
42
matematická logika
18
umělá inteligence
více ...
17
formální jazyky
13
algoritmizace
10
podnikové informační systémy
10
robotika
10
software
9
operační systémy
5
UML
5
programovací jazyk Java
4
počítačová simulace
3
aplikační programy
3
cloud computing
3
hardware
2
Petriho sítě
2
internet
2
počítačová bezpečnost
2
programovací jazyk C++
2
vestavěné systémy
1
agenti
1
algebra
1
big data
1
hluboké učení
1
integrované obvody
1
interakce člověk-počítač
1
kryptografie
Zobrazit vše ...
méně ...
×
Načítá se...