31. Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. (2017) Editors: Schmidt, Renate A; Nalon, Cláudia Other Names: TABLEAUX (Conference), 26th Record Type: Book Extent: 1 online resource (xii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. 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) ↗
33. 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) ↗
34. 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) ↗
35. Beginning Julia programming : for engineers and scientists /: for engineers and scientists. (2017) Other Names: Nagar, Sandeep Record Type: Book Extent: 1 online resource (359 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Building theories : heuristics and hypotheses in sciences /: heuristics and hypotheses in sciences. ([2018]) Editors: Danks, David, 1975-; Ippoliti, Emiliano Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Business process management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings /: 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. (2017) Editors: Carmona, Josep; Engels, G; Kumar, Akhil Other Names: BPM (Conference), 15th Record Type: Book Extent: 1 online resource (xxi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. 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) ↗
39. Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /: 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings. (2020) Editors: Watson, Ian; Weber, Rosina Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Causal nets, interventionism, and mechanisms : philosophical foundations and applications /: philosophical foundations and applications. (2017) Authors: Gebharter, Alexander Record Type: Book Extent: 1 online resource (184 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗