|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Applied Formal Methods - Fm-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Procee 1999 Edition (Lecture Notes in Computer Science) | Hutter, Dieter | Paperback | 3540664629 /
9783540664628 | 08/1999 | $52.24 |
|  | Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Hutter, Dieter | Paperback | 3540250514 /
9783540250517 | 02/2005 | $104.49 |
|  | Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers 2004 Edition (Lecture Notes in Computer Science) | Hutter, Dieter | Paperback | 3540208879 /
9783540208877 | 01/2004 | $52.24 |
|
|
|
