Martin Wirsing – författare

Visar alla böcker från författaren Martin Wirsing. Handla med fri frakt och snabb leverans.

36 produkter

1. 

   Adapting Proofs-as-Programs

   The Curry--Howard Protocol

   Av Iman Poernomo, John N. Crossley m. fl.

   Inbunden, 2005

   1641 kr

   Lägg i varukorg

   This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …

2. 

   Adapting Proofs-as-Programs

   The Curry--Howard Protocol

   Av Martin Wirsing, John N. Crossley m. fl.

   E-bok, 2007

   2111 kr

   Lägg i varukorg

   This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …

3. 

   Adapting Proofs-as-Programs

   The Curry--Howard Protocol

   Av Iman Poernomo, John N. Crossley m. fl.

   Häftad, 2010

   1641 kr

   Lägg i varukorg

   This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs …

4. 

   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

   Av Mauro Calise, Carlos Delgado Kloos m. fl.

   Häftad, 2019

   535 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) …

5. 

   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

   Av Martin Wirsing, Jose A. Ruiperez-Valiente m. fl.

   E-bok, 2019

   698 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers presented in this volume were carefully reviewed and selected from 42 submissions. Massive Open Online Courses (MOOCs) …

6. 

   Software Engineering for Collective Autonomic Systems

   The ASCENS Approach

   Av Martin Wirsing, Matthias Hölzl m. fl.

   Häftad, 2015

   568 kr

   Lägg i varukorg

   A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of …

7. 

   Software Engineering for Collective Autonomic Systems

   The ASCENS Approach

   Av Philip Mayer, Nora Koch m. fl.

   E-bok, 2015

   755 kr

   Lägg i varukorg

   A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of …

8. 

   Knowledge Science, Engineering and Management

   8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

   Av Songmao Zhang, Martin Wirsing m. fl.

   Häftad, 2015

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and …

9. 

   Knowledge Science, Engineering and Management

   8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

   Av Zili Zhang, Martin Wirsing m. fl.

   E-bok, 2015

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and …

10. 

    STACS 87

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

    Av Franz J. Brandenburg, Guy Vidal-Naquet m. fl.

    Häftad, 1987

    534 kr

    Lägg i varukorg

11. 

    STACS 88

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

    Av Robert Cori, Martin Wirsing

    Häftad, 1988

    552 kr

    Lägg i varukorg

    This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which …

12. 

    Recent Trends in Algebraic Development Techniques

    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

    Av Martin Wirsing, Dirk Pattinson m. fl.

    Häftad, 2003

    568 kr

    Lägg i varukorg

    This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of …

13. 

    Radical Innovations of Software and Systems Engineering in the Future

    9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

    Av Martin Wirsing, Alexander Knapp m. fl.

    Häftad, 2004

    568 kr

    Lägg i varukorg

    This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the …

14. 

    Web Engineering

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

    Av Nora Koch, Piero Fraternali m. fl.

    Häftad, 2004

    1129 kr

    Lägg i varukorg

    Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to …

15. 

    Radical Innovations of Software and Systems Engineering in the Future

    9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

    Av Simonetta Balsamo, Alexander Knapp m. fl.

    E-bok, 2004

    755 kr

    Lägg i varukorg

    This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the …

16. 

    Web Engineering

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

    Av Martin Wirsing, Piero Fraternali m. fl.

    E-bok, 2004

    1502 kr

    Lägg i varukorg

    Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to …

17. 

    Theoretical Aspects of Computing - ICTAC 2005

    Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

    Av Dang Van Hung, Martin Wirsing

    Häftad, 2005

    1129 kr

    Lägg i varukorg

    This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University …

18. 

    Theoretical Aspects of Computing - ICTAC 2005

    Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

    Av Martin Wirsing, Dang Van Hung

    E-bok, 2005

    1470 kr

    Lägg i varukorg

    This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17–21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University …

19. 

    Recent Trends in Algebraic Development Techniques

    16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

    Av Rolf Hennicker, Dirk Pattinson m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

20. 

    Algebraic Methods: Theory, Tools and Applications

    Av Martin Wirsing, Jan A. Bergstra

    Häftad, 1989

    1129 kr

    Lägg i varukorg

21. 

    Elementare Aussagenlogik

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

    Häftad, 1991

    567 kr

    Lägg i varukorg

    Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer …

22. 

    Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

    Av Jan Maluszynski, Martin Wirsing

    Häftad, 1991

    552 kr

    Lägg i varukorg

    This volume contains the papers which have been accepted forpresentation atthe Third International Symposium onProgramming Language Implementation andLogic Programming(PLILP '91) held in Passau, Germany, August 26-28, 1991. Theaim of the symposium was to explore new declarativeconcepts, methods and …

23. 

    Methods of Programming

    Selected Papers on the CIP-Project

    Av Manfred Broy, Martin Wirsing

    Häftad, 1991

    568 kr

    Lägg i varukorg

    The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a …

24. 

    Programming Language Implementation and Logic Programming

    4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

    Av Maurice Bruynooghe, Martin Wirsing

    Häftad, 1992

    568 kr

    Lägg i varukorg

    This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques …

25. 

    Algebraic Methodology and Software Technology

    5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

    Av Martin Wirsing, Maurice Nivat

    Häftad, 1996

    1129 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also …

26. 

    Software-Intensive Systems and New Computing Paradigms

    Challenges and Visions

    Av Martin Wirsing, Jean-Pierre Banatre m. fl.

    Häftad, 2008

    568 kr

    Lägg i varukorg

    Software-intensive systems have become increasingly important for a multitude of products and services from all sectors of the economy, our national and - ternational infrastructure, and our daily lives. The ongoing decrease in size and cost of microprocessorsandstoragedevicesis leading to the …

27. 

    Software-Intensive Systems and New Computing Paradigms

    Challenges and Visions

    Av Axel Rauschmayer, Matthias Holzl m. fl.

    E-bok, 2008

    739 kr

    Lägg i varukorg

28. 

    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

    Av Marsha Chechik, Martin Wirsing

    Häftad, 2009

    568 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers …

29. 

    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

    Av Martin Wirsing, Marsha Chechik

    E-bok, 2009

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers …

30. 

    Trustworthy Global Computing

    5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

    Av Martin Wirsing, Martin Hofmann m. fl.

    Häftad, 2010

    568 kr

    Lägg i varukorg

    Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular …