BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Oded Maler

6 cilt bulundu.

Cilt sonuçları

Hybrid and Real-Time Systems

Hybrid and Real-Time Systems

Oded Maler · Springer Science & Business Media

444 sayfa · 1997-03-05

Technology & Engineering

Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Oded Maler, Amir Pnueli · Springer Science & Business Media

569 sayfa · 2003-03-18

Computers

CiltOn Fault-tolerant Symbolic ComputationsBernard Delyon, Oded Maler

On Fault-tolerant Symbolic Computations

Bernard Delyon, Oded Maler · Yayınevi bilinmiyor

16 sayfa · 1991

Kategori yok

EducationA New Approach for Introducing Prolog to Naive UsersMekhon Ṿaitsman le-madaʻ. Dept. of Applied Mathematics, O. Maler, Z. Scherz, E. Y. Shapiro

A New Approach for Introducing Prolog to Naive Users

Mekhon Ṿaitsman le-madaʻ. Dept. of Applied Mathematics, O. Maler, Z. Scherz, E. Y. Shapiro · Yayınevi bilinmiyor

16 sayfa · 1986

Education

Technology & EngineeringVerification and Synthesis of Hybrid SystemsEugene Asarin, Thao Dang, Oded Maler

Verification and Synthesis of Hybrid Systems

Eugene Asarin, Thao Dang, Oded Maler · Birkhäuser

Sayfa sayısı yok · 2012-06-15

Technology & Engineering

Technology & EngineeringVerification and Synthesis of Hybrid SystemsEugine Asarin, Thao Dang, Oded Maler

Verification and Synthesis of Hybrid Systems

Eugine Asarin, Thao Dang, Oded Maler · Birkhauser

300 sayfa · 2006-06-01

Technology & Engineering