251. Principles and practice of constraint programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. (2018) Editors: Hooker, John, 1949- Other Names: CP (Conference), 24th Record Type: Book Extent: 1 online resource (xxvii, 764 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
252. Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /: 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. (2018) Editors: Bauer, Lujo; Küsters, Ralf Other Names: POST (Conference), 7th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xiv, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
253. Privately and publicly verifiable computing techniques : a survey /: a survey. (2017) Authors: Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
254. Pro Entity Framework Core 2 for ASP.NET Core MVC. (2018) Authors: Freeman, Adam, 1972- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
255. 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) ↗
256. Processing big data with Azure hdinsight : building real-world big data systems on azure hdinsight using the Hadoop ecosystem /: building real-world big data systems on azure hdinsight using the Hadoop ecosystem. (2017) Authors: Yadav, Vinit Other Names: École nationale supérieure des beaux-arts (France) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. Progress in cryptology - INDOCRYPT 2018 : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings /: 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings. ([2018]) Editors: Chakraborty, Debrup; Iwata, Tetsu Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
258. Progress in cryptology -- AFRICACRYPT 2018 : 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings /: 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings. (2018) Editors: Joux, Antoine; Nitaj, Abderrahmane; Rachidi, Tajjeeddine Other Names: International Conference on Cryptology in Africa, 10th Record Type: Book Extent: 1 online resource (xii, 363 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. Provable security : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings /: 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings. (2018) Editors: Baek, Joonsang; Susilo, Willy; Kim, Jongkil Other Names: ProvSec (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 424 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Python geospatial analysis cookbook : 60 recipes to work with typology, overlays, indoor routing, and web applications analysis with Python /: 60 recipes to work with typology, overlays, indoor routing, and web applications analysis with Python. (2015) Authors: Diener, Michael Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗