441. Building secure defenses against code-reuse attacks. ([2015]) Authors: Davi, Lucas; Sadeghi, Ahmad-Reza Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
442. Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
443. 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) ↗
444. Software testing automation tips : 50 things automation engineers should know /: 50 things automation engineers should know. ([2017]) Authors: Alpaev, Gennadiy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
445. The Modern C# Challenge : Become an expert C# programmer by solving interesting programming problems /: Become an expert C# programmer by solving interesting programming problems. (2018) Authors: Stephens, Rod Record Type: Book Extent: 1 online resource (362 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
446. Cloud native programming with Golang : develop microservice-based high performance web apps for the cloud with Go /: develop microservice-based high performance web apps for the cloud with Go. (2017) Authors: Andrawos, Mina; Helmich, Martin Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
447. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
448. Ethereum for architects and developers : with case studies and code samples in Solidity /: with case studies and code samples in Solidity. (2018) Authors: Mohanty, Debajani Record Type: Book Extent: 1 online resource (xxiv, 267 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
449. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
450. Vue.js Quick Start Guide : Learn how to build amazing and complex reactive web applications easily using Vue.js /: Learn how to build amazing and complex reactive web applications easily using Vue.js. (2018) Authors: Imsirovic, Ajdin Record Type: Book Extent: 1 online resource (186 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗