Zobrazuji výsledky
1 - 20
z
77
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í
Doporučená témata:
softwarové inženýrství
AND
matematická logika
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
AND
matematická logika
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í:
informatika
77
matematická logika
programovací jazyky
softwarové inženýrství
počítače
37
umělá inteligence
28
formální jazyky
17
více ...
robotika
8
algoritmizace
6
podnikové informační systémy
6
počítačová simulace
3
software
3
programovací jazyk Java
2
UML
1
algebra
1
distribuované informační systémy
1
hardware
1
informační systémy
1
komponentní technologie
1
kryptografie
1
matematická statistika
1
operační systémy
1
protilátky
1
softwarové technologie
1
systémy řízení báze dat
1
vestavěné systémy
1
vizualizace
1
méně ...
Zobrazuji výsledky
1 - 20
z
77
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
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:
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
: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 18th international conference, FASE 2015, held...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
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 : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
Software
: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
Software
: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computation structures : 18th international conference, FOSSACS...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-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
E-kniha
Uloženo v:
Foundations of
Software
Science and Computational Structures : 10th International Conference...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
Software
Science and Computation Structures : 16th International Conference, FOSSACS...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
Software
Science and Computational Structures : 12th International Conference...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
77
NTK
Médium
77
E-kniha
Autor
77
SpringerLink (online služba)
2
Bernardo, Marco
2
Legay, Axel
2
Naumann, David
2
Potapov, Igor
2
Seidl, Helmut
více ...
2
Torre, Leon van der
2
Vardanega, Tullio
1
Aceto, Luca
1
Alfaro, Luca de
1
Araki, Keijiro
1
Arbab, F. (Farhad)
1
Baier, Christel
1
Bansal, Nikhil
1
Barais, Olivier
1
Barbosa, Luís Soares
1
Barkaoui, Kamel
1
Beckert, Bernhard
1
Bensalem, Saddek
1
Bertacco, Valeria
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blazy, Sandrine
1
Boca, Paul
1
Bodik, Rastislav
1
Borger, Egon
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Braga, Christiano
1
Bulling, Nils
1
Butler, Michael, 1967-
Zobrazit vše ...
méně ...
Jazyk
77
angličtina
Žánr
77
elektronicke knihy
20
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
77
informatika
77
matematická logika
77
programovací jazyky
77
softwarové inženýrství
37
počítače
28
umělá inteligence
více ...
17
formální jazyky
8
robotika
6
algoritmizace
6
podnikové informační systémy
3
počítačová simulace
3
software
2
programovací jazyk Java
1
UML
1
algebra
1
hardware
1
informační systémy
1
kryptografie
1
matematická statistika
1
operační systémy
1
protilátky
1
systémy řízení báze dat
1
vestavěné systémy
1
vizualizace
Zobrazit vše ...
méně ...
×
Načítá se...