Zobrazuji výsledky
1 - 10
z
10
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
Autor:
NOT
Kyjonka, Vladimír
PSH:
Filtry: 4
NOT
počítačová grafika
NOT
zvukové editory
NOT
algoritmizace
AND
matematická logika
Doporučená témata:
operační systémy
Zrušit filtry
Zobrazit filtry (6)
Autor:
NOT
Kyjonka, Vladimír
PSH:
Filtry: 4
NOT
počítačová grafika
NOT
zvukové editory
NOT
algoritmizace
AND
matematická logika
Doporučená témata:
operační systémy
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í:
matematická logika
10
operační systémy
softwarové inženýrství
10
informatika
9
programování
9
formální jazyky
7
programovací jazyky
6
více ...
počítače
4
diskrétní matematika
1
hardware
1
informační systémy
1
internet
1
počítačová bezpečnost
1
počítačová simulace
1
programovací jazyk Java
1
robotika
1
software
1
testování
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 10
z
10
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
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:
Formal methods for eternal networked
software
systems : 11th International school on formal methods...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2005, Edinburgh, UK, April 4-8...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 15th European symposium on programming, ESOP 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 27-28...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 26th international conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
10
NTK
Médium
10
E-kniha
Autor
10
SpringerLink (online služba)
1
Bernardo, Marco, 1970-
1
Biere, Armin, 1967-
1
Bloem, Roderick
1
Falaschi, Moreno
1
Fiadeiro, José Luiz, 1961-
více ...
1
Issarny, Valérie
1
Kobayashi, Naoki, 1968-
1
Kroening, Daniel
1
Misra, Jayadev
1
Nipkow, Tobias, 1958-
1
Pol, Jaco van de, 1969-
1
Păsăreanu, Corina S.
1
Sagiv, Mooly
1
Schobbens, Pierre-Yves, 1961-
1
Sekerinski, Emil, 1963-
1
Sestoft, Peter
1
Weber, Michael
Zobrazit vše ...
méně ...
Jazyk
10
angličtina
Žánr
10
elektronicke knihy
10
sborníky konferencí
Rok vydání
Od:
do:
PSH
matematická logika
10
operační systémy
10
softwarové inženýrství
9
informatika
9
programování
7
formální jazyky
více ...
6
programovací jazyky
4
počítače
1
hardware
1
informační systémy
1
internet
1
počítačová bezpečnost
1
počítačová simulace
1
programovací jazyk Java
1
robotika
1
software
1
testování
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...