801. SystemVerilog for hardware description RTL design and verification /: RTL design and verification. (2020) Other Names: Taraate, Vaibbhav Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
802. Technology and practice of passwords : 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings /: 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings. (2016) Editors: Stajano, Frank; Mjølsnes, Stig F; Jenkinson, Graeme; Thorsheim, Per Other Names: International Conference on Passwords, 9th Record Type: Book Extent: 1 online resource (xv, 151 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
803. Technology and practice of passwords : International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, revised selected papers /: International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, revised selected papers. (2015) Editors: Mjølsnes, Stig F Other Names: International Conference on Passwords, 7th Record Type: Book Extent: 1 online resource (153 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
804. Test generation of crosstalk delay faults in VLSI circuits. ([2019]) Authors: Jayanthy, S; Bhuvaneswari, M. C Record Type: Book Extent: 1 online resource (xi, 156 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
805. Testing and Tuning Market Trading Systems : Algorithms in C++ /: Algorithms in C++. ([2018]) Authors: Masters, Timothy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
806. Testing and validation of computer simulation models : principles, methods and applications /: principles, methods and applications. ([2015]) Authors: Murray-Smith, D. J (David J.) Record Type: Book Extent: 1 online resource (xiv, 252 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
807. The Complete Rust Programming Reference Guide : Design, develop, and deploy effective software systems using the advanced constructs of Rust /: Design, develop, and deploy effective software systems using the advanced constructs of Rust. (2019) Authors: Sharma, Rahul; Kaihlavirta, Vesa; Matzinger, Claus Record Type: Book Extent: 1 online resource (698 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
808. The Data Science Framework : A View from the EDISON Project /: A View from the EDISON Project. (2020) Editors: Cuadrado-Gallego, Juan J; Demchenko, Yuri Record Type: Book Extent: 1 online resource (194 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
809. The discrete math workbook : a companion manual for practical study /: a companion manual for practical study. (2018) Authors: Kurgalin, Sergei; Borzunov, Sergei Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
810. The use case and smart grid architecture model approach : the IEC 62559-2 use case template and the SGAM applied in various domains /: the IEC 62559-2 use case template and the SGAM applied in various domains. (2017) Authors: Gottschalk, Marion; Uslar, Mathias; Delfs, Christina Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗