251. Evaluation of novel approaches to software engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers /: 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised selected papers. (2016) Editors: Maciaszek, Leszek; Filipe, Joaquim Other Names: ENASE (Conference), 11th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
252. Evaluation of novel approaches to software engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers /: 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers. (2018) Editors: Damiani, Ernesto, 1960-; Spanoudakis, George; Maciaszek, Leszek Other Names: ENASE (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
253. Expanding your raspberry Pi : storage, printing, peripherals, and network connections for your Raspberry Pi /: storage, printing, peripherals, and network connections for your Raspberry Pi. ([2017]) Authors: Soper, Mark Edward Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
254. Expert AWS Development : Efficiently develop, deploy, and manage your enterprise apps on the Amazon Web Services platform /: Efficiently develop, deploy, and manage your enterprise apps on the Amazon Web Services platform. (2018) Authors: Mistry, Atul Record Type: Book Extent: 1 online resource (408 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
255. Extreme C : Taking you to the limit in Concurrency, OOP, and the most advanced capabilities of C /: Taking you to the limit in Concurrency, OOP, and the most advanced capabilities of C. (2019) Authors: Amini, Kamran Record Type: Book Extent: 1 online resource (822 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
256. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. Finite difference methods, theory and applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers /: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers. (2015) Editors: Dimov, Ivan, 1963-; Faragó, I (István); Vulkov, Lubin Other Names: International Conference on Finite Difference Methods: Theory and Applications, 6th Record Type: Book Extent: 1 online resource (xi, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
258. Flutter for Beginners : An introductory guide to building cross-platform mobile applications with Flutter and Dart 2 /: An introductory guide to building cross-platform mobile applications with Flutter and Dart 2. (2019) Authors: Biessek, Alessandro Record Type: Book Extent: 1 online resource (512 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016) Editors: Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna Other Names: International Symposium of Formal Methods Europe, 21st Record Type: Book Extent: 1 online resource (xxiii, 789 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗