1 - 12 of 12 results for "Martin Wirsing"

Title: Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Edition 1, Author: Martin Wirsing
Title: Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java, Author: Matthias Holzl
Title: Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / Edition 1, Author: Martin Wirsing
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Elementare Aussagenlogik, Author: Friedrich L. Bauer
Title: Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Author: Martin Wirsing
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
Title: Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers / Edition 1, Author: Martin Wirsing
Online Only
Reward Card: Get
$15
For Every $100 You Spend
Hurry, Offer Ends 8/27/17
See Details
Title: Algebraic Methods: Theory, Tools and Applications / Edition 1, Author: Martin Wirsing
Title: Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings / Edition 1, Author: Martin Wirsing
Title: Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / Edition 1, Author: Martin Wirsing
Title: Software-Intensive Systems and New Computing Paradigms: Challenges and Visions / Edition 1, Author: Martin Wirsing