191. Optimizing data-to-learning-to-action : the modern approach to continuous performance improvement for businesses /: the modern approach to continuous performance improvement for businesses. (2018) Authors: Flinn, Steven Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
192. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 429 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
193. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
194. Guide to dataflow supercomputing : basic concepts, case studies, and a detailed example /: basic concepts, case studies, and a detailed example. ([2015]) Authors: Milutinović, Veljko; Salom, Jakob; Trifunović, Nemanja; (Computer engineer), Giorgi, Roberto Record Type: Book Extent: 1 online resource, illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
195. Introduction to software engineering. ([2018?]) Authors: Leach, Ronald J Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
196. Algorithms, probability, networks, and games : scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /: scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday. (2015) Editors: Zaroliagis, Christos D, 1963-; Pantziou, Grammati; Kontogiannis, Spyros Other Names: Spirakis, P. G (Paul G.) 1955- honouree. Record Type: Book Extent: 1 online resource (xii, 414 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
197. Web engineering : 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings /: 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings. (2016) Editors: Bozzon, Alessandro; Cudré-Mauroux, Philippe; Pautasso, Cesare Other Names: ICWE (Conference), 16th Record Type: Book Extent: 1 online resource (xxvi, 626 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
198. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
199. RoboCup 2015 : Robot World Cup XIX /: Robot World Cup XIX. (2016) Authors: Luke, Sean Editors: Almeida, L. B (Luis B.); Ji, Jianmin; Steinbauer, Gerald Other Names: RoboCup (Conference), 19th Record Type: Book Extent: 1 online resource (390 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
200. Software design for resilient computer systems. (2016) Authors: Schagaev, Igor; Kaegi-Trachsel, Thomas Record Type: Book Extent: 1 online resource (214 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗