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ț: 648^.71 lei 810^.88 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ț: 653^.75 lei 817^.18 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ț: 344^.01 lei 430^.02 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ț: 336^.22 lei 420^.27 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ț: 650^.97 lei 813^.71 lei

6-8 săpt.

-20%