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

1

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

2

Cover is for reference only

Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 11, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink (Online service)
Group Author: Zhang, Lin (Editor); Ren, Lei (Editor); Kordon, Fabrice (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

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

4

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

5

Cover is for reference only

Reliable software technologies--Ada-Europe 2008：13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedings

Corporate Authors: Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy); SpringerLink (Online service)
Group Author: Vardanega T.; (Tullio); Kordon Fabrice.
Published: Springer,
Publication Dates: c2008.

Book

6

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: SpringerLink (Online service)
Group Author: Sztipanovits Janos.; Kordon Fabrice.
Published: Springer,
Publication Dates: c2007.

Book

7

Cover is for reference only

Reliable software technologies：Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings

Corporate Authors: Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland); Ada-Europe (Organization); SpringerLink (Online service)
Group Author: Kordon Fabrice.; Abdennadher Nabil.
Published: Springer,
Publication Dates: c2007.

Book

8

Cover is for reference only

Composition of embedded systems：scientific and industrial issues ; 13th [i.e. 14th] Monterey Workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers

Corporate Authors: Monterey Workshop (14th 2006 Paris, France); SpringerLink (Online service)
Group Author: Sokolsky Oleg.; Kordon Fabrice.
Published: Springer,
Publication Dates: c2007.

Book

Related Subjects