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

1

Cover is for reference only

Computational logistics : 12th international conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings /

Corporate Authors: ICCL (Conference) Online)
Group Author: Mes, Martijn; Lalla-Ruiz, Eduardo; Voss, Stefan
Published: Springer,
Publication Dates: [2021]
Call Number: F713-39/I613/2021

Book

2

Cover is for reference only

Mathematics of program construction：10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings

Corporate Authors: MPC 2010 (2010 Québec, Québec); SpringerLink (Online service)
Group Author: Desharnais Jules.; Ktari Béchir.; Bolduc Claude.
Published: Springer,
Publication Dates: c2010.

Book

3

Cover is for reference only

Formal methods for industrial critical systems

Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems (14th 2009 Eindhoven, The Netherlands); SpringerLink (Online service)
Group Author: Cook Byron.; Joubert Christophe.; Alpuente María.
Published: Springer,
Publication Dates: 2009.

Book

4

Cover is for reference only

Verification, model checking, and abstract interpretation：9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

Corporate Authors: VMCAI 2008 (2008 San Francisco, Calif.); SpringerLink (Online service)
Group Author: Logozzo Francesco.; Peled Doron, 1962-; Zuck Lenore D., 1958-
Published: Springer,
Publication Dates: c2008.

Book

5

Cover is for reference only

Verification, model checking, and abstract interpretation：8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings

Corporate Authors: VMCAI 2007 (2007 Nice, France); SpringerLink (Online service)
Group Author: Podelski Andreas.; Cook Byron.
Published: Springer,
Publication Dates: c2007.

Book

6

Cover is for reference only

Hardware and software, verification and testing：Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Corporate Authors: International Haifa Verification Conference (2nd 2006 Haifa, Israel); SpringerLink (Online service)
Group Author: Ziv Avi.; Ur Shmuel.; Bin Eyal.
Published: Springer,
Publication Dates: c2007.

Book

7

Cover is for reference only

Formal methods：applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany); PDMC 2006 (2006 Bonn, Germany)
Group Author: Brim Lubǒs.
Published: Springer,
Publication Dates: c2007.

Book

8

Cover is for reference only

Persuasive technology：Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007 ; revised selected papers

Corporate Authors: International Conference on Persuasive Technology for Human Well-Being (2nd 2007 Palo Alto, Calif.); SpringerLink (Online service)
Group Author: Kort Yvonne de.
Published: Springer,
Publication Dates: 2007.

Book

9

Cover is for reference only

Hardware and software, verification and testing：First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel); SpringerLink (Online service)
Group Author: Bin Eyal.; Wolfsthal Yaron.; Ur Shmuel.
Published: Springer,
Publication Dates: c2006.

Book

10

Cover is for reference only

Ant colony optimization and swarm intelligence

Corporate Authors: ANTS 2006 (2006 Brussels, Belgium
Group Author: Dorigo Marco
Published: Springer,
Publication Dates: 2006.
Call Number: O156-532/A627/2006

Book

11

Cover is for reference only

Technologies for e-services：6th international workshop, TES 2005, Trondheim, Norway, September 2-3, 2005 : revised selected papers

Corporate Authors: TES 2005 (6th Trondheim, Norway
Group Author: Bussler Christoph; Shan Ming-Chien
Published: Springer,
Publication Dates: c2006.
Call Number: TP393.092-532/T255/2005

Book

12

Cover is for reference only

Relational methods in computer science：8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers

Corporate Authors: International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.); European Cooperation in the Field of Scientific and Technical Research (Organization). Workshop Workshop (2005 St. Catharines, Ont.); International Workshop on Applications of Kleene Algebra 2005 St. Catharines, Ont.); SpringerLink (Online service)
Group Author: Düntsch Ivo.; MacCaull Wendy.; Winter Michael, Ph. D.
Published: Springer,
Publication Dates: c2006.

Book

13

Cover is for reference only

Relational methods in computer science：8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers

Corporate Authors: International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont; European Cooperation in the Field of Scientific and Technical Research Organization. COST Action 274 TARSKI Project. Workshop (2005 St. Catharines, Ont.); International Workshop on Applications of Kleene Algebra 2005 St. Catharines, Ont.)
Group Author: Düntsch Ivo; MacCaull Wendy; Winter Michael, Ph. D
Published: Springer,
Publication Dates: c2006.
Call Number: TP3-532/R382/2005

Book

14

Cover is for reference only

Hardware and software, verification and testing：First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers

Corporate Authors: International Haifa Verification Conference (1st 2005 Haifa, Israel
Group Author: Ur Shmuel; Bin Eyal; Wolfsthal Yaron
Published: Springer,
Publication Dates: 2006.
Call Number: TP306-532/I615/2005

Book

15

Cover is for reference only

Verification, model checking, and abstract interpretation：7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings

Corporate Authors: VMCAI 2006 (2006 Charleston, S.C
Group Author: Emerson E. Allen; Namjoshi Kedar S
Published: Springer-Verlag,
Publication Dates: 2006.
Call Number: TP311.1-532/V516/2006

Book

16

Cover is for reference only

Technologies for e-services：5th international workshop, TES 2004, Toronto, Canada, August 29-30, 2004 : revised selected papers

Corporate Authors: TES 2004 (2004 Toronto, Ont
Group Author: Shan Ming-Chien; Dayal Umeshwar; Hsu Meichun
Published: Springer,
Publication Dates: c2005.
Call Number: TP393.092-532/T255/2004

Book

17

Cover is for reference only

Ambient networks：16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005 : proceedings

Corporate Authors: IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (16th 2005 Barcelona, Spain); LINK (Online service)
Group Author: Schönwälder Jürgen.; Serrat Joan.
Published: Springer,
Publication Dates: 2005.

Book

18

Cover is for reference only

Ambient networks：16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005 : proceedings

Corporate Authors: IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (16th 2005 Barcelona, Spain)
Group Author: Sch··onw··alder J··urgen.; Serrat Joan.
Published: Springer,
Publication Dates: c2005.
Call Number: TP338.8-532/I615-1/2005

Book

19

Cover is for reference only

Verification, model checking, and abstract interpretation：6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Corporate Authors: VMCAI 2005 (2005 Paris, France
Group Author: Cousot Radhia
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.1-532/V516/2005

Book

20

Cover is for reference only

Numerical software with result verification：international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Corporate Authors: Dagstuhl Seminar on Numerical Software with Result Verification (2003 Dagstuhl, Germany
Group Author: Alt René
Published: Springer,
Publication Dates: c2004.
Call Number: O245-532/D127/2003

Book

Narrow Search