Martin Wirsing | Booky.fi

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996.

Wirsing, Martin; Nivat, Maurice
Springer
1996
Pehmeäkantinen kirja

100,90 €

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany,

Wirsing, Martin; Pattinson, Dirk; Hennicker, Rolf
Springer
2003
Pehmeäkantinen kirja

51,10 €

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice,

Wirsing, Martin; Knapp, Alexander; Balsamo, Simonetta
Springer
2004
Pehmeäkantinen kirja

51,10 €

Algebraic Methods: Theory, Tools and Applications

Wirsing, Martin; Bergstra, Jan A.
Springer
1989
Pehmeäkantinen kirja

100,90 €

Software-Intensive Systems and New Computing Paradigms - Challenges and Visions

Wirsing, Martin; Banatre, Jean-Pierre; Hölzl, Matthias; Rauschmayer, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Trustworthy Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Pa

Wirsing, Martin; Hofmann, Martin; Rauschmayer, Axel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service

Wirsing, Martin; Hölzl, Matthias
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

100,90 €

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Wirsing, Martin; Hölzl, Matthias; Koch, Nora; Mayer, Philip
Springer
2015
Pehmeäkantinen kirja

51,10 €

Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Co

Chechik, Marsha; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer
2005
Kovakantinen kirja

134,00 €

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988;

Cori, Robert; Wirsing, Martin
Springer
1988
Pehmeäkantinen kirja

51,10 €

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium,

Bruynooghe, Maurice; Wirsing, Martin
Springer
1992
Pehmeäkantinen kirja

51,10 €

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

Brandenburg, Franz J.; Vidal-Naquet, Guy; Wirsing, Martin
Springer
1987
Pehmeäkantinen kirja

48,10 €

Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August

Maluszynski, Jan; Wirsing, Martin
Springer
1991
Pehmeäkantinen kirja

51,10 €

Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceeding

Hung, Dang Van; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

100,90 €

Methods of Programming : Selected Papers on the CIP-Project

Broy, Manfred; Wirsing, Martin
Springer
1991
Pehmeäkantinen kirja

51,10 €

Web Engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Koch, Nora; Fraternali, Piero; Wirsing, Martin
Springer
2004
Pehmeäkantinen kirja

100,90 €

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer
2010
Pehmeäkantinen kirja

134,00 €

Adapting Proofs-As-Programs

Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin
SPRINGER VERLAG GMBH
2008
Pehmeäkantinen kirja

63,00 €

Java kompakt - Eine Einführung in die Software-Entwicklung mit Java

Hölzl, Matthias; Raed, Allaithy; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

47,90 €