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

1

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

2

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) (Leuven, Belgium))
Group Author: (Maurice); Wirsing M.; (Martin); Bruynooghe M.
Published: Springer-Verlag,
Publication Dates: c1992.
Call Number: TP312-532/P964/1992/

Book

3

Cover is for reference only

PARLE '91：parallel architectures and languages Europe

Corporate Authors: Conference on Parallel Architectures and Languages Europe (1991 Eindhoven, Netherlands)
Group Author: (Emile H. L.); Leeuwen J. van; (Jan); Rem M.; (Martin); Aarts E. H. L.
Published: Springer-Verlag,
Publication Dates: c1991.
Call Number: TP338.6-53/P222.5/1991/

Book

4

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

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

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

7

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

8

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

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

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

11

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

12

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) (Munich))
Group Author: (Martin); Nivat Maurice.; Wirsing M.
Published: Springer-Verlag,
Publication Dates: c1996.
Call Number: TP311.5-532/I61/1996/

Book

13

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.; M. 1941- Wirsing M.; (Martin)
Published: Springer-Verlag,
Publication Dates: c1991.

Book

14

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

15

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

16

Cover is for reference only

Parameterized and exact computation：third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings

Corporate Authors: IWPEC 2008 (2008 Victoria, B.C.); SpringerLink (Online service)
Group Author: (Martin); Niedermeier Rolf.; Grohe M.
Published: Springer,
Publication Dates: c2008.

Book

17

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

18

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) (York, England)); SpringerLink (Online service)
Group Author: Wirsing M.; (Martin); Chechik Marsha.
Published: Springer,
Publication Dates: c2009.

Book

Narrow Search