1. Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog /: with an introduction to the Verilog HDL, VHDL, and SystemVerilog. ([2019]) Authors: Mano, M. Morris, 1927-; Ciletti, Michael D Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Machine learning for medical image reconstruction : first International Workshop, MLMIR 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings /: first International Workshop, MLMIR 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings. (2018) Editors: Knoll, Florian; Maier, Andreas (Andreas K.); Rueckert, Daniel Other Names: MLMIR (Workshop), 1st; International Conference on Medical Image Computing and Computer-Assisted Intervention, 21st Record Type: Book Extent: 1 online resource (x, 158 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. 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) ↗
5. Bioinformatics research and applications : 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /: 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings. (2018) Editors: Zhang, Fa; Cai, Zhipeng; Skums, Pavel; Zhang, Shihua Other Names: ISBRA (Conference), 14th Record Type: Book Extent: 1 online resource (xxii, 362 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. 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) ↗
8. 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) ↗
9. 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) ↗
10. Design of FPGA-Based Computing Systems with OpenCL. (2018) Authors: Waidyasooriya, Hasitha Muthumala; Hariyama, Masanori; Uchiyama, Kunio Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗