481. Digital forensics and cyber crime : 9th International Conference, ICDF2C 2017, Prague, Czech Republic, October 9-11, 2017, Proceedings /: 9th International Conference, ICDF2C 2017, Prague, Czech Republic, October 9-11, 2017, Proceedings. (2018) Editors: Matoušek, Petr; Schmiedecker, Martin Other Names: International Conference on Digital Forensics and Cyber Crime, 9th Record Type: Book Extent: 1 online resource (x, 235 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
482. String analysis for software verification and security. ([2017]) Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
483. Security and trust management : 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings /: 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings. (2017) Editors: Livraga, Giovanni; Mitchell, Chris Other Names: STM (Conference), 13th Record Type: Book Extent: 1 online resource (x, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
484. Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /: new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. (2018) Editors: Madeira, Alexandre; Benevides, Mário Other Names: International Workshop on Dynamic Logic, 1st Record Type: Book Extent: 1 online resource (ix, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
485. Research in attacks, intrusions, and defenses : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings /: 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, Proceedings. (2017) Editors: Dacier, Marc; Bailey, Michael; (Computer scientist), Polychronakis, Michalis; Antonakakis, Manos Other Names: RAID (Symposium), 20th Record Type: Book Extent: 1 online resource (xiii, 496 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
486. Selected areas in cryptography -- SAC 2016 : 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised selected papers /: 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised selected papers. (2017) Editors: Avanzi, Roberto; Heys, Howard, 1963- Other Names: SAC (Conference), 23rd Record Type: Book Extent: 1 online resource (xiii, 580 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
487. Information security : 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings /: 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. (2017) Editors: Nguyen, Phong Q (Phong Quang); Zhou, Jianying Other Names: ISC (Conference : Information security), 20th Record Type: Book Extent: 1 online resource (xiii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
488. Electronic voting : second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, proceedings /: second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, proceedings. (2017) Editors: Krimmer, Robert; Volkamer, Melanie; Binder, Nadja Braun; Kersting, Norbert; Péreira, Olivier; Schürmann, C (Carsten) Other Names: E-Vote-ID (Conference), 2nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
489. Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings. (2017) Editors: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 36th; International Workshop on Assurance Cases for Software-Intensive Systems, 4th; DECSoS (Workshop); SASSUR (Workshop), 6th; TELERISE (Workshop), 3rd; TIPS (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiv, 478 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
490. Progress in pattern recognition, image analysis, computer vision, and applications : 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7-10, 2017, Proceedings /: 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7-10, 2017, Proceedings. (2018) Editors: Mendoza, Marcelo; Velastin, Sergio A Other Names: Iberoamerican Congress on Pattern Recognition, 22nd Record Type: Book Extent: 1 online resource (xviii, 730 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗