| | Books 1 - 6 of 6 | Previous | Next | 
|  | | Verification and Synthesis of Hybrid Systems
by Eugine Asarin, Thao Dang, Oded Maler
Hardcover, 300 Pages, Published 2008 by Birkhauser
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid Systems - Computation and Control: v. 2623: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 ... / Lecture Notes in Artificial Intelligence)
by Freek Wiedijk (Editor), Oded Maler (Editor), Amir Pnueli (Editor)
Paperback, 558 Pages, Published 2003 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Oded Maler (Editor)
Paperback, 417 Pages, Published 1997 by Springer
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Student modeling: Learning a function from examples while knowing a close function (Technical report. Weizmann Institute of Science. Dept. of Computer Science)
by Oded Maler
Unknown Binding, 18 Pages, Published 1987 by Weizmann Institute of Science, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Learning [omega]-regular languages from ultimately-periodic examples (Technical report. Weizmann Institute of Science. Dept. of Computer Science)
by Oded Maler
Unknown Binding, 23 Pages, Published 1988 by Weizmann Institute of Science, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A new approach for introducing Prolog to naive users (Technical report. Weizmann Institute of Science. Dept. of Computer Science)
by Oded Maler
Unknown Binding, 16 Pages, Published 1986 by Weizmann Institute of Science, Dept. of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 6 of 6 | Previous | Next |
|