1. Conceptual modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings /: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings. ([2016]) Editors: Comyn-Wattiau, Isabelle; Tanaka, Katsumi; Song, Il-Yeol; Yamamoto, Shuichiro; Saeki, Motoshi Other Names: International Conference on Conceptual Modeling, 35th Record Type: Book Extent: 1 online resource (xxii, 562 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗
4. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016) Editors: Lucanu, Dorel Other Names: WRLA (Conference), 11th; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xiii, 185 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. 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) ↗