Browsing: > Home > Search > Search Results：Ca Usa
  • Results 1 - 10 of about 2 for "Ca Usa". (0.07 seconds)

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA,

on Jan 8,2011 in Programming comment »

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Publisher: Springer | ISBN: 3540851135 | edition 2008-08-01 | PDF | 343 pages | 11,25 mb

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in…

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA,

on Jul 29,2009 in Programming comment »

Patricia M. Hill, David S. Warren "Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)"

Springer | English | 2009-07-01 | ISBN: 3642028454 | 564 pages | PDF | 6,2 MB

To start download click HERE:

No another…