121. Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017) Editors: Anjorin, Anthony; Espinoza, Huáscar Other Names: ECMFA (Conference), 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
122. Models to code : with no mysterious gaps /: with no mysterious gaps. (2017) Authors: Starr, Leon; Mangogna, Andrew; Mellor, Stephen Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
123. Modular design frameworks : a projects-based guide for UI/UX designers /: a projects-based guide for UI/UX designers. (2017) Other Names: Cabrera, James (James Favio T.), 1987- Record Type: Book Extent: 1 online resource (86 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
124. Mostly codeless game development : new school game engines /: new school game engines. (2017) Other Names: Ciesla, Robert Record Type: Book Extent: 1 online resource (233 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
125. NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (2017) Editors: Barrett, Clark; Davies, Misty; Kahsai, Temesghen Other Names: NFM (Symposium), 9th Record Type: Book Extent: 1 online resource (xi, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
126. Neighborhood semantics for modal logic. (2017) Authors: Pacuit, Eric Record Type: Book Extent: 1 online resource (154 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
127. Network programming with Go : essential skills for using and securing networks /: essential skills for using and securing networks. (2017) Authors: Newmarch, Jan Record Type: Book Extent: 1 online resource (xxi, 274 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
128. Networked systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. (2017) Editors: El Abbadi, Amr; Garbinato, Benoit Other Names: NETYS (Conference), 5th Record Type: Book Extent: 1 online resource (xviiii, 484 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
129. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
130. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017) Editors: Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra Other Names: NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference Record Type: Book Extent: 1 online resource (vii, 107 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗