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

1

Cover is for reference only

Formal methods for open object-based distributed systems：10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings

Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway); SpringerLink (Online service); IFIP Working Group 6.1.
Group Author: Boer Frank S. de.; Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2008.

Book

2

Cover is for reference only

Formal methods for components and objects：8th international symposium, FMCO 2009, Eindhoven, the Netherlands, November 4-6, 2009 : revised selected papers

Corporate Authors: FMCO 2009 (2009 Eindhoven, Netherlands); SpringerLink (Online service)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: 2010.

Book

3

Cover is for reference only

Formal methods for components and objects：6th international symposium FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007, revised papers

Corporate Authors: FMCO 2007 (2007 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Boer Frank S. de. (Editor)
Published: Springer,
Publication Dates: 2008.

Book

4

Cover is for reference only

Formal methods for components and objects：5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

Corporate Authors: FMCO 2006 (2006 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2007.

Book

5

Cover is for reference only

Formal methods for components and objects：4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures

Corporate Authors: FMCO 2005 (2005 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2006.

Book

6

Cover is for reference only

Formal methods for components and objects：4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures

Corporate Authors: FMCO 2005 (2005 Amsterdam, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.11-532/F723/2005

Book

7

Cover is for reference only

Formal methods for components and objects：third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures

Corporate Authors: FMCO 2004 (2004 Leiden, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2005.

Book

8

Cover is for reference only

Formal methods for components and objects：second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures

Corporate Authors: FMCO 2003 (2003 Leiden, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.11-532/F723/2003

Book

9

Cover is for reference only

Formal methods for components and objects：first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

Corporate Authors: FMCO 2002 (2002 Leiden, Netherlands)
Group Author: Boer Frank S. de.
Published: Springer-Verlag,
Publication Dates: c2003.
Call Number: TP311.11-532/F723/2002

Book

10

Cover is for reference only

Formal methods for components and objects：7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Corporate Authors: FMCO 2008 (2008 Sophia Antipolis, France); SpringerLink (Online service)
Group Author: Bonsangue Marcello M.; Madelaine Eric.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.

Book

11

Cover is for reference only

Verification of sequential and concurrent programs

Main Authors: Apt Krzysztof R., 1949-
Corporate Authors: SpringerLink (Online service)
Group Author: Olderog E.-R.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.

Book

12

Cover is for reference only

Plant pathogenic bacteria：proceedings of the 10th International Conference on Plant Pathogenic Bacteria, Charlottetown, Prince Edward Island, Canada, July 23-27, 2000

Corporate Authors: International Conference on Plant Pathogenic Bacteria (10th 2000 Charlottetown, P.E.I.)
Group Author: De Boer S.; (S. H.)
Published: Kluwer Academic Publishers,
Publication Dates: c2001.
Call Number: S432.4-53/I61.3/2000

Book

13

Cover is for reference only

Biographical dictionary of dissidents in the Soviet Union, 1956-1975

Corporate Authors: Universiteit van Amsterdam. Oost-Europa Instituut
Group Author: Boer S. P. de; Driessen E. J; Verhaar H. L
Published: M. Nijhoff Distributors for the U.S. and Canada, Kluwer Boston,
Publication Dates: 1982.
Call Number: K835.127.54-61/B615/

Book

14

Cover is for reference only

Biotechnology and plant disease management

Group Author: Punja Zamir K.; De Boer S.; (S. H.); Sanfaçon Hélène.
Published: Cabi Pub.,
Publication Dates: c2007.
Call Number: S432/B616

Book

15

Cover is for reference only

Coordination models and languages : 15th International Conference, COORDINATION 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings /

Corporate Authors: COORDINATION (Conference) Florence, Italy); International Federation for Information Processing.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques Florence, Italy)
Group Author: De Nicola, Rocco; Julien, Christine
Published: Springer,
Publication Dates: [2013]

eBook

16

Cover is for reference only

Cardiac remodeling molecular mechanisms /

Corporate Authors: SpringerLink (Online service)
Group Author: Jugdutt, Bodh I.; Dhalla, Naranjan S.
Published:

Electronic eBook

Narrow Search