Cărți de Rajeev Alur

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3114

Editat de Rajeev Alur et al.

29 iun 2004

Preț: 634^.85 lei 793^.57 lei

6-8 săpt.

-20%

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Lecture Notes in Computer Science, nr. 2993

Editat de Rajeev Alur et al.

12 mar 2004

Preț: 639^.80 lei 799^.74 lei

6-8 săpt.

-20%

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2855

Editat de Rajeev Alur

29 sep 2003

Preț: 336^.71 lei 420^.89 lei

6-8 săpt.

-20%

Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1102

Editat de Rajeev Alur et al.

17 iul 1996

Preț: 329^.09 lei 411^.36 lei

6-8 săpt.

-20%

Hybrid Systems III: Verification and Control

Lecture Notes in Computer Science, nr. 1066

Editat de Rajeev Alur et al.

24 apr 1996

Preț: 637^.07 lei 796^.33 lei

6-8 săpt.

-20%