171. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. On sets and graphs : perspectives on logic and combinatorics /: perspectives on logic and combinatorics. (2017) Authors: Omodeo, Eugenio; Policriti, Alberto; Tomescu, Alexandru I Record Type: Book Extent: 1 online resource (xix, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. Paradigms in cryptology -- Mycrypt 2016 : malicious and exploratory cryptology : second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised selected papers /: malicious and exploratory cryptology : second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised selected papers. (2017) Editors: Phan, Raphael C.-W; Yung, Moti Other Names: International Conference on Cryptology in Malaysia, 2nd Record Type: Book Extent: 1 online resource (xi, 573 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Parallel processing and applied mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised selected papers.: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised selected papers. Part I (2018) Editors: Wyrzykowski, Roman; Dongarra, J. J; Deelman, Ewa; Karczewski, Konrad Other Names: PPAM (Conference), 12th Record Type: Book Extent: 1 online resource (xxv, 660 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Parameter advising for multiple sequence alignment. ([2017]) Authors: DeBlasio, Dan; Kececioglu, John Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Patch-based techniques in medical imaging : Second International Workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : proceedings /: Second International Workshop, Patch-MI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : proceedings. ([2016]) Editors: (Researcher in medical imaging), Wu, Guorong; Coupé, Pierrick; Zhan, Yiqiang; Munsell, Brent; Rueckert, Daniel Other Names: Patch-MI (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 19th Record Type: Book Extent: X, 141 pages, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. (2016) Editors: Gavanelli, Marco; Reppy, John Other Names: PADL (Symposium), 18th Record Type: Book Extent: 1 online resource (x, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
178. Principal component analysis networks and algorithms. ([2017]) Authors: Kong, Xiangyu; Hu, Changhua; Duan, Zhansheng Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
179. Privacy technologies and policy : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised selected papers /: 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised selected papers. (2017) Editors: Schweighofer, Erich; Leitold, Herbert, 1965-; Mitrakas, Andreas; Rannenberg, Kai Other Names: Annual Privacy Forum, 5th Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
180. Pro TBB : C++ Parallel Programming with Threading Building Blocks /: C++ Parallel Programming with Threading Building Blocks. (2019) Authors: Voss, Michael Other Names: Asenjo, Rafael; Reinders, James Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗