|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Liu, Zhiming | Paperback | 3642047602 /
9783642047602 | 09/2009 | $52.24 |
|  | Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro 2015 Edition (Lecture Notes in Computer Science) | Li, Xuandong | Paperback | 3319259415 /
9783319259413 | 10/2015 | $52.24 |
|  | Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures 2007 Edition (Lecture Notes in Computer Science) | George, Chris | Paperback | 3540749632 /
9783540749639 | 08/2007 | $52.24 |
|  | Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures 2019 Edition | Bowen, Jonathan P. | Paperback | 3030176002 /
9783030176006 | 04/2019 | $61.74 |
|  | Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures 2016 Edition (Lecture Notes in Computer Science) | Liu, Zhiming | Paperback | 3319296272 /
9783319296272 | 03/2016 | $52.24 |
|  | Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 Edition (Lecture Notes in Computer Science) | Bowen, Jonathan P. | Paperback | 331956840X /
9783319568409 | 04/2017 | $52.24 |
|  | Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures 2018 Edition (Lecture Notes in Computer Science) | Bowen, Jonathan P. | Paperback | 3030029271 /
9783030029272 | 11/2018 | $52.24 |
|  | Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Fiadeiro, José Luiz | Paperback | 3319076019 /
9783319076010 | 07/2014 | $52.24 |
|  | Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 Edition (Lecture Notes in Computer Science) | Jones, Cliff B. | Paperback | 354075220X /
9783540752202 | 09/2007 | $52.24 |
|  | Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro 2006 Edition (Lecture Notes in Computer Science) | Liu, Zhiming | Paperback | 3540474609 /
9783540474609 | 10/2006 | $104.49 |
|  | Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. 2012 Edition (Lecture Notes in Computer Science / Programming and Software) | Liu, Zhiming | Paperback | 3642323545 /
9783642323546 | 07/2012 | $68.40 |
|  | Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) | Liu, Zhiming | Hardcover | 981270017X /
9789812700179 | 11/2006 | $161.50 |
|  | 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 |
|  | Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings 2007 Edition (Lecture Notes in Computer Science) | Jones, Cliff B. | Paperback | 3540752900 /
9783540752905 | 09/2007 | $52.24 |
|  | Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Zhiming | Paperback | 3642397174 /
9783642397172 | 07/2013 | $52.24 |
|  | Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Liu, Zhiming | Paperback | 3642396976 /
9783642396977 | 07/2013 | $52.24 |
|  | Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, 2013 Edition | Liu, Zhiming | Paperback | 3642397204 /
9783642397202 | 07/2013 | $52.24 |
|
|
|