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

1

Cover is for reference only

Transactions on large-scale data- and knowledge centered systems IX /

Corporate Authors: SpringerLink (Online service)
Group Author: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland R.
Published: Springer,
Publication Dates: [2013]

eBook

2

Cover is for reference only

Provable security：second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings

Corporate Authors: ProvSec 2008 (2008 Shanghai, China); SpringerLink (Online service)
Group Author: Baek Joonsang.
Published: Springer,
Publication Dates: c2008.

Book

3

Cover is for reference only

Information security theory and practices：smart cards, mobile and ubiquitous computing systems ; First IFIP TC6/W G 8.8/ WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007 : proceedings

Corporate Authors: WISTP 2007 (2007 Hērakleion, Greece; International Federation for Information Processing. Technical Committee 6; IFIP WG 8.8 Smart Cards
Group Author: Sauveron Damien
Published: Springer,
Publication Dates: c2007.
Call Number: TP309.2-532/I437/2007

Book

4

Cover is for reference only

Reliable systems on unreliable networked platforms：12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers

Corporate Authors: Monterey Workshop (12th 2005 Laguna Beach, CA; Monterey Workshop on "Networked systems: realization of reliable systems on unreliable networked platforms 2005 Laguna Beach, CA)
Group Author: Sztipanovits Janos; Kordon Fabrice
Published: Springer,
Publication Dates: c2007.
Call Number: TP311.52-532/M778/2005

Book

5

Cover is for reference only

Information security theory and practices：smart cards, mobile and ubiquitous computing systems ; First IFIP TC6/W G 8.8/ WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007 : proceedings

Corporate Authors: WISTP 2007 (2007 Hērakleion, Greece); IFIP WG 8.8 (Smart Cards); International Federation for Information Processing. Technical Committee 6.; SpringerLink (Online service)
Group Author: Sauveron Damien.
Published: Springer,
Publication Dates: c2007.

Book

6

Cover is for reference only

Architecture of computing systems--ARCS 2007：20th international conference, Zurich, Switzerland, March 12-15, 2007 : proceedings

Corporate Authors: ARCS 2007 (2007 Zurich, Switzerland); SpringerLink (Online service)
Group Author: Thiele Lothar.; Tröster Gerhard.; Lukowicz Paul.
Published: Springer,
Publication Dates: c2007.

Book

7

Cover is for reference only

Architecture of computing systems--ARCS 2007：20th international conference, Zurich, Switzerland, March 12-15, 2007 : proceedings

Corporate Authors: ARCS 2007 (2007 Zurich, Switzerland
Group Author: Lukowicz Paul; Thiele Lothar; Tröster Gerhard
Published: Springer-Verlag,
Publication Dates: c2007.
Call Number: TP303-532/A673/2007

Book

8

Cover is for reference only

Self-managed networks, systems, and services：second IEEE international workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006 : proceedings

Corporate Authors: SelfMan 2006 (2006 Dublin, Ireland
Group Author: Keller Alexander 1968-; Martin-Flatin Jean-Philippe
Published: Springer,
Publication Dates: c2006.
Call Number: TP393-532/S465/2006

Book

9

Cover is for reference only

Self-managed networks, systems, and services：second IEEE international workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006 : proceedings

Corporate Authors: SelfMan 2006 (2006 Dublin, Ireland); SpringerLink (Online service)
Group Author: Martin-Flatin Jean-Philippe.; Keller Alexander, 1968-
Published: Springer,
Publication Dates: c2006.

Book

10

Cover is for reference only

Trust management：4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings

Corporate Authors: iTrust 2006 (2006 Pisa, Italy
Group Author: Stølen Ketil
Published: Springer,
Publication Dates: c2006.
Call Number: TP302.7-532/T873/2006

Book

11

Cover is for reference only

Architecture of computing systems--ARCS 2006：19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006 : proceedings

Corporate Authors: ARCS 2006 (2006 Frankfurt am Main, Germany)
Group Author: Grass Werner, 1943-; Sick Bernhard.; Waldschmidt Klaus, Dr.-Ing.
Published: Springer,
Publication Dates: c2006.
Call Number: TP303-532/A673/2006

Book

12

Cover is for reference only

Architecture of computing systems--ARCS 2006：19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006 : proceedings

Corporate Authors: ARCS 2006 (2006 Frankfurt am Main, Germany); SpringerLink (Online service)
Group Author: Waldschmidt Klaus, Dr.-Ing.; Grass Werner, 1943-; Sick Bernhard.
Published: Springer,
Publication Dates: c2006.

Book

13

Cover is for reference only

Advances in computer systems architecture：11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8 2006 : proceedings

Corporate Authors: ACSAC 2006 (2006 Shanghai, China
Group Author: Jesshope C. R; Egan Colin 1956-
Published: Springer,
Publication Dates: c2006.
Call Number: TP303-1/A244/2006

Book

14

Cover is for reference only

Advances in intelligent computing：International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005 : proceedings.. Part I

Corporate Authors: International Conference on Intelligent Computing (2005 Hefei Shi, China
Group Author: Huang De-Shuang; Zhang Xiao-Ping; Huang Guang-Bin
Published: Springer,
Publication Dates: c2005.
Call Number: TP18-532/I613/2005/Pt.1

Book

15

Cover is for reference only

Advances in intelligent computing：International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005 : proceedings.. Pt. 2

Corporate Authors: International Conference on Intelligent Computing (2005 Hefei Shi, China
Group Author: Huang De-Shuang; Zhang Xiao-Ping; Huang Guang-Bin
Published: Springer,
Publication Dates: c2005.
Call Number: TP18-532/I613/2005/pt.2

Book

16

Cover is for reference only

Trust management：second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings

Corporate Authors: ITrust 2004 (2004 Oxford, England
Group Author: Jensen Christian D; Poslad Stefan; Dimitrakos Theo
Published: Springer,
Publication Dates: 2004.
Call Number: TP302.7-532/T873/2004

Book

17

Cover is for reference only

Formal methods for software architectures：Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd 2003 Bertinoro, Italy)
Group Author: Bernardo Marco.; Inverardi Paola.
Published: Springer,
Publication Dates: 2003.
Call Number: TP311-532/I616/2003

Book

18

Cover is for reference only

Computer performance evaluation：modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedigns

Corporate Authors: TOOLS 2003 (2003 Urbana, Ill
Group Author: Kemper Peter 1965-; Sanders William Huston 1949-
Published: Springer,
Publication Dates: 2003.
Call Number: TP302.7-532/I61/2003

Book

19

Cover is for reference only

Architecting dependable systems

Group Author: Lemos Rogério de 1961-; Gacek Cristina 1964-; Romanovsky Alexander 1954-
Published: Springer,
Publication Dates: c2003.
Call Number: TP303/A673

Book

20

Cover is for reference only

Performance evaluation of complex systems：techniques and tools : performance 2002 tutorial lectures

Corporate Authors: IFIP Working Group 7.3 on Computer System Modelling; International Symposium on Computer Performance Modeling, Measurement, and Evaluation (2002 Rome, Italy)
Group Author: Calzarossa Maria Carla 1958-; Tucci Salvatore 1946-
Published: Springer,
Publication Dates: c2002.
Call Number: TP302.7/P438

Book

Narrow Search