Zobrazuji výsledky
1 - 19
z
19
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
Martín-Vide, Carlos
Oblast:
NOT
Japonsko
NOT
České království
PSH:
NOT
konstrukce
AND
algoritmizace
Žánr:
NOT
elektronicke knihy
Doporučená témata:
verifikace programu
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Horyna, Mojmír, 1945-2011
NOT
Martín-Vide, Carlos
Oblast:
NOT
Japonsko
NOT
České království
PSH:
NOT
konstrukce
AND
algoritmizace
Žánr:
NOT
elektronicke knihy
Doporučená témata:
verifikace programu
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í:
algoritmizace
19
verifikace programu
matematické programování
6
informační systémy
5
počítačová bezpečnost
5
programování
4
simulace a modelování
3
více ...
softwarové inženýrství
3
počítače
2
software
2
systémy
2
teorie algoritmů
2
aproximace
1
hardware
1
kvalita programu
1
objektově orientované programování
1
programovací jazyky
1
testování
1
virtuální realita
1
méně ...
Zobrazuji výsledky
1 - 19
z
19
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Tools and algorithms for the construction and analysis of systems : First international workshop, TACAS '95 Aarhus, Denmark, May 19-20, 1995. Selected papers
Vydáno:
1995
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:
Tools and algorithms for the construction and analysis of systems : Third international workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997. Proceedings
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Static analysis : 11th international symposium, SAS 2004, Vernona, Italy, August 26-28, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Lectures on proof verification and approximation algorithms
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice o...
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of...
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice...
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
ZB 2000 : Formal specification and development in Z and B. First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Proceedings
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of The Joint European Conferences on Theory and Practice...
Vydáno:
2006
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:
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
19
NTK
Médium
19
Kniha
Signatura
18
Q - Věda
1
T - Technologie
Autor
2
Brinksma, Ed
2
Margaria, Tiziana
2
Smith, Graeme, 1966-
1
Boiten, Eerke, 1966-
1
Bowen, Jonathan P.
1
Cleaveland, W. R. (Walter Rance), 1961-
více ...
1
Cortesi, Agostino, 1963-
1
Davies, Jim, 1964-
1
Derrick, John, 1963-
1
Filé, Gilberto, 1951-
1
Giacobazzi, Roberto, 1964-
1
Gibbons, Jeremy, 1966-
1
Graf, Susanne
1
Grumberg, Orna, 1952-
1
Hankin, Chris, 1954-
1
Hermanns, Holger, 1967-
1
Huth, Michael, 1962-
1
Mayr, Ernst W., 1950-
1
Melham, T. F. (Tom F.), 1960-
1
Nielson, Hanne Riis, 1954-
1
Palsberg, Jens, 1964-
1
Pol, Jaco van de, 1969-
1
Prömel, Hans Jürgen
1
Romijn, Judi Maria Tirza, 1971-
1
Schwartzbach, Michael
1
Siveroni, Igor
1
Steffen, Bernhard
1
Steger, Angelika
1
Yi, Kwangkeun
1
Yi, Wang
Zobrazit vše ...
méně ...
Jazyk
19
angličtina
Žánr
8
sborníky konferencí
Rok vydání
Od:
do:
PSH
algoritmizace
19
verifikace programu
6
matematické programování
5
informační systémy
5
počítačová bezpečnost
4
programování
více ...
3
simulace a modelování
3
softwarové inženýrství
2
počítače
2
software
2
systémy
2
teorie algoritmů
1
aproximace
1
hardware
1
kvalita programu
1
objektově orientované programování
1
programovací jazyky
1
testování
1
virtuální realita
Zobrazit vše ...
méně ...
×
Načítá se...