1. Assessing model-based reasoning using evidence-centered design : a suite of research-based design patterns /: a suite of research-based design patterns. (2017) Authors: Mislevy, Robert J; Haertel, Geneva D; Riconscente, Michelle; Rutstein, Daisy Wise; Ziker, Cindy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗
4. Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. (2017) Editors: D'Souza, Deepak; Narayan Kumar, K Other Names: ATVA (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 482 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018) Editors: Lahiri, Shuvendu; Wang, Chao, 1985- Other Names: ATVA (Symposium), 16th Record Type: Book Extent: 1 online resource (xiii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. (2019) Editors: Chen, Yu-Fang; Cheng, Chih-Hong; Esparza, Javier Other Names: ATVA (Symposium), 17th Record Type: Book Extent: 1 online resource (xi, 552 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Case-based reasoning research and development : 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings /: 25th International Conference, ICCBR 2017, Trondheim, Norway, June 26-28, 2017, Proceedings. (2017) Editors: Aha, David W; Lieber, Jean Other Names: International Conference on Case-Based Reasoning, 25th Record Type: Book Extent: 1 online resource (xix, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Case-based reasoning research and development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings /: 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings. (2018) Editors: Cox, Michael T; Funk, Peter, 1957-; Begum, Shahina Other Names: International Conference on Case-Based Reasoning, 26th Record Type: Book Extent: 1 online resource (xiv, 628 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Case-based reasoning research and development : 27th international conference, ICCBR 2019, Otzenhausen, Germany, September 8-12, 2019 : proceedings /: 27th international conference, ICCBR 2019, Otzenhausen, Germany, September 8-12, 2019 : proceedings. ([2019]) Editors: Bach, Kerstin; Marling, Cindy Other Names: International Conference on Case-Based Reasoning, 27th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗