21. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016) Editors: Olivetti, Nicola; Tiwari, Ashish, 1973- Other Names: IJCAR (Conference), 8th Record Type: Book Extent: 1 online resource (xx, 580 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. 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) ↗
24. 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) ↗
25. 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) ↗
26. 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) ↗
27. Beyond-CMOS technologies for next generation computer design. (2018) Editors: Topaloglu, Rasit O; Wong, H.-S. Philip Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Bidirectional transformations : International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures /: International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures. (2018) Editors: Gibbons, Jeremy, 1966-; Stevens, Perdita Other Names: International Summer School on Bidirectional Transformations Record Type: Book Extent: 1 online resource (ix, 189 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Bioinformatics research and applications : 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /: 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings. (2018) Editors: Zhang, Fa; Cai, Zhipeng; Skums, Pavel; Zhang, Shihua Other Names: ISBRA (Conference), 14th Record Type: Book Extent: 1 online resource (xxii, 362 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Brain-inspired computing : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, revised selected papers /: Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, revised selected papers. (2016) Editors: Amunts, Katrin Other Names: BrainComp (Workshop), 2nd Record Type: Book Extent: 1 online resource (195 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗