201. Euro-Par 2015 : parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /: parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings. (2015) Editors: Träff, Jesper; Hunold, Sascha; Versaci, Francesco Other Names: International EURO-PAR Conference, 21st Record Type: Book Extent: 1 online resource (xxxv, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
202. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. (2016) Editors: Jobstmann, Barbara; Leino, K. Rustan M Other Names: VMCAI (Conference), 17th Record Type: Book Extent: 1 online resource (xiii, 558 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
203. Transactions on aspect-oriented software development XII. (2015) Editors: Chiba, Shigeru, 1968-; Tanter, Éric; Ernst, Erik; Prof. Dr, Hirschfeld, Robert Record Type: Book Extent: 1 online resource (ix, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
204. Tools and algorithms for the construction and analysis of systems. 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Part I : (2017) Editors: Legay, Axel; Margaria-Steffen, Tiziana, 1964- Other Names: TACAS (Conference), 23rd; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xxiv, 609 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
205. 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) ↗
206. 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) ↗
207. R3 Corda for architects and developers : with case studies in finance, insurance, healthcare, travel, telecom, and agriculture /: with case studies in finance, insurance, healthcare, travel, telecom, and agriculture. ([2019]) Authors: Mohanty, Debajani Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
208. 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) ↗
209. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
210. Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. (2018) Editors: Moss, Lawrence Stuart, 1959-; Queiroz, Ruy J. G. B. de; Martinez, Maricarmen Other Names: Workshop on Logic, Language, Information and Computation, 25th Record Type: Book Extent: 1 online resource (xviii, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗