1. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Fault Prediction Modeling for the Prediction of Number of Software Faults. (2019) Authors: Rathore, Santosh Singh; Kumar, Sandeep Record Type: Book Extent: 1 online resource (78 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Network industries : a research overview /: a research overview. (2019) Authors: Finger, Matthias Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers /: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers. (2019) Editors: van Sinderen, Marten; Maciaszek, Leszek A Record Type: Book Extent: 1 online resource (421 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Zhongguancun model : driving the dual engines of science & technology and capital /: driving the dual engines of science & technology and capital. ([2019]) Authors: Dong, Xiaoying; Hu, Yanni; Yin, Weidong; Kuo, Estela Record Type: Book Extent: 1 online resource (xxii, 338 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗