771. 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) ↗
772. 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) ↗
773. 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) ↗
774. Intelligent human computer interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings. (2017) Editors: Horain, Patrick; Achard, Catherine; Mallem, Malik Other Names: International Conference on Intelligent Human Computer Interaction, 9th Record Type: Book Extent: 1 online resource (xviii, 216 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
775. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
776. Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings. (2017) Editors: Menzies, Tim; Petke, Justyna Other Names: SSBSE (Symposium), 9th Record Type: Book Extent: 1 online resource (XXVI, 197 pages), 33 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
777. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
778. Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers /: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers. (2017) Editors: Dastani, Mehdi; Sirjani, Marjan Other Names: IPM International Conference on Fundamentals of Software Engineering, 7th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
779. 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) ↗
780. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017) Editors: Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970- Other Names: SERENE (Workshop), 9th Record Type: Book Extent: 1 online resource (xiv, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗