31. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Silva, Alexandra Other Names: FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017) Editors: Dixon, Clare; Finger, Marcelo Other Names: FroCoS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures /: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures. (2017) Editors: Cunha, Jácome; Fernandes, João P; Lämmel, Ralf; Saraiva, João; Zaytsev, Vadim Other Names: GTTSE (Summer School), 5th Record Type: Book Extent: 1 online resource (xi, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Inductive logic programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers. (2015) Editors: Davis, Jesse; Ramon, Jan Other Names: ILP (Conference), 24th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Inductive logic programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers /: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised selected papers. (2017) Editors: Cussens, James; Russo, Alessandra Other Names: ILP (Conference), 26th Record Type: Book Extent: 1 online resource (xvii, 133 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. (2018) Editors: Bassiliades, Nick; Ermolayev, Vadim; Fill, Hans-Georg; Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander Other Names: ICTERI (Conference), 13th Record Type: Book Extent: 1 online resource (XIV, 255 pages), 102 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. (2017) Editors: Geuvers, Herman, 1964-; England, Matthew; Hasan, Osman, 1975-; Rabe, Florian; Teschke, Olaf Other Names: CICM (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 375 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Avigad, Jeremy; Mahboubi, Assia Other Names: ITP (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvii, 642 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗