|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Applied Information Security: A Hands-On Approach 2011 Edition | Basin, David | Hardcover | 3642244734 /
9783642244735 | 10/2011 | $47.49 |
|  | Applied Information Security: A Hands-On Approach 2011 Edition | Basin, David | Paperback | 3642436323 /
9783642436321 | 11/2013 | $47.49 |
|  | Automated Reasoning: Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings 2004 Edition (Lecture Notes) | Basin, David | Paperback | 3540223452 /
9783540223450 | 06/2004 | $104.49 |
|  | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Hardcover | 0792362373 /
9780792362371 | 04/2000 | $104.49 |
|  | Labelled Deduction 2000 Edition (Applied Logic) | Basin, David | Paperback | 9401057818 /
9789401057813 | 10/2012 | $104.49 |
|  | Principles of Security and Trust: Second International Conference, Post 2013, Held as Part of the European Joint Conferences on Theory and Practice of 2013 Edition (Lecture Notes in Computer Science / Security and Cryptology) | Basin, David | Paperback | 3642368298 /
9783642368295 | 02/2013 | $52.24 |
|  | Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Bundy, Alan | Hardcover | 052183449X /
9780521834490 | 08/2005 | $133.00 |
|  | Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Basin, David | Paperback | 3540406646 /
9783540406648 | 08/2003 | $52.24 |
|
|
|