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

1

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：4th Intern. Conference, TACAS'98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Group Author: Steffen Bernhard
Published: Springer,
Publication Dates: 1998.
Call Number: TP338.8-532/T671/1998/

Book

2

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Corporate Authors: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996 Passau, Germany)
Group Author: Steffen Bernhard; Margaria Tiziana
Published: Springer,
Publication Dates: c1996.
Call Number: TP338.8-532/T671/1996/

Book

3

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

4

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

5

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

6

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

7

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

8

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

9

Cover is for reference only

Correct system design：recent insights and advances

Group Author: Steffen Bernhard; Olderog E.-R
Published: Springer,
Publication Dates: 1999.
Call Number: TP302.1/C824

Book

10

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

11

Cover is for reference only

Computing and software science : state of the art and perspectives /

Group Author: Steffen, Bernhard; Woeginger, Gerhard
Published: Springer,
Publication Dates: [2019]
Call Number: TP311.5/C738-5

Book

12

Cover is for reference only

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, proceedings /

Corporate Authors: ISoLA (Symposium) Rhodes, Greece)
Group Author: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
Published: Springer,
Publication Dates: [2021]
Call Number: TP301-532/L659/2021

Book

13

Cover is for reference only

Tools and algorithms for the construction and analysis of systems : 25 years of TACAS: TOOLympics held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, proceedings. Part III /

Corporate Authors: TACAS Conference Prague, Czech Republic; ETAPS Conference Prague, Czech Republic
Group Author: Beyer, Dirk, 1972; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Published: Springer,
Publication Dates: [2019]
Call Number: TP338.8-532/T671/2019/pt.3

Book

14

Cover is for reference only

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /

Corporate Authors: SpringerLink (Online service)
Group Author: Steffen, Bernhard (Editor); Baier, Christel (Editor); van den Brand, Mark (Editor); Eder, Johann (Editor); Hinchey, Mike (Editor); Margaria, Tiziana (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

15

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

16

Cover is for reference only

Formal methods for components and objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, revised selected papers /

Corporate Authors: FMCO 2011 Turin, Italy); SpringerLink (Online service)
Group Author: Beckert, Bernhard.
Published:

Electronic eBook

17

Cover is for reference only

Systems biology of tuberculosis

Corporate Authors: SpringerLink (Online service)
Group Author: McFadden, Johnjoe.; Beste, Dany J. V.; Kierzek, Andrzej M.
Published:

Electronic eBook

18

Cover is for reference only

Advanced microsystems for automotive applications 2013 smart systems for safe and green vehicles /

Corporate Authors: SpringerLink (Online service); International Forum on Advanced Microsystems for Automotive Application Berlin, Germany)
Group Author: Fischer-Wolfarth, Jan.; Meyer, Gereon.
Published:

Electronic eBook

19

Cover is for reference only

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Corporate Authors: NFM (Symposium) Moffett Field, Calif.); SpringerLink (Online service)
Group Author: Brat, Guillaume; Rungta, Neha S. (Neha Shyam), 1979-; Venet, Arnaud
Published: Springer,
Publication Dates: [2013]

eBook

20

Cover is for reference only

Formal methods for industrial critical systems a survey of applications /

Group Author: Gnesi, Stefania, 1954- (Editor); Margaria-Steffen, Tiziana, 1964- (Editor)
Published: IEEE Computer Society ; Wiley,
Publication Dates: [2013]

eBook

Narrow Search