Filtre: Calculatoare şi IT

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ț: 640^.92 lei 801^.15 lei

43-57 zile

-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ț: 645^.90 lei 807^.37 lei

43-57 zile

-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ț: 339^.91 lei 424^.88 lei

43-57 zile

-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ț: 332^.20 lei 415^.25 lei

43-57 zile

-20%

Hybrid Systems III: Verification and Control

Lecture Notes in Computer Science, nr. 1066

Editat de Rajeev Alur et al.

24 apr 1996

Preț: 643^.15 lei 803^.93 lei

43-57 zile

-20%