DEPARTMENTS
CUSTOMER SERVICE
|
ALUR, RAJEEV
Results 1-5 of 5 for ALUR, RAJEEV
 (click for more information) |
|
 |
Computer Aided Verification
 ;
AUD$190.17;
Book - Paperback;
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research...
|
 |
Computer Aided Verification
;
AUD$186.53;
Book - Paperback;
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96...
|
 |
Embedded Software
;
AUD$123.12;
Book - Paperback;
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers...
|
 |
Hybrid Systems
;
AUD$210.76;
Book - Paperback;
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A...
|
 |
Hybrid Systems - Computation & Control
;
AUD$208.91;
Book - Paperback;
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004. The 43 revised...
|
|
shopping cart