671. 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) ↗
672. Wireless mobile communication and healthcare : 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings /: 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings. (2017) Editors: Perego, Paolo; Andreoni, Giuseppe; Rizzo, Giovanna Other Names: MobiHealth (Conference), 6th Record Type: Book Extent: 1 online resource (xvi, 417 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017) Editors: Blieberger, Johann; Bader, Markus Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. Advances in cryptology--EUROCRYPT 2017 : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, proceedings /: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30-May 4, 2017, proceedings. ([2017]) Editors: Nielsen, Jesper Buus, 1973-; Coron, Jean-Sébastien Other Names: EUROCRYPT (Conference), 36th Record Type: Book Extent: 1 online resource (3 volumes), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
675. Challenges and opportunity with big data : 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised selected papers /: 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised selected papers. (2017) Editors: Zhang, Lin; Ren, Lei, 1976-; Kordon, Fabrice Other Names: Monterey Workshop, 19th Record Type: Book Extent: 1 online resource (viii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
676. Sensor systems and software : 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised selected papers /: 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised selected papers. (2017) Editors: Magno, Michele; Ferrero, Fabien; Bilas, Vedran Other Names: EAI International Conference on Sensor Systems and Software, 7th Record Type: Book Extent: 1 online resource (x, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
677. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
678. Video analytics : face and facial expression recognition and audience measurement : third International Workshop, VAAM 2016, and second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised selected papers /: face and facial expression recognition and audience measurement : third International Workshop, VAAM 2016, and second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised selected papers. (2017) Editors: Nasrollahi, Kamal; Distante, Cosimo; Hua, Gang, 1979-; Cavallaro, Andrea; Moeslund, Thomas B; Battiato, Sebastiano; Ji, Qiang, 1963- Other Names: VAAM (Workshop), 3rd; International Workshop on Face and Facial Expression Recognition from Real World Videos, 2nd, jointly held conference Record Type: Book Extent: 1 online resource (x, 163 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. Euro-Par 2017 : parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-September 1, 2017, Proceedings /: parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-September 1, 2017, Proceedings. (2017) Editors: Fernández Rivera, Francisco; Pena, Tomás F; Cabaleiro, José C Other Names: International EURO-PAR Conference, 23rd Record Type: Book Extent: 1 online resource (xxxii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
680. Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures /: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures. (2017) Editors: Cunha, Jácome; Fernandes, João P; Lämmel, Ralf; Saraiva, João; Zaytsev, Vadim Other Names: GTTSE (Summer School), 5th Record Type: Book Extent: 1 online resource (xi, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗