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

1

Cover is for reference only

Dynamic fleet management for international truck transportation：focusing on occasional transportation tasks

Main Authors: Schorpp Steffen.
Corporate Authors: SpringerLink (Online service)
Group Author: Fleischmann Bernhard.
Published: Gabler,
Publication Dates: 2011.

Book

2

Cover is for reference only

Leveraging applications of formal methods, verification, and validation：4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I

Corporate Authors: ISoLA 2010 (2010 Ērakleion, Greece); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: 2010.

Book

3

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

Leveraging applications of formal methods：first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers

Corporate Authors: ISoLA 2004 (2004 Paphos, Cyprus)
Group Author: Margaria-Steffen Tiziana, 1964-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2006.
Call Number: TP301-532/L659/2004

Book

5

Cover is for reference only

Leveraging applications of formal methods, verification, and validation：4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part II

Corporate Authors: ISoLA 2010 (2010 Ērakleion, Greece); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: 2010.

Book

6

Cover is for reference only

Leveraging applications of formal methods, verification and validation：Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Corporate Authors: ISoLA 2008 (2008 Chalkidikē, Greece); SpringerLink (Online service)
Group Author: Margaria Tiziana.; Steffen Bernhard.
Published: Springer,
Publication Dates: 2008.

Book

7

Cover is for reference only

Verification, model checking, and abstract interpretation：5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings

Corporate Authors: VMCAI 2004 (2004 Venice, Italy); ACM Symposium on Principles of Programming Languages 2004 Venice, Italy) (Venice, Italy))
Group Author: Levi G.; (Giorgio), 1942-; Steffen Bernhard.
Published: Springer,
Publication Dates: c2004.
Call Number: TP311.1-532/V516/2004

Book

8

Cover is for reference only

Reliable Software Technologies - Ada-Europe 2009：14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

Main Authors: Hutchison David
Corporate Authors: SpringerLink (Online service)
Group Author: Steffen Bernhard.; Kittler Josef.; Nierstrasz Oscar.; Pandu Rangan C.; Sudan Madhu.; Mitchell John C.; Mattern Friedemann.; Naor Moni; Vardi Moshe Y.; Tygar Doug.; Kanade Takeo.; Kermarrec Yvon.; Kordon Fabrice.; Weikum Gerhard.; Terzopoulos Demetri.; Kleinberg Jon M.
Published: Springer Berlin Heidelberg,
Publication Dates: 2009.

Book

Narrow Search