 | |
  | |
| Searching ... |
| 0 % | ||
| Only Books by Martin Wirsing | X |
  | | Stacs 87 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19-21, 1987 Proceedings (Lecture Notes in Computer Science) by Franz J. Brandenburg, G. Vidal-Naquet, M. Wirsing, Martin Wirsing Paperback, 483 Pages, Published 1987 by Springer Verlag ISBN-13: 978-0-387-17219-4, ISBN: 0-387-17219-X |
 | | Formal Description of Programming Concepts- III Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark 25-28 August, 1986 by Martin Wirsing Hardcover, 466 Pages, Published 1988 by Elsevier Science Ltd ISBN-13: 978-0-444-70253-1, ISBN: 0-444-70253-9 |
 | | Adapting Proofs-as-Programs(Reprint) The Curry--Howard Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Paperback, 420 Pages, Published 2010 by Springer ISBN-13: 978-1-4419-2014-0, ISBN: 1-4419-2014-5 "This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting pr ..." |
 | | Adapting Proofs-As-Programs by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Paperback, 436 Pages, Published 2008 by Springer Verlag Gmbh ISBN-13: 978-0-387-50372-1, ISBN: 0-387-50372-2 |
 | | Monographs in Computer Science Ser.(1st Edition) Adapting Proofs-As-Programs : The Curry-Howard Protocol by Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Digital, 420 Pages, Published 2007 by Springer ISBN-13: 978-0-387-28183-4, ISBN: 0-387-28183-5 "This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. One of the book’s central themes is a general, abstract framework for developing new systems of program synthe ..." |
 | | Monographs in Computer Science Ser. Adapting Proofs-As-Programs: the Curry--Howard Protocol by Martin Wirsing, Iman Hafiz Poernomo, John Newsome Crossley Published 2005 ISBN-13: 978-1-280-85185-8, ISBN: 1-280-85185-6 |
 | | Adapting Proofs-as-Programs The Curry--Howard Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley, John Newsomw Crossley Hardcover, 420 Pages, Published 2005 by Springer ISBN-13: 978-0-387-23759-6, ISBN: 0-387-23759-3 "This monograph details several important advances in the area known as the proofs-as-programs paradigm, a set of approaches to developing programs from proofs in constructive logic. It serves the dual purpose of providing a state-of-the-art overview of the field and detailing tools and techniques to stimulate further research. One of the bookâ€TMs central themes is a general, abstract framework for developing new systems of program synt ..." |
 | | Digital Education(1st Edition) At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, ... (Lecture Notes in Computer Science) by Mauro Calise, Carlos Delgado Kloos, Justin Reich, Martin Wirsing Paperback, 200 Pages, Published 2019 by Springer ISBN-13: 978-3-030-19874-9, ISBN: 3-030-19874-X "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) have marked a milestone in the use of technology for education. The reach, potential, and possibilities of EMOOCs are immense. But they are ..." |
 | | Software-Intensive Systems and New Computing Paradigms by Martin Wirsing Paperback ISBN-13: 978-3-540-89479-7, ISBN: 3-540-89479-9 |
 | | Knowledge Science, Engineering and Management(1st Edition) 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings (Lecture Notes in Computer Science) by Songmao Zhang, Martin Wirsing, Zili Zhang Paperback, 817 Pages, Published 2015 by Springer ISBN-13: 978-3-319-25158-5, ISBN: 3-319-25158-9 "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 reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concep ..." |
 | | Software Engineering for Collective Autonomic Systems The ASCENS Approach (Lecture Notes in Computer Science) by Martin Wirsing, Nora Koch, Philip Mayer, Matthias Hölzl Paperback, 535 Pages, Published 2015 by Springer ISBN-13: 978-3-319-16309-3, ISBN: 3-319-16309-4 "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 ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up ..." |
 | | Trustworthy Global Computing by Martin Wirsing, Martin Hofmann, Axel Rauschmayer Paperback, 392 Pages, Published 2011 by Springer ISBN-13: 978-3-642-15641-0, ISBN: 3-642-15641-X |
 | | Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing ... / Programming and Software Engineering) by Martin Wirsing, Matthias Hölzl Paperback, 737 Pages, Published 2011 by Springer ISBN-13: 978-3-642-20400-5, ISBN: 3-642-20400-7 "Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrator ..." |
 | | Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in Computer Science) by Martin Wirsing, Martin Hofmann, Axel Rauschmayer Paperback, 380 Pages, Published 2010 by Springer ISBN-13: 978-3-642-15639-7, ISBN: 3-642-15639-8 "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 regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infr ..." |
 | | STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings (Lecture Notes in Computer Science) by Robert Cori, Martin Wirsing Paperback, 408 Pages, Published 2008 by Springer ISBN-13: 978-3-540-18834-6, ISBN: 3-540-18834-7 "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 were included in this conference series in order to show applications of research results in theoretical compute ..." |
 | | Web Engineering 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings (Lecture Notes in Computer Science) by Nora Koch, Piero Fraternali, Martin Wirsing Paperback, 626 Pages, Published 2008 by Springer ISBN-13: 978-3-540-22511-9, ISBN: 3-540-22511-0 "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 the special characteristics of Web applications. Even more relevant is the enrichment with methods and techniques stemming from related areas ..." |
 | | Radical Innovations of Software and Systems Engineering in the Future by Martin Wirsing, Simonetta Balsamo, Alexander Knapp Paperback, 359 Pages, Published 2008 by Springer ISBN-13: 978-3-540-21179-2, ISBN: 3-540-21179-9 "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 fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the ..." |
 | | Radical Innovations of Software and Systems Engineering in the Future(1st Edition) 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers by Martin Wirsing, Alexander Knapp, Simonetta Balsamo Digital, 359 Pages, Published 2005 by Springer ISBN-13: 978-3-540-24626-8, ISBN: 3-540-24626-6 "This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and ..." |
 | | Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues) by Dang Van Hung, Martin Hung Wirsing, Martin Wirsing Paperback, 618 Pages, Published 2005 by Springer ISBN-13: 978-3-540-29107-7, ISBN: 3-540-29107-5 "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 (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in the ..." |
All Authors
All Bindings
All Editions
All Years
All Regions
Martin Wirsing
All Bindings
All Editions
All Years
All Regions