Zobrazuji výsledky
1 - 5
z
5
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
AND
informační systémy
Zrušit filtry
Zobrazit filtry (9)
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
AND
informační systémy
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
5
informační systémy
matematické programování
5
verifikace programu
Zobrazuji výsledky
1 - 5
z
5
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:
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:
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:
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 : 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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
5
NTK
Médium
5
Kniha
Signatura
5
Q - Věda
Autor
2
Brinksma, Ed
1
Cleaveland, W. R. (Walter Rance), 1961-2024
1
Graf, Susanne
1
Schwartzbach, Michael
1
Steffen, Bernhard
Jazyk
5
angličtina
Rok vydání
Od:
do:
PSH
algoritmizace
5
informační systémy
5
matematické programování
5
verifikace programu
×
Načítá se...