1. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017) Editors: Bozzano, Marco; Papadopoulos, Yiannis Other Names: IMBSA 2017 Record Type: Book Extent: 1 online resource (x, 273 pages 109 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Smart Energy Research : At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers /: At the Crossroads of Engineering, Economics, and Computer Science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers. (2017) Editors: Derksen, Christian; Weber, Christoph Other Names: IFIP TC 12 International Conference SmartER Europe, 3rd; IFIP TC 12 International Conference SmartER Europe, 4th Record Type: Book Extent: 1 online resource (x, 189 pages), 78 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. HCI International 2017 - Posters' Extended Abstracts. 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings /: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. Part I : (2017) Editors: Stephanidis, Constantine Other Names: International Conference on Human-Computer Interaction, 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. HCI International 2017 - Posters' Extended Abstracts. 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings /: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings. Part II : (2017) Editors: Stephanidis, Constantine Other Names: International Conference on Human-Computer Interaction, 19th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 20th Record Type: Book Extent: 1 online resource (xiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Model-based safety and assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings /: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. (2020) Other Names: Zeller, Marc; Höfig, Kai; IMBSA (Symposium), 7th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Czech Republic, September 14–17, 2020 Proceedings /: 31st International Conference, DEXA 2020, Bratislava, Czech Republic, September 14–17, 2020 Proceedings. (2020) Editors: Hartmann, Sven, 1969- Other Names: Database and Expert Systems Applications Conference, 31st Record Type: Book Extent: 1 online resource (419 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. (2019) Editors: (Professor of Computer Science), Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis, 1969-; Bozzano, Marco Other Names: IMBSA (Symposium), 6th Record Type: Book Extent: 1 online resource (xi, 380 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer algebra in scientific computing : 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings /: 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings. (2019) Editors: England, Matthew; Koepf, Wolfram; Sadykov, Timur M; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: International Workshop on Computer Algebra in Scientific Computing, 21st Record Type: Book Extent: 1 online resource (xiii, 479 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗