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ț: 264^.77 lei 330^.96 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ț: 653^.92 lei 817^.40 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ț: 645^.83 lei 807^.29 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ț: 388^.27 lei

6-8 săpt.