|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science) | Araki, Keijiro | Paperback | 3540408282 /
9783540408284 | 08/2003 | $104.49 |
|  | Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31 2008 Edition (Lecture Notes in Computer Science) | Liu, Shaoying | Paperback | 354088193X /
9783540881933 | 10/2008 | $52.24 |
|  | High Performance Computing: International Symposium, Ishpc'97, Fukuoka, Japan, November 4-6, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science,) | Polychronopoulos, Constantine | Paperback | 3540637664 /
9783540637660 | 10/1997 | $52.24 |
|  | Ifm'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 Softcover Repri Edition | Araki, Keijiro | Paperback | 1852331070 /
9781852331078 | 06/1999 | $104.49 |
|  | Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan 1986 Edition (Lecture Notes in Computer Science) | Goto, Eiichi | Paperback | 3540164707 /
9783540164708 | 05/1986 | $52.24 |
|  | Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers 2005 Edition (Lecture Notes in Computer Science) | Liu, Zhiming | Paperback | 3540253041 /
9783540253044 | 03/2005 | $104.49 |
|
|
|