| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Autonomy Requirements Engineering for Space Missions | Gebunden | | 978-3-319-09815-9 | 2014 | Emil Vassev |
| Color Theory and Its Application in Art and Design | Hardcover | | 978-0-387-09654-4 | 2008 | Anastasia Pagnoni · Franz J. Rammig · Hartmut Schmeck |
| Conquering Complexity | Paperback | | 978-1-4471-5826-4 | 2014 | Lorcan Coyle |
| Conquering Complexity | Hardcover | | 978-1-4471-2296-8 | 2012 | " |
| Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... and Communication Technology, Band 329) | Gebunden | | 978-3-642-15233-7 | 2010 | Bernd Kleinjohann · Lisa Kleinjohann · Peter Lindsay · Franz J. Rammig · Jon Timmis · Marilyn Wolf |
| Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... Australia, September 20-23, 2010, Proceedings | Paperback | | 978-3-642-15235-1 | 2011 | Bernd Kleinjohann · Lisa Kleinjohann |
| Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. ... Notes in Computer Science , Band 2564) | Taschenbuch | | 978-3-540-40725-6 | 2009 | Walt Truszkowski · Chris Rouff |
| Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected ... and Telecommunications Engineering, Band 144) | " | | 978-3-319-15391-9 | 2015 | Phan Cong Vinh · Emil Vassev |
| Provably Correct Systems | " | | 978-3-319-83980-6 | 2018 | Jonathan P. Bowen · Ernst-Rüdiger Olderog |
| Provably Correct Systems | Gebunden | | 978-3-319-48627-7 | 2017 | Jonathan P. Bowen · Ernst-Rüdiger Olderog |
| SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... Notes in Computer Science, Band 10139) | Taschenbuch | | 978-3-319-51962-3 | 2017 | Bernhard Steffen · Christel Baier · Mark van den Brand · Johann Eder · Tiziana Margaria |
| Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings | " | | 978-3-642-33825-0 | 2012 | George Eleftherakis · Mike Holcombe |
| Software Technology: 10 Years of Innovation in IEEE Computer | Hardcover | | 978-1-119-17421-9 | 2018 |