731. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (2017) Editors: Reinecke, Philipp; Di Marco, Antinisca Other Names: EPEW (Workshop), 14th Record Type: Book Extent: 1 online resource (XVI, 299 pages), 103 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
732. Interactive Collaborative Robotics : Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings /: Second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017, Proceedings. (2017) Editors: Ronzhin, A. L (Andreĭ Leonidovich); Rigoll, Gerhard; Meshcheryakov, Roman Other Names: ICR (Conference), 2nd Record Type: Book Extent: 1 online resource (IX, 288 pages), 137 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
733. Cryptography and coding : 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings /: 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings. (2017) Editors: O'Neill, Máire Other Names: IMA International Conference, 16th Record Type: Book Extent: 1 online resource (x, 393 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
734. Designing usable and secure software with IRIS and CAIRIS. ([2018]) Authors: Faily, Shamal Record Type: Book Extent: 1 online resource (XXX, 258 pages), 78 illustrations, 42 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
735. Graphical models for security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised selected papers /: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised selected papers. (2018) Editors: Liu, Peng; Mauw, S; Stølen, Ketil Other Names: GraMSec (Workshop), 4th Record Type: Book Extent: 1 online resource (xi, 147 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
736. Pattern recognition and machine intelligence : 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017, Proceedings /: 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017, Proceedings. (2017) Editors: Shankar, B. Uma; Ghosh, Kuntal; Mandal, Deba Prasad; Ray, Shubhra Sankar; Zhang, David; Pal, Sankar K Other Names: International Conference on Pattern Recognition and Machine Intelligence, 7th, author Record Type: Book Extent: 1 online resource (xxviii, 695 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
737. Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /: 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings. (2017) Editors: Ayala-Rincón, M (Mauricio); Muñoz, César A, 1968- Other Names: ITP (Conference), 8th Record Type: Book Extent: 1 online resource (xix, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
738. Implantable sensors and systems : from theory to practice /: from theory to practice. ([2018]) Editors: Yang, Guang-Zhong Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
739. Information modelling for archaeology and anthropology : software engineering principles for cultural heritage /: software engineering principles for cultural heritage. (2018) Authors: González Pérez, César A Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
740. Measurement, modelling and evaluation of computing systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings /: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. (2018) Editors: German, Reinhard; Hielscher, Kai-Steffen; Krieger, Udo R Other Names: GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, 19th Record Type: Book Extent: 1 online resource (xix, 344 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗