臺北市立大學行動版館藏查詢

Abate, Alessandro.(作者(個人/團體)) ，共查得5 件。

Computational methods in systems biology 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / edited by Alessandro Abate, Tatjana Petrov, Verena Wolf. 2020.

Formal modeling and analysis of timed systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / edited by Alessandro Abate, Gilles Geeraerts. 2017.

Hybrid systems biology fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers / edited by Alessandro Abate, David Safranek. 2015.

Numerical software verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / edited by Alessandro Abate, Sylvie Boldo. 2017.

Quantitative evaluation of systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / edited by Alessandro Abate, Andrea Marin. 2021.

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :