1. Advanced finite element simulation with MSC Marc : application of user subroutines /: application of user subroutines. (2017) Authors: Javanbakht, Zia; Öchsner, Andreas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /: 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings. (2015) Editors: Chen, Yunji; Ienne, Paolo; Ji, Qing Other Names: APPT (Symposium), 11th Record Type: Book Extent: 1 online resource (ix, 117 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advanced parallel processing technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings /: 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings. (2017) Editors: Dou, Yong; Lin, Hai-Xiang; Sun, Guangyu; (College teacher), Wu, Junjie; Heras, Dora; Bougé, L (Luc) Other Names: APPT (Symposium), 12th Record Type: Book Extent: 1 online resource (ix, 129 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers /: 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers. (2017) Editors: Herik, Jaap van den; Filipe, Joaquim Other Names: ICAART (Conference), 8th Record Type: Book Extent: 1 online resource (xvi, 315 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings. (2018) Editors: Galmiche, Didier, 1958-; Schulz, Stephan; Sebastiani, R (Roberto) Other Names: IJCAR (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvi, 724 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Computational science and its applications -- ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings /: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part V : (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe; Torre, Carmelo Maria; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, E (Elena); Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 744 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer graphics for Java programmers. (2017) Authors: Ammeraal, L (Leendert); Zhang, Kang, 1959- Record Type: Book Extent: 1 online resource (ix, 387 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗