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

1

Cover is for reference only

Lectures on probability theory and statistics：ecole d'Ete de probalities de Saint-Flour XXVII -1997

Published: Springer,
Publication Dates: 2000.
Call Number: O211/B545/

Book

2

Cover is for reference only

Formal aspects in security and trust：IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Corporate Authors: Workshop on Formal Aspects in Security and Trust (2nd 2004 Toulouse, France); IFIP World Computer Congress 2004 Toulouse, France) (Toulouse, France))
Group Author: (Fabio); Dimitrakos Theo.; Martinelli F.
Published: Springer,
Publication Dates: c2005.

Book

3

Cover is for reference only

Foundations of security analysis and design III：FOSAD 2004/2005 tutorial lectures

Corporate Authors: International School on Foundations of Security Analysis and Design
Group Author: Martinelli F.; (Fabio); Aldini Alessandro.; Gorrieri Roberto.
Published: Springer,
Publication Dates: c2005.

Book

4

Cover is for reference only

Distributed autonomous robotic systems : the 10th International Symposium /

Corporate Authors: International Symposium on Distributed Autonomous Robotic Systems E cole Polytechnique Fe de rale de Lausanne); SpringerLink (Online service)
Group Author: Martinoli, Alcherio
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search