151. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. Measurement, modelling and evaluation of dependable computer and communication systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, proceedings /: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, proceedings. (2016) Editors: Remke, Anne, 1980-; Haverkort, Boudewijn R Other Names: GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, 18th Record Type: Book Extent: 1 online resource (203 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers /: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers. (2016) Editors: Shen, Xipeng; Mueller, Frank, 1966-; Tuck, James Other Names: LCPC (Workshop), 28th Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. Beginning robotics programming in Java with LEGO Mindstorms. (2016) Authors: Lu, Wei, 1980- Record Type: Book Extent: 1 online resource (234 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. System analysis and modeling : technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings /: technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Malo, France, October 3-4, 2016. Proceedings. (2016) Editors: Grabowski, Jens; Herbold, Steffen Other Names: SAM (Workshop : System analysis), 9th Record Type: Book Extent: 1 online resource (x, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. (2016) Editors: Artho, Cyrille; Legay, Axel; Peled, Doron A, 1962- Other Names: ATVA (Symposium), 14th Record Type: Book Extent: 1 online resource (xi, 530 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
158. NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. (2016) Editors: Rayadurgam, Sanjai; Tkachuk, Oksana Other Names: NFM (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Transactions on modularity and composition. I (2016) Editors: Chiba, Shigeru, 1968-; Südholt, Mario; Eugster, Patrick; Ziarek, Lukasz; Leavens, Gary T Record Type: Book Extent: 1 online resource (ix, 269 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Drupal 8 Quick Start Guide : Get up and running with Drupal 8 /: Get up and running with Drupal 8. (2018) Authors: Green, J. Ayen Record Type: Book Extent: 1 online resource (128 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗