Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

The Quantum World: The disturbing theory at the heart of reality

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Programming The Universe: A Quantum Computer Scientist Takes on the Cosmos

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

QUANTUM PHYSICS FOR BEGINNERS: The Principal Quantum Physics Theories made Easy to Discover the Hidden Secrets of the Universe with the Most Famous Quantum Experiments

Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings

Not From Earth: Volume 1

Theorems And Lemmas In Mathematics

Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Quantum Computing and HVAC: Adapting Cooling Systems for the Future of Computing

AI and Quantum Network Applications in Business and Medicine

Cryogenic HVAC Systems: Design, Implementation, and Applications in Science and Medicine

Quantum Networks and Their Applications in AI

Quantum AI: The Future of Intelligence

Mathematician's Delight