11. 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) ↗
12. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /: 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. (2018) Editors: Casimiro, Antonio; Ferreira, Pedro M Other Names: Ada-Europe International Conference on Reliable Software Technologies, 23rd Record Type: Book Extent: 1 online resource (XIV, 175 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018) Editors: Durand-Lose, Jérôme; Verlan, Sergey Other Names: MCU (Conference), 8th Record Type: Book Extent: 1 online resource (xvii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Albert, Elvira; Lanese, Ivan Other Names: FORTE Conference, 36th Record Type: Book Extent: 1 online resource (XVI, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. ([2015]) Other Names: Artemov, S. N; Nerode, Anil, 1932-; LFCS (Symposium) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch Other Names: TAP (Conference), 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. (2017) Editors: Antonucci, Alessandro; Cholvy, Laurence; Papini, Odile Other Names: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗