1. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Hybrid systems biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers /: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers. (2015) Editors: Abate, Alessandro; Šafránek, David Other Names: HSB (Workshop), 4th Record Type: Book Extent: 1 online resource (xiv, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗