291. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015) Editors: Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th Record Type: Book Extent: 1 online resource (xi, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
292. Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers. (2016) Editors: Serrano, Manuel; Hage, Jurriaan Other Names: International Symposium on Trends in Functional Programming, 16th Record Type: Book Extent: 1 online resource (vii, 157 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
293. An introduction to statistics with Python : with applications in the life sciences /: with applications in the life sciences. (2016) Authors: Haslwanter, Thomas Record Type: Book Extent: 1 online resource (xvii, 278 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
294. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
295. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016) Editors: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971- Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
296. Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers /: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers. (2017) Editors: Ding, Chen, 1970-; Criswell, John; Wu, Peng, 1974- Other Names: LCPC (Workshop), 29th Record Type: Book Extent: 1 online resource (xi, 348 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
297. 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) ↗
298. Hands-On Dependency Injection in Go : Develop clean Go code that is easier to read, maintain, and test /: Develop clean Go code that is easier to read, maintain, and test. (2018) Authors: Scott, Corey Record Type: Book Extent: 1 online resource (346 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
299. Mastering Concurrency in Python : Create faster programs using concurrency, asynchronous, multithreading, and parallel programming /: Create faster programs using concurrency, asynchronous, multithreading, and parallel programming. (2018) Authors: Nguyễn, Quân Record Type: Book Extent: 1 online resource (446 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
300. Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /: essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. ([2017]) Editors: Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko Other Names: Roscoe, A. W honouree. Record Type: Book Extent: 1 online resource (xviii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗