1. Air quality integrated assessment : a European perspective /: a European perspective. ([2017]) Editors: Guariso, Giorgio; Volta, Marialuisa Record Type: Book Extent: 1 online resource (vii, 110 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014. (2015) Editors: Takayasu, Hideki, 1958-; Ito, Nobuyasu; Noda, Itsuki; Takayasu, Misako, 1963- Other Names: SMSEC (Conference) Record Type: Book Extent: 1 online resource (ix, 346 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗