231. Static analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings /: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, proceedings. (2016) Editors: Rival, Xavier Other Names: International Static Analysis Symposium, 23rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
232. Logic and its applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. (2017) Editors: Ghosh, Sujata; Prasad, Sanjiva Other Names: ICLA (Conference : Logic), 7th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
233. Small dynamic complexity classes : an investigation into dynamic descriptive complexity /: an investigation into dynamic descriptive complexity. (2017) Authors: Zeume, Thomas Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
234. Theory of cryptography. 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings /: 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings. Part I : (2016) Editors: Hirt, Martin; Smith, Adam (Adam Davison) Other Names: Theory of Cryptography Conference, 14th Record Type: Book Extent: 1 online resource (xvi, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
235. Pro TBB : C++ Parallel Programming with Threading Building Blocks /: C++ Parallel Programming with Threading Building Blocks. (2019) Authors: Voss, Michael Other Names: Asenjo, Rafael; Reinders, James Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
236. Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020 : revised selected papers /: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020 : revised selected papers. ([2020]) Editors: Kochetov, I︠U︡. A; Bykadorov, Igor; Gruzdeva, Tatiana Other Names: MOTOR (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 438 pages), 109 illustrations (31 in color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗