登入選單
Google圖書搜尋
Representation of Boolean functions with ROBDDs
作者
Robert Meolic / Aleš Časar / Zmago Brezočnik
出版1993
ISBN
OCLC:438635150
Analiza PISUM s stališča varnosti
作者
Aleš Časar
出版2003
ISBN
OCLC:442560222
Odkrivanje zatičnih napak s simboličnim preverjanj...
作者
Aleš Časar / Zmago Brezočnik / Bogomir Horvat
出版2002
ISBN
OCLC:440250130
Deponije rudniških jalovin
作者
Aleš Časar (gradbenik.) / Silvan Vidmar
出版1988
ISBN
OCLC:780984231
Simbolično preiskovanje diagramov prehajanja stanj...
作者
Aleš Časar / Zmago Brezočnik
出版1995
ISBN
OCLC:455854218
Esquimo Brain, by Ales ["sic"] Hrdlicka ["sic"], ....
作者
Aleš Hrdlička
ISBN
OCLC:458138032
Report from the Trip Ales Lebeda to France (2.7-9....
作者
Ales Lebeda
出版1988
ISBN
OCLC:71435434
Zagotavljanje pravilnosti paralelnih in porazdelje...
作者
Zmago Brezočnik / Tatjana Kapus / Bogomir Horvat / Bogdan Dugonik / Filip Samo Balan / Robert Meolic / Gabrijela Dreo-Rodošek / Marjan Štrakl / Aleš Časar
出版1997
ISBN
OCLC:438612970
COST 247 "Verification and validation methods for ...
作者
Zmago Brezočnik / Tatjana Kapus / Bogomir Horvat / Monika Kapus-Kolar / Marjeta Frey-Pučko / Marjan Štrakl / Aleš Časar / Robert Meolic / Bogdan Dugonik
出版1998
ISBN
OCLC:439961851
Formalna verifikacija sistemov
作者
Zmago Brezočnik / Bogomir Horvat / Tatjana Kapus / Bogdan Dugonik / Gabrijela Dreo-Rodošek / Filip Samo Balan / Janez Stergar / Rudolf Babič / Mitja Solar / Robert Meolic / Marjan Štrakl / Aleš Časar
出版1996
ISBN
OCLC:455955566
Verifikacija končnih avtomatov s simboličnim preve...
作者
Aleš Časar / Zmago Brezočnik / Bogomir Horvat
出版1998
ISBN
OCLC:438927301
Formalna verifikacija sistemov
作者
Zmago Brezočnik / Bogomir Horvat / Tatjana Kapus / Bogdan Dugonik / Gabrijela Dreo / Filip Samo Balan / Janez Stergar / Rudolf Babič / Mitja Solar / Robert Meolic / Marjan Štrakl / Aleš Časar
出版1994
ISBN
OCLC:437786124
Vzpostavitev končne konfiguracije notranjega in de...
作者
Janko Koležnik / Janez Bartol / Robert Meolic / Aleš Časar / Timotej Kodek / Vladimir Djurica / Goran Milev / Leon Maruša / Andrej Souvent
出版2019
ISBN
OCLC:1267935913
Zagotavljanje in analiza varnosti sistema za uprav...
作者
Aleš Casar
出版2017
ISBN
OCLC:1016070559
Formalna verifikacija sistemov
作者
Zmago Brezočnik / Bogomir Horvat / Tatjana Kapus / Bogdan Dugonik / Gabrijela Dreo / Filip Samo Balan / Janez Stergar / Rudolf Babič / Mitja Solar / Robert Meolic / Marjan Štrakl / Aleš Časar
出版1993
ISBN
OCLC:439286445
Razvoj integriranega programskega okolja za poučev...
作者
Dejan Dinevski / Matjaž Debevc / Branislav Šmitek / Metka Zorič-Venuti / Zvezdana Strmšek / Ervin Schaff / Ivan Gerlič / Milan Ojsteršek / Riko Šafarič / Branko Horvat / Borut Gorenjak / Marjan Krašna / Aleš Časar / Medeja Brglez / Tomaž Klojčnik
出版2004
ISBN
OCLC:443908856
Popis procesov, določitev arhitekture in analiza p...
作者
Janko Koležnik / Aleš Časar / Andrej Souvent / Vladimir Djurica / Georgi Zlatarev / Goran Milev
出版2017
ISBN
OCLC:1016118778