141. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xxiii, 677 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Musatov, Daniil V Other Names: International Computer Science Symposium in Russia, 10th Record Type: Book Extent: 1 online resource (xx, 443 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /: 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. (2015) Editors: Kolovos, Dimitrios; Wimmer, Manuel Other Names: ICMT (Conference), 8th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Introduction to HPC with MPI for data science. (2016) Authors: Nielsen, Frank Record Type: Book Extent: 1 online resource (xxxiii, 282 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /: modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. (2016) Editors: Lecomte, Thierry; Pinger, Ralf; Romanovsky, Alexander, 1954- Other Names: RSSRail (Conference), 1st Record Type: Book Extent: 1 online resource (xii, 255 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. (2016) Editors: Bertogna, Marko; Pinho, Luís Miguel; Quiñones, Eduardo Other Names: Ada-Europe International Conference on Reliable Software Technologies, 21st Record Type: Book Extent: 1 online resource (xiv, 213 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Adaptive resource management and scheduling for cloud computing : Second International Workshop, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015 : revised selected papers /: Second International Workshop, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015 : revised selected papers. ([2015]) Editors: Pop, Florin; Potop-Butucaru, Maria Other Names: ARMS-CC (Workshop), 2nd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Towards paraconsistent engineering. (2016) Editors: Akama, Seiki Record Type: Book Extent: 1 online resource (xvi, 234 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Hybrid systems biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers /: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers. ([2015]) Editors: Maler, O (Oded) Other Names: Halász, Ádám editor of compilation.; Dang, Thao editor of compilation.; Piazza, Carla editor of compilation.; HSB (Workshop), 2nd; HSB (Workshop), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗