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

1

Cover is for reference only

Rewriting logic and its applications：8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers

Corporate Authors: WRLA (Conference) (8th 2010 Paphos, Cyprus); SpringerLink (Online servie); ETAPS 2010 (2010 Paphos, Cyprus) (Paphos, Cyprus))
Group Author: Ölveczky Peter Csaba. (Editor)
Published: Springer,
Publication Dates: 2010.

Book

2

Cover is for reference only

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, revised selected papers /

Corporate Authors: International Workshop on Formal Techniques for Safety-Critical Systems Gold Coast, Australia
Group Author: Artho, Cyrille; Ölveczky, Peter Csaba
Published: Springer,
Publication Dates: [2019]
Call Number: TP309-532/I618-5/2018

Book

3

Cover is for reference only

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /

Corporate Authors: SpringerLink Online service
Group Author: Artho, Cyrille; lveczky, Peter Csaba
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

4

Cover is for reference only

Data Management in Cloud, Grid and P2P Systems : 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013 : proceedings /

Corporate Authors: Globe (Conference : 2008-) Prague, Czech Republic); SpringerLink (Online service)
Group Author: Hameurlain, Abdelkader; Rahayu, Johanna Wenny; Taniar, David
Published: Springer,
Publication Dates: [2013]

eBook

5

Cover is for reference only

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /

Corporate Authors: WADT (Workshop) Salamanca, Spain); SpringerLink (Online service)
Group Author: Marti -Oliet, N.; Palomino, Miguel
Published: Springer,
Publication Dates: ?013.

eBook

Narrow Search