1. Neighborhood semantics for modal logic. (2017) Authors: Pacuit, Eric Record Type: Book Extent: 1 online resource (154 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017]) Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend Record Type: Book Extent: 1 online resource (XII, 391 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Theoretical aspects of computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings /: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, proceedings. (2017) Editors: Dang, Hung Van, 1950-; Kapur, Deepak Other Names: ICTAC (Colloquium), 14th Record Type: Book Extent: 1 online resource (XX, 305 pages), 58 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Unconventional computation and natural computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings /: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings. ([2018]) Editors: Stepney, Susan; Verlan, Sergey Other Names: UCNC (Conference), 17th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗
8. Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. (2017) Editors: Bozzano, Marco; Papadopoulos, Yiannis Other Names: IMBSA 2017 Record Type: Book Extent: 1 online resource (x, 273 pages 109 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. (2017) Editors: Artemov, S. N; Nerode, Anil, 1932- Other Names: LFCS (Symposium) Record Type: Book Extent: 1 online resource (369 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗