631. Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings /: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 1216, 2017, proceedings. ([2017]) Editors: Petre, Ion; Manea, Florin; Kari, J (Jarkko) Other Names: Conference on Computability in Europe, 13th Record Type: Book Extent: 1 online resource (xiii, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
632. Verifiable composition of signature and encryption : a comprehensive study of the design paradigms /: a comprehensive study of the design paradigms. (2017) Authors: Aimani, Laila el Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
633. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
634. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
635. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
636. Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016) Editors: Gurfinkel, Arie; Seshia, Sanjit A Other Names: VSTTE (Conference), 7th Record Type: Book Extent: 1 online resource (223 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
637. Vision Quanten-Internet : Ultraschnell und hackersicher /: Ultraschnell und hackersicher. (2019) Authors: Fürnkranz, Gösta Record Type: Book Extent: 1 online resource (297 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
638. WALCOM : algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings /: algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29?31, 2017, proceedings. (2017) Editors: Poon, Sheung-Hung; Rahman, Md. Saidur, 1966-; Yen, Hsu-Chun, 1958- Other Names: WALCOM (Workshop), 11th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
639. WALCOM : algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /: algorithms and computation : 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings. (2018) Editors: Rahman, M. Sohel; Sung, Wing-Kin; Uehara, Ryuhei Other Names: WALCOM (Workshop), 12th Record Type: Book Extent: 1 online resource (xx, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
640. WALCOM : Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings /: Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings. (2020) Editors: Rahman, M. Sohel; Sadakane, Kunihiko; Sung, Wing-Kin Record Type: Book Extent: 1 online resource (350 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗