馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Programming language implementation and logic programming：4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings

Corporate Authors: International Symposium, PLILP '92 1992 Leuven, Belgium)
Group Author: (Maurice); Wirsing M.; (Martin); Bruynooghe M.
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP312-532/P964/1992/

Book

2

Cover is for reference only

Methods of programming：selected papers on the CIP-project

Group Author: Broy M. Manfred 1949-; Wirsing M; Martin
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP311.1/M592/

Book

3

Cover is for reference only

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

Corporate Authors: Symposium on Theoretical Aspects of Computer Science (5th 1988 Bordeaux, France
Group Author: Cori Robert; Wirsing M; Martin
Published: Springer-Verlag,
Publication Dates: c1988.
Call Number: TP303-53/S989/1988/

Book

4

Cover is for reference only

Programming language implementation and logic programming：3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings

Group Author: Maluszy'ski J.; (Jan), 1941- Wirsing M.; (Martin)
Published: Springer-Verlag,
Publication Dates: c1991.

Book

5

Cover is for reference only

Algebraic methods：theory, tools, and applications

Group Author: Wirsing M; Martin; Bergstra J. A
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP312-53/A394/1987/

Book

6

Cover is for reference only

Software-intensive systems and new computing paradigms：challenges and visions

Corporate Authors: SpringerLink (Online service)
Group Author: (Martin); Wirsing M.
Published: Springer-Verlag,
Publication Dates: c2008.

Book

7

Cover is for reference only

STACS 87：4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings

Corporate Authors: Symposium on Theoretical Aspects of Computer Science (4th 1987 Passau, Germany
Group Author: Brandenburg F. J; Franz J; Vidal-Naquet G; Wirsing M; Martin
Published: Springer-Verlag,
Publication Dates: c1987.
Call Number: TP301-53/S989/1987/

Book

8

Cover is for reference only

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

Corporate Authors: FASE 2009 (2009 York, England); ETAPS 2009 (2009 York, England); SpringerLink (Online service)
Group Author: Wirsing M.; (Martin); Chechik Marsha.
Published: Springer,
Publication Dates: c2009.

Book

9

Cover is for reference only

Web engineering：4th international conference, ICWE 2004, Munich, Germany, July 26-30, 2004 ; proceedings

Corporate Authors: ICWE 2004 (2004 Munich, Germany; LINK Online service
Group Author: Koch Nora; Fraternali Piero; Wirsing M; Martin
Published: Springer,
Publication Dates: 2004.
Call Number: TP393.092-532/I613-1/2004

Book

10

Cover is for reference only

Algebraic methodology and software technology：5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

Corporate Authors: International Conference on Algebraic Methodology and Software Technology 1996 Munich)
Group Author: (Martin); Nivat Maurice.; Wirsing M.
Published: Springer-Verlag,
Publication Dates: c1996.
Call Number: TP311.5-532/I61/1996/

Book

11

Cover is for reference only

Rigorous software engineering for service-oriented systems：results of the SENSORIA project on software engineering for service-oriented computing

Corporate Authors: SpringerLink (Online service)
Group Author: (Martin); Hölzl Matthias.; Wirsing M.
Published: Springer,
Publication Dates: 2011.

Book

12

Cover is for reference only

Theoretical aspects of computing -- ICTAC 2005：second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Corporate Authors: ICTAC 2005 (2005 Hanoi, Vietnam
Group Author: Dang Hung Van 1950-; Wirsing M; Martin
Published: Springer,
Publication Dates: c2005.
Call Number: TP30-532/T396/2005

Book

13

Cover is for reference only

Trustworthly [ie: Trustworthy] global computing：5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Corporate Authors: TGC 2010 (2010 Munich, Germany); SpringerLink (Online serveice)
Group Author: (Martin); Hofmann Martin; Rauschmayer Axel.; Wirsing M.
Published: Springer-Verlag,
Publication Dates: 2010.

Book

14

Cover is for reference only

Theoretical aspects of computing - ICTAC 2005：second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Corporate Authors: ICTAC 2005 (2005 Hanoi, Vietnam); LINK (Online service)
Group Author: Dang Hung Van, 1950-; Wirsing M.; (Martin)
Published: Springer,
Publication Dates: 2005.

Book

15

Cover is for reference only

Radical innovations of software and systems engineering in the future：9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 : revised papers

Group Author: Wirsing M; Martin; Knapp Alexander 1971-; Balsamo Simonetta
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.5-1/R129/2002

Book

16

Cover is for reference only

Recent trends in algebraic development techniques：16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Corporate Authors: WADT 2002 (2002 Frauenchiemsee, Germany)
Group Author: Wirsing M.; (Martin); Pattinson Dirk, 1970-; Hennicker Rolf, 1952-
Published: Springer-Verlag,
Publication Dates: c2003.
Call Number: TP301.6-532/W926.4/2002

Book

17

Cover is for reference only

Adapting proofs-as-programs：the Curry-Howard protocol

Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Crossley John N.; Wirsing M.; (Martin)
Published: Springer
Publication Dates: c2005.
Call Number: O141/P745

Book

18

Cover is for reference only

Adapting proofs-as-programs：the Curry-Howard protocol

Main Authors: Poernomo Iman Hafiz, 1976-
Group Author: Wirsing M.; (Martin); Crossley John N.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search