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. A first introduction to quantum computing and information. (2018) Authors: Zygelman, Bernard Record Type: Book Extent: 1 online resource (xvii, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications /: an accessible introduction to the history, theory, logic and applications. (2016) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xxi, 368 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗
5. Information and communication technologies in education, research, and industrial applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. (2016) Editors: Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander; Batsakis, Sotiris Other Names: ICTERI (Conference), 11th Record Type: Book Extent: 1 online resource (xi, 157 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. Guide to competitive programming : learning and improving algorithms through contests /: learning and improving algorithms through contests. ([2018]) Authors: Laaksonen, Antti Record Type: Book Extent: 1 online resource (xii, 283 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Logics for computer science : classical and non-classical /: classical and non-classical. (2018) Authors: Wasilewska, Anita Record Type: Book Extent: 1 online resource (x, 535 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Winning design! : LEGO MINDSTORMS EV3 design patterns for fun and competition /: LEGO MINDSTORMS EV3 design patterns for fun and competition. (2017) Authors: Trobaugh, James J Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. (2015) Editors: Campos, Javier, 1963-; Haverkort, Boudewijn R Other Names: International Conference on the Quantitative Evaluation of Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 329 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗