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

1

Cover is for reference only

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /

Corporate Authors: SpringerLink (Online service)
Group Author: Proen a, Jos (Editor); Lumpe, Markus (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

2

Cover is for reference only

Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /

Corporate Authors: FACS (Symposium) Braga, Portugal)
Group Author: Proença, José (Post doc researcher) (Editor); Lumpe, Markus (Editor)
Published: Springer,
Publication Dates: [2017]
Call Number: TP311.11-532/F723/2017

Book

3

Cover is for reference only

Coordination models and languages : 15th International Conference, COORDINATION 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, proceedings /

Corporate Authors: COORDINATION (Conference) Florence, Italy); International Federation for Information Processing.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques Florence, Italy)
Group Author: De Nicola, Rocco; Julien, Christine
Published: Springer,
Publication Dates: [2013]

eBook

Narrow Search