141. Fundamentals of software engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers /: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised selected papers. (2017) Editors: Dastani, Mehdi; Sirjani, Marjan Other Names: IPM International Conference on Fundamentals of Software Engineering, 7th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Globalizing domain-specific languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers. (2015) Editors: Cheng, Betty H. C Other Names: Globalizing Domain-Specific Languages (Seminar) Record Type: Book Extent: 1 online resource (89 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. 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) ↗
144. Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /: 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings. (2015) Editors: Parisi Presicce, Francesco; Westfechtel, Bernhard, 1958- Other Names: ICGT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 283 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 /: 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016. (2016) Editors: Echahed, Rachid; Minas, Mark Other Names: Ehrig, Hartmut honouree.; ICGT (Conference), 9th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers /: second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers. (2016) Editors: Mauw, S; Kordy, Barbara; Jajodia, Sushil Other Names: International Workshop on Graphical Models for Security, 2nd Record Type: Book Extent: 1 online resource (ix, 103 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications /: an accessible introduction to the history, theory, logic and applications. (2016) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xxi, 368 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016]) Editors: Bloem, Roderick P; Arbel, Eli Other Names: International Haifa Verification Conference, 12th Record Type: Book Extent: 1 online resource (xvi, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015) Editors: Piterman, Nir Other Names: International Haifa Verification Conference, 11th Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Harnessing performance variability in embedded and high-performance many/multi-core platforms : a cross-layer approach /: a cross-layer approach. ([2019]) Editors: Fornaciari, William; Soudris, Dimitrios, 1964- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗