Martin Wirsing - Böcker

Visar alla böcker från författaren Martin Wirsing.
22 produkter
Iman Poernomo, John N. Crossley, Martin Wirsing, John N Crossley - Adapting Proofs-as-Programs, Inbunden

Adapting Proofs-as-Programs

Av Iman Poernomo, John N. Crossley, Martin Wirsing, John N Crossley

Inbunden, Engelska, 2005

2 109 kr

Skickas inom 7-10 vardagar
Iman Poernomo, John N. Crossley, Martin Wirsing - Adapting Proofs-as-Programs, Häftad

Adapting Proofs-as-Programs

Av Iman Poernomo, John N. Crossley, Martin Wirsing

Häftad, Engelska, 2010

2 109 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer, Matthias Holzl - Software Engineering for Collective Autonomic Systems, Häftad

Software Engineering for Collective Autonomic Systems

Av Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer, Matthias Holzl

Häftad, Engelska, 2015

729 kr

Skickas inom 7-10 vardagar
Songmao Zhang, Martin Wirsing, Zili Zhang - Knowledge Science, Engineering and Management, Häftad

Knowledge Science, Engineering and Management

Av Songmao Zhang, Martin Wirsing, Zili Zhang

Häftad, Engelska, 2015

729 kr

Skickas inom 7-10 vardagar
Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing - STACS 87, Häftad
Del 247 - Lecture Notes in Computer Science

STACS 87

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

Häftad, Engelska, 1987

689 kr

Skickas inom 7-10 vardagar
Robert Cori, Martin Wirsing - STACS 88, Häftad
Del 294 - Lecture Notes in Computer Science

STACS 88

Av Robert Cori, Martin Wirsing

Häftad, Engelska, 1988

709 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Dirk Pattinson, Rolf Hennicker - Recent Trends in Algebraic Development Techniques, Häftad
Del 2755 - Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

Av Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Häftad, Engelska, 2003

729 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Alexander Knapp, Simonetta Balsamo - Radical Innovations of Software and Systems Engineering in the Future, Häftad
Del 2941 - Lecture Notes in Computer Science

Radical Innovations of Software and Systems Engineering in the Future

Av Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Häftad, Engelska, 2004

729 kr

Skickas inom 7-10 vardagar
Nora Koch, Piero Fraternali, Martin Wirsing - Web Engineering, Häftad
Del 3140 - Lecture Notes in Computer Science

Web Engineering

Av Nora Koch, Piero Fraternali, Martin Wirsing

Häftad, Engelska, 2004

1 449 kr

Skickas inom 7-10 vardagar
Dang Van Hung, Martin Wirsing - Theoretical Aspects of Computing - ICTAC 2005, Häftad

Theoretical Aspects of Computing - ICTAC 2005

Av Dang Van Hung, Martin Wirsing

Häftad, Engelska, 2005

1 449 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Jan A. Bergstra - Algebraic Methods: Theory, Tools and Applications, Häftad
Del 394 - Lecture Notes in Computer Science

Algebraic Methods: Theory, Tools and Applications

Av Martin Wirsing, Jan A. Bergstra

Häftad, Engelska, 1989

1 449 kr

Skickas inom 7-10 vardagar
Friedrich L. Bauer, Martin Wirsing, Friedrich L. Bauer, Martin Wirsing - Elementare Aussagenlogik, Häftad

Elementare Aussagenlogik

Av Friedrich L. Bauer, Martin Wirsing, Friedrich L. Bauer, Martin Wirsing

Häftad, Tyska, 1991

729 kr

Skickas inom 7-10 vardagar
Jan Maluszynski, Martin Wirsing - Programming Language Implementation and Logic Programming, Häftad
Del 528 - Lecture Notes in Computer Science

Programming Language Implementation and Logic Programming

Av Jan Maluszynski, Martin Wirsing

Häftad, Engelska, 1991

709 kr

Skickas inom 7-10 vardagar
Manfred Broy, Martin Wirsing - Methods of Programming, Häftad
Del 544 - Lecture Notes in Computer Science

Methods of Programming

Av Manfred Broy, Martin Wirsing

Häftad, Engelska, 1991

729 kr

Skickas inom 7-10 vardagar
Maurice Bruynooghe, Martin Wirsing - Programming Language Implementation and Logic Programming, Häftad
Del 631 - Lecture Notes in Computer Science

Programming Language Implementation and Logic Programming

Av Maurice Bruynooghe, Martin Wirsing

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Maurice Nivat - Algebraic Methodology and Software Technology, Häftad
Del 1101 - Lecture Notes in Computer Science

Algebraic Methodology and Software Technology

Av Martin Wirsing, Maurice Nivat

Häftad, Engelska, 1996

1 449 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer - Software-Intensive Systems and New Computing Paradigms, Häftad

Software-Intensive Systems and New Computing Paradigms

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

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 vardagar
Marsha Chechik, Martin Wirsing - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Marsha Chechik, Martin Wirsing

Häftad, Engelska, 2009

729 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Martin Hofmann, Axel Rauschmayer - Trustworthy Global Computing, Häftad

Trustworthy Global Computing

Av Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Häftad, Engelska, 2010

729 kr

Skickas inom 7-10 vardagar
Martin Wirsing, Matthias Hölzl - Rigorous Software Engineering for Service-Oriented Systems, Häftad

Rigorous Software Engineering for Service-Oriented Systems

Av Martin Wirsing, Matthias Hölzl

Häftad, Engelska, 2011

1 449 kr

Skickas inom 7-10 vardagar
Matthias Hölzl, Allaithy Raed, Martin Wirsing - Java kompakt, Häftad

Java kompakt

Av Matthias Hölzl, Allaithy Raed, Martin Wirsing

Häftad, Tyska, 2013

689 kr

Skickas inom 7-10 vardagar