Author Search Results

Ask a Librarian

1

Cover Image

E-Book

Hybrid Systems Biology [E-Book] : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-2...

Dang, Thao.
2015

Other Personal Name(s): “...Maler, Oded....”

Full text

2

Cover Image

E-Book

Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /

Bouajjani, Ahmed
2009

Other Personal Name(s): “...Maler, Oded...”

Full text

3

Cover Image

E-Book

Hybrid Systems: Computation and Control [E-Book] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /

Maler, Oded.
2003

Other Personal Name(s): “...Maler, Oded....”

Full text

4

Cover Image

E-Book

Hybrid and Real-Time Systems [E-Book] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /

Maler, Oded
1997

Other Personal Name(s): “...Maler, Oded...”

Full text

5

Cover Image

Book

On syntactic congruences for omega languages.

Maler, Oded.
1993

Other Personal Name(s): “...Maler, Oded....”

Select all titles on this page