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

1

Cover is for reference only

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5 7, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Abate, Alessandro; Geeraerts, Gilles
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

2

Cover is for reference only

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /

Corporate Authors: SpringerLink (Online service)
Group Author: Abate, Alessandro (Editor); Boldo, Sylvie (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 : proceedings /

Corporate Authors: International Conference on the Quantitative Evaluation of Systems Buenos Aires, Argentina); SpringerLink (Online service)
Group Author: Joshi, Kaustubh; Siegle, Markus; Stoelinga, Mariëlle; D'Argenio, Pedro R.
Published: Springer,
Publication Dates: 2013.

eBook

Narrow Search