Yazar
Freek Wiedijk
5 cilt bulundu.
Cilt sonuçları
The Seventeen Provers of the World
Freek Wiedijk · Springer London, Limited
158 sayfa · 2006
Algebra / Proof theory / Data processing / Computer programs / Mathematics
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