21. Meaning and proscription in formal logic : variations on the propositional logic of William T. Parry /: variations on the propositional logic of William T. Parry. ([2017]) Authors: Ferguson, Thomas Macaulay Record Type: Book Extent: 1 online resource (XIII, 198 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Neural information processing. 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings /: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings. Part VI : (2017) Editors: Liu, Derong; Xie, Shengli; Li, Yuanqing; Zhao, Dongbin; El-Alfy, El-Sayed M Other Names: ICONIP (Conference), 24th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Post-quantum cryptography : 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings. (2018) Editors: Lange, Tanja, 1975-; Steinwandt, Rainer Other Names: PQCrypto (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 529 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Practical Hadoop migration : how to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL /: how to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL. (2016) Authors: Lakhe, Bhushan Record Type: Book Extent: 1 online resource (xxiv, 305 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Quick start guide to Verilog. ([2019]) Authors: LaMeres, Brock J Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings. (2017) Editors: Menzies, Tim; Petke, Justyna Other Names: SSBSE (Symposium), 9th Record Type: Book Extent: 1 online resource (XXVI, 197 pages), 33 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Separation logic for high-level synthesis. (2017) Authors: Winterstein, Felix Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Simulation and optimization of digital circuits : considering and mitigating destabilizing factors /: considering and mitigating destabilizing factors. (2018) Authors: Melikyan, Vazgen Record Type: Book Extent: 1 online resource (xiv, 349 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Testing of interposer-based 2.5D integrated circuits. (2017) Authors: Wang, Ran; Chakrabarty, Krishnendu Record Type: Book Extent: 1 online resource (xiv, 182 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Transactions on high-performance embedded architectures and compilers V. (2019) Editors: Stenström, Per; Silvano, Cristina; Bertels, Koen; Schulte, Michael Record Type: Book Extent: 1 online resource (ix, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗