Martin+Wirsing | Booky.fi

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

Wirsing, Martin; Nivat, Maurice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1996
Pehmeäkantinen kirja

101,40 €

Recent Trends in Algebraic Development Techniques - 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 2

Wirsing, Martin; Pattinson, Dirk; Hennicker, Rolf
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2003
Pehmeäkantinen kirja

51,40 €

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

Wirsing, Martin; Knapp, Alexander; Balsamo, Simonetta
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,40 €

Algebraic Methods: Theory, Tools and Applications

Wirsing, Martin; Bergstra, Jan A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja

101,40 €

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,40 €

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,40 €

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

101,40 €

Software Engineering for Collective Autonomic Systems - The ASCENS Approach

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

51,40 €

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,40 €

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

Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer-Verlag New York Inc.
2005
Kovakantinen kirja

134,60 €

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

Cori, Robert; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1988
Pehmeäkantinen kirja

51,40 €

Programming Language Implementation and Logic Programming - 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–2

Bruynooghe, Maurice; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja

51,40 €

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-Verlag Berlin and Heidelberg GmbH & Co. KG
1987
Pehmeäkantinen kirja

48,40 €

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

Maluszynski, Jan; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

51,40 €

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

101,40 €

Methods of Programming - Selected Papers on the CIP-Project

Broy, Manfred; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1991
Pehmeäkantinen kirja

51,40 €

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

Koch, Nora; Fraternali, Piero; Wirsing, Martin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

101,40 €

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

Poernomo, Iman; Crossley, John N.; Wirsing, Martin
Springer-Verlag New York Inc.
2010
Pehmeäkantinen kirja

134,60 €

Adapting Proofs-As-Programs

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

64,80 €

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

48,10 €