441. 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) ↗
442. Service-oriented computing -- ICSOC 2016 workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers /: ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised selected papers. (2017) Editors: Drira, Khalil; Wang, Hongbing; Yu, Qi; Wang, Yan; Yan, Yuhong; Charoy, F; Mendling, Jan; Mohamed, Mohamed; Wang, Zhongjie; Bhiri, Sami Other Names: ICSOC (Conference), 14th; ASOCA (Workshop), 1st; ISyCC (Workshop), 1st; BSCI (Workshop), 2nd Record Type: Book Extent: 1 online resource (xiii, 222 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
443. Service-oriented computing -- ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, revised selected papers /: ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13-16, 2017, revised selected papers. (2018) Editors: Braubach, Lars; Murillo, Juan M; Kaviani, Nima; Lama, Manuel; Burgueño, Loli; Moha, Naouel; Oriol, Marc Other Names: ICSOC (Conference), 15th; ASOCA (Workshop), 2nd; ISyCC (Workshop), 2nd; WESOACS (Workshop), 13th Record Type: Book Extent: 1 online resource (xiv, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
444. Smart card research and advanced applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers /: 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised selected papers. (2017) Editors: Lemke-Rust, Kerstin; Tunstall, Michael Other Names: CARDIS (Conference), 15th Record Type: Book Extent: 1 online resource (xii, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
445. SOFSEM 2018 : theory and practice of computer science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings /: theory and practice of computer science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings. (2018) Editors: Tjoa, A Min; Bellatreche, Ladjel, 1968-; Biffl, Stefan; Leeuwen, J. van (Jan); Wiedermann, J (Juraj) Other Names: SOFSEM (Conference), 44th Record Type: Book Extent: 1 online resource (xv, 698 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
446. Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings /: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings. (2016) Editors: Tekinerdogan, Bedir, 1970-; Zdun, Uwe; (Professor of Software Engineering), Babar, Ali Other Names: ECSA (Conference), 10th Record Type: Book Extent: 1 online resource (xiii, 340 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
447. Software architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings /: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings. (2017) Editors: Lopes, Antónia; Lemos, Rogério de, 1961- Other Names: ECSA (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
448. Software development, design and coding : with patterns, debugging, unit testing, and refactoring /: with patterns, debugging, unit testing, and refactoring. ([2017]) Authors: Dooley, John, 1952- Record Type: Book Extent: 1 online resource (xxii, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
449. Software engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures /: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised tutorial lectures. (2015) Editors: Meyer, Bertrand, 1950-; Nordio, Martin Other Names: LASER Summer School on Software Engineering, 10th; LASER Summer School on Software Engineering, 11th Record Type: Book Extent: 1 online resource (vii, 191 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
450. Software engineering : specification, implementation, verification /: specification, implementation, verification. (2017) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xv, 178 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗