Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)
by Martin Wirsing, Alexander Knapp, Simonetta Balsamo
ISBN 13: 9783540211792
Format: Paperback (359 pages) Publisher: Springer Published: 18 Mar 2004
Save for later
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)
by
ISBN 13: 9783642005923
Format: Paperback (488 pages) Publisher: Springer Published: 09 Mar 2009
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540894360
Format: Paperback (267 pages) Publisher: Springer Published: 06 Nov 2008
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing ... / Programming and Software Engineering)
ISBN 13: 9783642204005
Format: Paperback (747 pages) Publisher: Springer Published: 09 May 2011
Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings: 3140 (Lecture Notes in Computer Science)
by Piero Fraternali,Nora Koch,Martin Wirsing
ISBN 13: 9783540225119
Format: Illustrated (652 pages) Publisher: Springer Published: 13 Jun 2008
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings: 528 (Lecture Notes in Computer Science)
by Martin Wirsing,Jan Maluszynski
ISBN 13: 9783540544449
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008
Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science)
by Manfred Broy,Martin Wirsing
ISBN 13: 9783540545767
Format: Paperback (288 pages) Publisher: Springer Published: 13 Jun 2008
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium Hanoi, Vietnam, October 17-21, 2005 Proceedings: 3722 (Lecture Notes in Computer Science)
by Dang Van Hung,Martin Wirsing
ISBN 13: 9783540291077
Format: Paperback (632 pages) Publisher: Springer Published: 22 Feb 2009
Adapting Proofs-as-Programs: The Curry - Howard Protocol (Monographs in Computer Science)
by Iman Poernomo,John N. Crossley,Martin Wirsing
ISBN 13: 9780387237596
Format: Illustrated (436 pages) Publisher: Springer Published: 29 Jul 2005
Software Engineering for Collective Autonomic Systems: The ASCENS Approach: 8998 (Lecture Notes in Computer Science)
by Martin Wirsing,Matthias Hölzl,Nora Koch,Philip Mayer
ISBN 13: 9783319163093
Format: Paperback (552 pages) Publisher: Springer Published: 24 Jun 2015
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings: 9403 (Lecture Notes in Computer Science)
by Songmao Zhang,Martin Wirsing,Zili Zhang
ISBN 13: 9783319251585
Format: Paperback (858 pages) Publisher: Springer Published: 02 Oct 2015
Programming Language Implementation and Logic Programming: 4Th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings (Lecture Notes In Computer Science): 631
by Maurice Bruynooghe,Martin Wirsing
ISBN 13: 9783540558446
Format: Paperback (508 pages) Publisher: Springer Published: 12 Aug 1992