Martin Wirsing

Martin Wirsing come Con la collaborazione di Mostra tutti e 11 i risultati

Mauro Calise, Carlo Delgado Kloos, Carlos Delgado Kloos, Justin Reich, Justin Reich et al, … - Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings
Mauro Calise, Carlo Delgado Kloos, Carlos Delgado Kloos, Justin Reich, Justin Reich et al, … Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge Inglese 01.01.2019 Tascabile CHF 70.00
6-7 settimane
Hölzl, Hölzl, Matthias Hölzl, Marti Wirsing, Martin Wirsing - Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Hölzl, Hölzl, Matthias Hölzl, Marti Wirsing, Martin Wirsing Rigorous Software Engineering for Service-Oriented Systems Inglese 11.03.2011 Tascabile CHF 135.00
6-7 settimane
Franz J. Brandenburg, Gu Vidal-Naquet, Guy Vidal-Naquet, Martin Wirsing - STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987
Franz J. Brandenburg, Gu Vidal-Naquet, Guy Vidal-Naquet, Martin Wirsing STACS 87 Inglese 29.06.2009 Tascabile CHF 66.00
4-7 giorni lavorativi
Rolf Hennicker, Dirk Pattinson, Martin Wirsing - Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Rolf Hennicker, Dirk Pattinson, Martin Wirsing Recent Trends in Algebraic Development Techniques Inglese 19.02.2009 Tascabile CHF 70.00
6-7 settimane
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms Challenges and Visions
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms Inglese 06.11.2008 Tascabile CHF 69.00
4-7 giorni lavorativi
Manfre Broy, Manfred Broy, Wirsing, Wirsing, Martin Wirsing - Methods of Programming Selected Papers on the CIP-Project
Manfre Broy, Manfred Broy, Wirsing, Wirsing, Martin Wirsing Methods of Programming Inglese 29.10.2002 Tascabile CHF 69.00
4-7 giorni lavorativi
Mauric Bruynooghe, Maurice Bruynooghe, Wirsing, Wirsing, Martin Wirsing - Programming Language Implementation and Logic Programming 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings
Mauric Bruynooghe, Maurice Bruynooghe, Wirsing, Wirsing, Martin Wirsing Programming Language Implementation and Logic Programming Inglese 01.01.1960 Tascabile CHF 69.00
4-7 giorni lavorativi
Ja Maluszynski, Jan Maluszynski, Wirsing, Wirsing, Martin Wirsing - Programming Language Implementation and Logic Programming 3rd International Symposium, Passau, Germany, August 26-28, 1991. Proceedings
Ja Maluszynski, Jan Maluszynski, Wirsing, Wirsing, Martin Wirsing Programming Language Implementation and Logic Programming Inglese 01.01.1960 Tascabile CHF 69.00
4-7 giorni lavorativi
Nivat, Nivat, Maurice Nivat, Marti Wirsing, Martin Wirsing - Algebraic Methodology and Software Technology 5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings
Nivat, Nivat, Maurice Nivat, Marti Wirsing, Martin Wirsing Algebraic Methodology and Software Technology Inglese 01.01.1960 Tascabile CHF 134.00
4-7 giorni lavorativi
Rober Cori, Robert Cori, Wirsing, Wirsing, Martin Wirsing - STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988. Proceedings
Rober Cori, Robert Cori, Wirsing, Wirsing, Martin Wirsing STACS 88 Inglese 01.01.1960 Tascabile CHF 69.00
4-7 giorni lavorativi

Martin Wirsing come Autore Mostra tutti e 2 i risultati

J. Crossley, J. N. Crossley, John Crossley, John N Crossley, John N. Crossley, … - Adapting Proofs-as-Programs The Curry-Howard Protocol
J. Crossley, J. N. Crossley, John Crossley, John N Crossley, John N. Crossley, … Adapting Proofs-as-Programs Inglese 09.08.2005 Copertina rigida CHF 189.00
6-7 settimane
Friedrich Bauer, Friedrich L Bauer, Friedrich L. Bauer, Martin Wirsing - Elementare Aussagenlogik
Friedrich Bauer, Friedrich L Bauer, Friedrich L. Bauer, Martin Wirsing Elementare Aussagenlogik Tedesco 01.01.1991 Tascabile CHF 71.00
4-7 giorni lavorativi