Zobrazuji výsledky
1 - 20
z
33
pro vyhledávání '
'
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
Horyna, Mojmír, 1945-2011
NOT
Institute of Physics Publishing
Doporučená témata:
NOT
zpracování obrazů
PSH:
Filtry: 4
NOT
historie
NOT
aplikační programy
AND
softwarové inženýrství
AND
verifikace programu
Žánr:
NOT
studie
NOT
disertace
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Horyna, Mojmír, 1945-2011
NOT
Institute of Physics Publishing
Doporučená témata:
NOT
zpracování obrazů
PSH:
Filtry: 4
NOT
historie
NOT
aplikační programy
AND
softwarové inženýrství
AND
verifikace programu
Žánr:
NOT
studie
NOT
disertace
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
softwarové inženýrství
33
verifikace programu
33
systémová analýza
6
software
5
simulace a modelování
4
algoritmizace
3
kvalita programu
3
více ...
objektově orientované programování
3
programování
2
CAD
1
IP
1
MS-Windows
1
architektura výpočetních systémů
1
elektronické obchodování
1
hardware
1
informatika
1
kompilační překladače
1
mobilní služby
1
operační systémy
1
počítače
1
programovací jazyky
1
přenos dat
1
síťové protokoly
1
testování
1
vyhledávání informací
1
vyhodnocování výkonu
1
řízení v reálném čase
1
méně ...
Zobrazuji výsledky
1 - 20
z
33
pro vyhledávání '
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Model checking software : 10th International SPIN Workshop Portland, OR, USA, May 9-10, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Model checking software : 11th International SPIN Workshop Barcelona, Spain, April 1-3, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Windows forensic analysis DVD toolkit 2E
Autor
Carvey, Harlan A.
Vydáno:
2009
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : 4. international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Creating assertion-based IP
Autor
Foster, Harry D., 1956-
Vydáno:
2008
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis
Autor
Vojnar, Tomáš, 1973-
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Model checking software : 13th international SPIN workshop, Vienna, Austria, March 30 - April 1, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Verification, model checking, and abstract interpretation : 5. international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Model checking software : 12th international SPIN workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
33
NTK
Médium
32
Kniha
1
E-kniha
Signatura
27
Q - Věda
2
T - Technologie
1
H - Sociální vědy
Autor
4
Boer, Frank S. de
2
Ball, Thomas (Thomas Jaudon), 1965-
2
Foster, Harry D., 1956-
2
Graf, Susanne
2
Krolnik, Adam
2
Namjoshi, Kedar S.
více ...
2
Smith, Graeme, 1966-
2
Steffen, Bernhard, 1958-
1
Bauer, Jörg, 1955-
1
Boiten, Eerke, 1966-
1
Bošnački, Dragan, 1963-
1
Carvey, Harlan A.
1
Casey, Eoghan
1
Cook, Byron, 1971-
1
Cousot, Radhia
1
Damm, Werner
1
Davies, Jim, 1964-
1
Derrick, John, 1963-
1
Edelkamp, Stefan, 1969-
1
Emerson, E. Allen
1
Gibbons, Jeremy, 1966-
1
Godefroid, Patrice
1
Gurevich, Yuri, 1940-
1
Hermanns, Holger, 1967-
1
Hu, Alan J. (Alan John)
1
Jones, Robert B. (Robert Brent), 1969-
1
Levi, Giorgio, 1942-
1
Margaria-Steffen, Tiziana, 1964-
1
Martin, Andrew K.
1
Meyer, Bertrand, 1950-
Zobrazit vše ...
méně ...
Jazyk
33
angličtina
Žánr
24
sborníky konferencí
2
elektronicke knihy
2
monografie
1
habilitační práce
1
sborníky
Rok vydání
Od:
do:
PSH
softwarové inženýrství
verifikace programu
6
systémová analýza
5
software
4
simulace a modelování
3
algoritmizace
více ...
3
kvalita programu
3
objektově orientované programování
2
programování
1
CAD
1
IP
1
MS-Windows
1
architektura výpočetních systémů
1
elektronické obchodování
1
hardware
1
informatika
1
kompilační překladače
1
mobilní služby
1
operační systémy
1
počítače
1
programovací jazyky
1
přenos dat
1
síťové protokoly
1
testování
1
vyhledávání informací
1
vyhodnocování výkonu
1
řízení v reálném čase
Zobrazit vše ...
méně ...
×
Načítá se...