301. Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /: foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. (2016) Editors: Ribeiro, Leila; Lecomte, Thierry Other Names: Brazilian Symposium on Formal Methods, 19th Record Type: Book Extent: 1 online resource (x, 253 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
302. 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) ↗
303. Advanced finite element simulation with MSC Marc : application of user subroutines /: application of user subroutines. (2017) Authors: Javanbakht, Zia; Öchsner, Andreas Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
304. Separation logic for high-level synthesis. (2017) Authors: Winterstein, Felix Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
305. Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. (2017) Editors: Blieberger, Johann; Bader, Markus Other Names: Ada-Europe International Conference on Reliable Software Technologies, 22nd Record Type: Book Extent: 1 online resource (xiv, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
306. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017) Editors: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru Other Names: RuleML+RR (Joint Conference) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
307. Euro-Par 2017 : parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-September 1, 2017, Proceedings /: parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-September 1, 2017, Proceedings. (2017) Editors: Fernández Rivera, Francisco; Pena, Tomás F; Cabaleiro, José C Other Names: International EURO-PAR Conference, 23rd Record Type: Book Extent: 1 online resource (xxxii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
308. Grand timely topics in software engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures /: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, tutorial lectures. (2017) Editors: Cunha, Jácome; Fernandes, João P; Lämmel, Ralf; Saraiva, João; Zaytsev, Vadim Other Names: GTTSE (Summer School), 5th Record Type: Book Extent: 1 online resource (xi, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
309. Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings /: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings. (2017) Editors: Guerra, Esther; Brand, Mark van den Other Names: ICMT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
310. Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures /: second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Liu, Zhiming, 1961-; (Senior lecturer), Zhang, Zili Other Names: SETSS (International school), 2nd Record Type: Book Extent: 1 online resource (xv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗