Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing

Adapting Proofs-as-Programs (The Curry - Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, J. N. Crossley, Martin Wirsing

£128

Adapting Proofs-as-Programs (The Curry--Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing

Adapting Proofs-as-Programs (The Curry--Howard Protocol (Monographs in Computer Science))

By Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing

£130

Software Engineering for Collective Autonomic Systems (The ASCENS Approach (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer

Software Engineering for Collective Autonomic Systems (The ASCENS Approach (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer

£52.38

Knowledge Science, Engineering and Management (8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings (Lecture Notes in Artificial Intelligence))

By Songmao Zhang, Martin Wirsing, Zili Zhang

Knowledge Science, Engineering and Management (8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings (Lecture Notes in Artificial Intelligence))

By Songmao Zhang, Martin Wirsing, Zili Zhang

£45.59

STACS 87 (4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing

STACS 87 (4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing

£43.08

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

Theoretical Aspects of Computer Science,Stacs 88 1988 (5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Robert Cori, Martin Wirsing

£45.01

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Recent Trends in Algebraic Development Techniques (16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Dirk Pattinson, Rolf Hennicker

£45.03

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Radical Innovations of Software and Systems Engineering in the Future (9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers (Lecture Notes in Computer Science))

By Martin Wirsing, Alexander Knapp, Simonetta Balsamo

£45.04

Web Engineering (4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nora Koch, Piero Fraternali, Martin Wirsing

Web Engineering (4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Nora Koch, Piero Fraternali, Martin Wirsing

£88.77

Theoretical Aspects of Computing - ICTAC 2005 (Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Dang van Hung, Martin Wirsing

Theoretical Aspects of Computing - ICTAC 2005 (Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Dang van Hung, Martin Wirsing

£89.40

Algebraic Methods (Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Jan A. Bergstra

Algebraic Methods (Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Jan A. Bergstra

£89.33

Elementare Aussagenlogik [German] (Mathematik fur Informatiker)

By Bauer, Friedrich L., Wirsing, Martin

Elementare Aussagenlogik [German] (Mathematik fur Informatiker)

By Bauer, Friedrich L., Wirsing, Martin

£54.05

Programming Language Implementation and Logic Programming (3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan Maluszynski, Martin Wirsing

Programming Language Implementation and Logic Programming (3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan Maluszynski, Martin Wirsing

£45.02

Methods of Programming (Selected Papers on the CIP-Project (Lecture Notes in Computer Science))

By Manfred Broy, Martin Wirsing

Methods of Programming (Selected Papers on the CIP-Project (Lecture Notes in Computer Science))

By Manfred Broy, Martin Wirsing

£45.04

Programming Language Implementation and Logic Programming (4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992 - Proceedings (Lecture Notes in Computer Science))

By Maurice Bruynooghe, Martin Wirsing

Programming Language Implementation and Logic Programming (4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992 - Proceedings (Lecture Notes in Computer Science))

By Maurice Bruynooghe, Martin Wirsing

£45.06

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

£88.77

Software-Intensive Systems and New Computing Paradigms (Challenges and Visions (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Martin Wirsing, Jean Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

Software-Intensive Systems and New Computing Paradigms (Challenges and Visions (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Martin Wirsing, Jean Pierre Banatre, Matthias Hölzl, Axel Rauschmayer

£44.99

Fundamental Approaches to Software Engineering (12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings (Lecture Notes in Computer ..)

By Marsha Chechik, Martin Wirsing

Fundamental Approaches to Software Engineering (12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings (Lecture Notes in Computer ..)

By Marsha Chechik, Martin Wirsing

£45.09

Rigorous Software Engineering for Service-Oriented Systems (Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (Programming and Software Engineering))

By Martin Wirsing, Matthias Holzl

Rigorous Software Engineering for Service-Oriented Systems (Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (Programming and Software Engineering))

By Martin Wirsing, Matthias Holzl

£89.13

Java Kompakt [German] (Eine Einführung in Die Software-Entwicklung Mit Java (eXamen.Press))

By Hölzl, Matthias, Raed, Allaithy, Martin Wirsing

Java Kompakt [German] (Eine Einführung in Die Software-Entwicklung Mit Java (eXamen.Press))

By Hölzl, Matthias, Raed, Allaithy, Martin Wirsing

£40.09

View:
Safe Search(?):