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

1

Cover is for reference only

Construction and analysis of safe, secure, and interoperable smart devices：second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

Corporate Authors: CASSIS Conference (2005 Nice, France
Group Author: Barthe Gilles 1967-
Published: Springer,
Publication Dates: c2006.
Call Number: TP333-532/C734/2005

Book

2

Cover is for reference only

Construction and analysis of safe, secure, and interoperable smart devices：international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Corporate Authors: CASSIS Conference
Group Author: Barthe Gilles 1967-
Published: Springer,
Publication Dates: c2005.
Call Number: TP333-532/C734/2004

Book

3

Cover is for reference only

Construction and analysis of safe, secure, and interoperable smart devices：second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

Corporate Authors: CASSIS (Conference) (2005 Nice, France); SpringerLink (Online service)
Group Author: Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2006.

Book

4

Cover is for reference only

Construction and analysis of safe, secure, and interoperable smart devices：International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Corporate Authors: CASSIS (Conference) (2004 Marseille, France); LINK (Online service)
Group Author: Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2005.

Book

5

Cover is for reference only

Applied semantics：International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures

Corporate Authors: APPSEM 2000 (2000 Caminha, Potrugal) (Caminha, Potrugal))
Group Author: Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2002.
Call Number: TP312-532/A652/2000

Book

6

Cover is for reference only

Programming languages and systems：20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings

Corporate Authors: European Symposium on Programming (20th 2011 Saarbru cken, Germany); ETAPS 2011 (2011 Saarbrucken, Germany) (Saarbrucken, Germany)); SpringerLink (Online service)
Group Author: Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2011.

Book

7

Cover is for reference only

Verification, model checking, and abstract interpretation：11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings

Corporate Authors: VMCAI 2010 (2010 Madrid, Spain); SpringerLink (Online serveice)
Group Author: Hermenegildo Manuel.; Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2010.

Book

8

Cover is for reference only

Software engineering and formal methods：9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings

Corporate Authors: International Conference on Software Engineering and Formal Methods (9th 2011 Montevideo, Uruguay)
Group Author: Pardo Alberto.; Schneider Gerardo.; Barthe Gilles
Published: Springer,
Publication Dates: c2011.

Book

9

Cover is for reference only

Trustworthy global computing：third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers

Corporate Authors: TGC 2007 (2007 Sophia-Antipolis, France); SpringerLink (Online service)
Group Author: Fournet Cédric.; Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2008.

Book

10

Cover is for reference only

Foundations of security analysis and design V：FOSAD 2007/2008/2009 tutorial lectures

Corporate Authors: International School on Foundations of Security Analysis and Design (2007: Bertinoro, Italy) (Bertinoro, Italy)); International School on Foundations of Security Analysis and Design (2008: Bertinoro, Italy) (Bertinoro, Italy)); International School on Foundations of Security Analysis and Design (2009 Bertinoro, Italy) (Bertinoro, Italy)); SpringerLink (Online service)
Group Author: Barthe Gilles, 1967-; Gorreri Roberto.; Aldini Alessandro.
Published: Springer,
Publication Dates: c2009.

Book

11

Cover is for reference only

Formal aspects of security and trust：8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers

Corporate Authors: FAST (Workshop) (8th 2011 Leuven, Belgium); SpringerLink (Online service)
Group Author: Datta Anupam.; Etalle Sandro.; Barthe Gilles, 1967-
Published: Springer,
Publication Dates: c2012.

Book

12

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

Related Subjects