91. Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /: parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. (2016) Editors: Dutot, Pierre-François; Trystram, Denis Other Names: International EURO-PAR Conference, 22nd Record Type: Book Extent: 1 online resource (xxix, 699 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Instruction level parallelism. (2016) Authors: Aiken, Alex; Banerjee, Utpal, 1942-; Kejariwal, Arun; Nicolau, Alexandru Record Type: Book Extent: 1 online resource (255 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. 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) ↗
95. A beginner's guide to Scala, object orientation and functional programming. (2018) Authors: Hunt, John, 1964- Record Type: Book Extent: 1 online resource (XIX, 531 pages), 108 illustrations, 64 illustrations in color View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings. (2017) Editors: Lierler, Yuliya; Taha, Walid, 1972- Other Names: PADL (Symposium), 19th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Object-oriented technology. (2015) Authors: Alagić, Suad, 1946- Record Type: Book Extent: 1 online resource (xiv, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Beginning Backdrop CMS. (2016) Authors: Tomlinson, Todd Record Type: Book Extent: 1 online resource (xxv, 259 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Principles of Package Design : Creating Reusable Software Components /: Creating Reusable Software Components. (2018) Authors: Noback, Matthias Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Using the C++ standard template libraries. ([2015]) Authors: Horton, Ivor Record Type: Book Extent: 1 online resource (xxv, 489 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗