Debugging measurement systems using a domain-specific modeling language /

od Kosar, Tomaž., Mernik, Marjan, 1964-, Gray, Jeffrey G., Kos, Tomaž, 1983-

Avtomatska formalna verifikacija digitalnih sistemov s Prologom.

od Brezočnik, Zmago

Fault detection of an industrial heat-exchanger : a model -based approach /

od Dragan, Dejan.

Watashi no Nihon no omoshiroi keiken /

od Zurc, Joca.

Ichiban kuni ni motte kaeritai mono /

od Zurc, Joca.

Watashi no warui keiken /

od Zurc, Joca.

Nihon de no ryugakusei ni yasumi ni tsuite /

od Zurc, Joca.