Zobrazuji výsledky
1 - 17
z
17
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
Doporučená témata:
matematická logika
PSH:
operační systémy
Zrušit filtry
Zobrazit filtry (3)
Jazyk:
NOT
čeština
Doporučená témata:
matematická logika
PSH:
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
operační systémy
17
informatika
16
softwarové inženýrství
16
programování
14
formální jazyky
13
počítače
11
více ...
programovací jazyky
11
algoritmizace
7
robotika
3
umělá inteligence
3
diskrétní matematika
2
počítačová architektura
2
programovací jazyk Java
2
XML
1
algebra
1
architektura výpočetních systémů
1
hardware
1
informační systémy
1
internet
1
počítačová bezpečnost
1
počítačová simulace
1
software
1
testování
1
vizualizace
1
méně ...
Zobrazuji výsledky
1 - 17
z
17
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:
FSTTCS 2005: foundations of
software
technology and theoretical computer science : 25th...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings
Vydáno:
2006
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:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29...
Vydáno:
2008
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:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
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:
Computer aided verification : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings
Vydáno:
2009
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:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Descriptional complexity of formal systems : 15th international workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings
Vydáno:
2013
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
17
NTK
Médium
17
E-kniha
Autor
17
SpringerLink (online služba)
1
Bernardo, Marco, 1970-
1
Biere, Armin, 1967-
1
Bloem, Roderick
1
Bouajjani, Ahmed
1
Drossopoulou, Sophia
více ...
1
Falaschi, Moreno
1
Fiadeiro, José Luiz, 1961-
1
Hanus, Michael, 1959-
1
Honsell, Furio
1
Issarny, Valérie
1
Jürgensen, Helmut, 1942-
1
Kobayashi, Naoki, 1968-
1
Kroening, Daniel
1
Maler, Oded
1
Miculan, Marino
1
Misra, Jayadev
1
Mycroft, Alan
1
Nipkow, Tobias, 1958-
1
Pol, Jaco van de, 1969-
1
Păsăreanu, Corina S.
1
Reis, Rogério
1
Sagiv, Mooly
1
Sarukkai, Sundar
1
Scagnetto, Ivan
1
Schobbens, Pierre-Yves, 1961-
1
Sekerinski, Emil, 1963-
1
Sen, Sandeep
1
Sestoft, Peter
1
Weber, Michael
Zobrazit vše ...
méně ...
Jazyk
17
angličtina
Žánr
17
elektronicke knihy
17
sborníky konferencí
Rok vydání
Od:
do:
PSH
17
matematická logika
operační systémy
16
informatika
16
softwarové inženýrství
14
programování
13
formální jazyky
více ...
11
počítače
11
programovací jazyky
7
algoritmizace
3
robotika
3
umělá inteligence
2
programovací jazyk Java
1
XML
1
algebra
1
architektura výpočetních systémů
1
hardware
1
informační systémy
1
internet
1
počítačová bezpečnost
1
počítačová simulace
1
software
1
testování
1
vizualizace
Zobrazit vše ...
méně ...
×
Načítá se...