Sriram K. Rajamani's Documents

Sriram K. Rajamani's Documents

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
Read more
Computer Aided Verification, 17 conf., CAV 2005

Computer Aided Verification, 17 conf., CAV 2005
Read more
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture ... Programming and Software Engineering)
Read more
Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Lecture Notes ... Programming and Software Engineering)
Read more
Vehicle Dynamics and Control (Mechanical Engineering Series)

Vehicle Dynamics and Control (Mechanical Engineering Series)
Read more
Vehicle Dynamics and Control, 2nd Edition

Vehicle Dynamics and Control, 2nd Edition
Read more
Tantrasangraha of Nilakantha Somayaji

Tantrasangraha of Nilakantha Somayaji
Read more
Vehicle Dynamics And Control

Vehicle Dynamics And Control
Read more
Advanced Perl Programming

Advanced Perl Programming
Read more
Confronting Past Human Rights Violations: Justice vs. Peace in Times of Transition (The Cass Series on Peacekeeping)

Confronting Past Human Rights Violations: Justice vs. Peace in Times of Transition (The Cass Series on Peacekeeping)
Read more
Advanced Perl Programming

Advanced Perl Programming
Read more
Advanced Perl Programming

Advanced Perl Programming
Read more
Advanced Perl Programming

Advanced Perl Programming
Read more
Wireless network deployments

Wireless network deployments
Read more
Wireless Network Deployments

Wireless Network Deployments
Read more
High Performance Computing - HiPC 2001: 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings

High Performance Computing - HiPC 2001: 8th International Conference, Hyderabad, India, December, 17-20, 2001. Proceedings
Read more
High Performance Computing - HiPC 2000: 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings

High Performance Computing - HiPC 2000: 7th International Conference Bangalore, India, December 17-20, 2000 Proceedings
Read more
Teach Yourself ASP.NET Ajax in 24 Hours

Teach Yourself ASP.NET Ajax in 24 Hours
Read more
Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)

Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)
Read more
Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)

Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)
Read more
Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ®

Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica ®
Read more
Sams Teach Yourself ASP.NET Ajax in 24 Hours

Sams Teach Yourself ASP.NET Ajax in 24 Hours
Read more
Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)

Peace as Governance: Power-Sharing, Armed Groups and Contemporary Peace Negotiations (Rethinking Peace and Conflict Studies)
Read more
Oxford American Handbook of Hospice and Palliative Medicine (Oxford American Handbooks in Medicine)

Oxford American Handbook of Hospice and Palliative Medicine (Oxford American Handbooks in Medicine)
Read more
Embedded Multiprocessors: Scheduling and Synchronization (Signal Processing and Communications)

Embedded Multiprocessors: Scheduling and Synchronization (Signal Processing and Communications)
Read more
Embedded Multiprocessors: Scheduling and Synchronization

Embedded Multiprocessors: Scheduling and Synchronization
Read more
Wireless multimedia network technologies

Wireless multimedia network technologies
Read more
Wireless multimedia network technologies

Wireless multimedia network technologies
Read more
Embedded Linux System Design and Development

Embedded Linux System Design and Development
Read more
Embedded Linux System Design and Development

Embedded Linux System Design and Development
Read more