title | media type | | ISBN-13 | year of publica- tion | other author(s) |
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | Taschenbuch | | 978-3-642-30884-0 | 2012 | John Derrick · Stefania Gnesi · Sarfraz Khurshid · Michael Leuschel · Steve Reeves · Elvinia Riccobene |
Awakening China: Politics, Culture, and Class in the Nationalist Revolution | Paperback | | 978-0-8047-3337-3 | 1998 |
Big White Lie: Chinese Australians in White Australia | " | | 978-0-86840-870-5 | 2007 |
Book of Meetings 2008 | Spiral-bound | | 978-0-901689-87-0 | 2008 | Quaker Communications · Rachel Draper · Gary Mitchell |
Chinese Diaspora Charity and the Cantonese Pacific, 1850-1949 | Hardcover | | 978-988-8528-26-4 | 2020 | Hon-ming Yip |
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation | Taschenbuch | | 978-3-662-52444-2 | 2016 | Peter Gorm Larsen · Marcel Verhoef |
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation | Gebunden | | 978-3-642-54117-9 | 2014 | Peter Gorm Larsen · Marcel Verhoef |
Elves | VHS Tape | | 630314411X | 1994 | Dan Haggerty · Jeffrey Mandel · Al Loberger · Dale Mitchell · Jerry Graham · Mark Paglia |
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings | Taschenbuch | | 978-3-540-27882-5 | 2005 | Ian J. Hayes · Andrzej Tarlecki |
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | Paperback | | 978-3-319-48990-2 | 2017 | Constance Heitmeyer · Stefania Gnesi · Anna Philippou |
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | Taschenbuch | | 978-3-319-48988-9 | 2016 | Constance Heitmeyer · Stefania Gnesi · Anna Philippou |
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe Graz, Austria, ... Notes in Computer Science , Band 1313) | " | | 978-3-540-63533-8 | 2009 | Peter Lucas · Cliff B. Jones |
Life in Pain: Affective Economy and the Demand for Pain Relief | Hardcover | | 978-981-10-5639-0 | 2020 |
Me and My Little Brain | Paperback | | 978-0-440-45533-2 | 1972 |
Modelling Systems: Practical Tools and Techniques in Software Development | Printed Access Code | | 978-0-511-62697-5 | 2010 | Peter Gorm Larsen |
Modelling Systems: Practical Tools and Techniques in Software Development | Hardcover | | 978-0-521-89911-6 | 2009 | " |
Modelling Systems: Practical Tools and Techniques in Software Development | Paperback | | 978-0-521-62348-3 | 1998 | " |
Modelling Systems: Practical Tools and Techniques in Software Development | Hardcover | | 978-0-521-62605-7 | 1998 | " |
More Adventures of the Great Brain | Audio CD | | 978-0-7393-6685-1 | 2002 |
More Adventures of the Great Brain | | | 978-0-440-45822-7 | 1971 |
Power and Identity in the Chinese World Order: Festschrift in Honour of Professor Wang Gungwu | Hardcover | | 978-962-209-590-8 | 2003 | Billy K. L. So · Jianli Huang · James K. Chin |
Proof in VDM: A Practitioner's Guide | Taschenbuch | | 978-3-540-19813-0 | 1993 | Juan C. Bicarregui · Peter A. Lindsay · Richard Moore · Brian Ritchie |
Studying British Cinema: 1999-2009 | Paperback | | 978-1-906733-11-7 | 2010 |
The Amendment: A Novel | " | | 978-0-595-33530-5 | 2005 |
The Amendment: A Novel | Hardcover | | 978-0-595-78770-8 | 2005 |
The Dignity of Nations: Equality, Competition, and Honor in East Asian Nationalism | " | | 978-962-209-795-7 | 2006 | Sechin Y. S. Chien |
The Great Brain | Audio CD | | 978-0-7393-4899-4 | 2002 |
The Great Brain | Paperback | | 978-0-440-43071-1 | 1972 |
The Great Brain Does it Again | " | | 978-0-440-42983-8 | 1976 |
The Great Brain Reforms | " | | 978-0-440-44841-9 | 1974 |
The Return of the Great Brain | " | | 978-0-440-45941-5 | 1975 |
Validated Designs for Object-Oriented Systems | Hardcover | | 978-1-85233-881-7 | 2005 | Peter Gorm Larsen · Paul Mukherjee |
Who's Afraid of the Big Enlargement? | Paperback | | 978-1-898128-66-3 | 2002 | Giuseppe Bertola · Juan Jose Dolado · Gilles Saint-Paul · Fabrizio Coricelli · Juan Francisco Jimeno-Serrano · Angel de la Fuente · Tito Boeri |