Yazar
Oded Maler
8 cilt bulundu.
Cilt sonuçları
Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
Oded Maler · Springer
Sayfa sayısı yok · 2009
Logic design / Artificial intelligence / Computer science / Software engineering / Computer software, verification
Hybrid systems
Oded Maler, Amir Pnueli, Freek Wiedijk · Springer
558 sayfa · 2003
Hybrid computers / Digital control systems / Congresses
Hybrid Systems : Computation and Control
Freek Wiedijk, Oded Maler, Amir Pnueli · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok
Hybrid Systems Biology
Oded Maler, Ádám Halász, Thao Dang, Carla Piazza · Springer London, Limited
175 sayfa · 2015
Biology, classification