Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-34 of 34 results for author "Wirsing, M. (Martin)"
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings / R. Cori, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2170 Offsite Not available - Please for assistance.STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings / edited by F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 88-648 Offsite Not available - Please for assistance.Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszynski, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-815 Offsite Not available - Please for assistance.Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-1053 Offsite Not available - Please for assistance.Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-943 Offsite Not available - Please for assistance.Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1217 Offsite Not available - Please for assistance.Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1121 Offsite Not available - Please for assistance.Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2755Item details Format Call Number Item Location Text JSE 04-832 Offsite Not available - Please for assistance.Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers / Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1015 Offsite Not available - Please for assistance.Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings / Nora Koch, Piero Fraternali, Martin Wirsing (eds.).
- Text
- Berlin : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-916 Offsite Not available - Please for assistance.Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszynski, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1991 Off-site Not available - Please for assistance.Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M4543 1991 Off-site Not available - Please for assistance.Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 I5773 1992 Off-site Not available - Please for assistance.Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1996 Off-site Not available - Please for assistance.Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 W33 2002 Off-site Not available - Please for assistance.Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers / Martin Wirsing, Alexander Knapp, Simonetta Balsamo, Eds.
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .R325 2004 Off-site Not available - Please for assistance.Web engineering : 4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings / Nora Koch, Piero Fraternali, Martin Wirsing (eds.).
- Text
- Berlin : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text TK5105.888 .I28 2004g Off-site Not available - Please for assistance.Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.
- Text
- New York : Springer Science+Business Media, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA9.54 .P64 2005 Off-site Not available - Please for assistance.Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings / Dang Van Hung, Martin Wirsing (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .T47 2005g Off-site Not available - Please for assistance.STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987 : proceedings / edited by F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing.
- Text
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S958 1987 Off-site Not available - Please for assistance.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 / edited by Martin Wirsing.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .I25 1986g Off-site Not available - Please for assistance.STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings / R. Cori, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1988], ©1988.
- 1988-1988
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S958 1988 Off-site Not available - Please for assistance.Software-intensive systems and new computing paradigms : challenges and visions / Martin Wirsing [and others] (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .S648 2008g Off-site Not available - Please for assistance.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 / Marsha Chechik ; Martin Wirsing (eds.)
- Text
- Berlin ; New York : Springer, 2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .F44 2009 Off-site Not available - Please for assistance.Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 A44 1989 Off-site Not available - Please for assistance.Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .I5713 1996 Off-site Not available - Please for assistance.STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987 / edited by F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S958 1987 Off-site Not available - Please for assistance.STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings / R. Cori, M. Wirsing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S958 1988 Off-site Not available - Please for assistance.Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.
- Text
- 1989-present
- 2 Items
Item details Format Call Number Item Location Text QA76.76.D47A44 1989 Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.76.D47A44 1989 Off-site Not available - Please for assistance.Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszynski, M. Wirsing, eds.
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7.I5773 1991 Off-site Not available - Please for assistance.Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).
- Text
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.6.M4543 1991 Off-site Not available - Please for assistance.Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1992 Off-site Not available - Please for assistance.Algebraic methods : theory, tools, and applications / M. Wirsing, J.A. Bergstra, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1989-
- 1989-present
- 2 Items
Item details Format Call Number Item Location Text QA76.76.D47 A44 1989 Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.76.D47 A44 1989 Off-site Not available - Please for assistance.Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .I5773 1992 Off-site Not available - Please for assistance.
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
