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

1

Cover is for reference only

Theorem proving in higher order logics：16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Corporate Authors: TPHOLs 2003 (2003 Rome, Italy
Group Author: Basin David; Wolff Burkhart 1962-
Published: Springer,
Publication Dates: 2003.
Call Number: TP301-532/T396/2003

Book

2

Cover is for reference only

Automated reasoning：second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings

Corporate Authors: IJCAR 2004 (2004 Cork, Ireland
Group Author: Rusinowitsch Micha··el; Basin David
Published: Springer,
Publication Dates: c2004.
Call Number: TP181-532/I615/2004

Book

3

Cover is for reference only

Applied information security：a hands-on approach

Main Authors: Basin David.
Group Author: Schaller Patrick.; Schläpfer Michael.
Published: Springer,
Publication Dates: c2011.

Book

4

Cover is for reference only

Principles of security and trust : second International Conference, POST 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /

Corporate Authors: POST 2013 Rome, Italy); SpringerLink (Online service); ETAPS (Conference) Rome, Italy)
Group Author: Basin, David; Mitchell, John C.
Published: Springer,
Publication Dates: 2013.

eBook

5

Cover is for reference only

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /

Corporate Authors: RV (Conference) Rennes, France); SpringerLink (Online service)
Group Author: Legay, Axel; Bensalem, Saddek
Published: Springer,
Publication Dates: 2013.

eBook

6

Cover is for reference only

Computer security - ESORICS 2013 : 18th European Symposium on Research in Computer Security, Egham, UK, September 9-13, 2013 : proceedings /

Corporate Authors: European Symposium on Research in Computer Security Egham, England); SpringerLink (Online service)
Group Author: Crampton, Jason; Jajodia, Sushil.; Mayes, Keith E.
Published: Springer,
Publication Dates: [2013]

eBook

7

Cover is for reference only

Climate change and disaster risk management /

Corporate Authors: SpringerLink (Online service)
Group Author: Leal Filho, Walter (Editor)
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search