Cărți de Oded Maler

Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7699

Editat de Oded Maler et al.

25 dec 2015

Preț: 270^.19 lei 337^.73 lei

6-8 săpt.

-20%

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5643

Editat de Ahmed Bouajjani et al.

19 iun 2009

Preț: 667^.42 lei 834^.28 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2623

Editat de Freek Wiedijk et al.

18 mar 2003

Preț: 659^.17 lei 823^.97 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1201

Editat de Oded Maler

5 mar 1997

Preț: 396^.24 lei

6-8 săpt.