Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
'
Přeskočit na obsah
VuFind
Back to Portal
Jazyk
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Tag
Hledat
Pokročilé
Zrušit filtry
Doporučená témata:
Programming & scripting languages: general
Autor:
Tasiran, Serdar
Zrušit filtry
Zobrazit filtry (2)
Doporučená témata:
Programming & scripting languages: general
Autor:
Tasiran, Serdar
Výsledky 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í:
Artificial intelligence
1
Computer modelling & simulation
1
Computer networking & communications
1
Computer science
1
Programming & scripting languages: general
Software Engineering
1
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Vydáno 2019
Signatura:
Načítá se…
Umístění:
Načítá se…
Get Fullteks
DOAB: description of the publication
Kapitola
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje:
RSS
–
Poslat e-mailem
–
Uložit hledání
Zpět
Upřesnit hledání
Instituce
Directory of Open Access Books
1
Knihovna
DOAB
1
Médium
Kapitola
1
Autor
Dillig, Isil
1
Tasiran, Serdar
Rok vydání
Od:
do: