421. 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) ↗
422. 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) ↗
423. 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) ↗
424. Networked systems : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised selected papers /: 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised selected papers. (2016) Editors: Abdulla, Parosh Aziz; Delporte-Gallet, Carole Other Names: NETYS (Conference), 4th Record Type: Book Extent: 1 online resource (x, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
425. 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) ↗
426. New opportunities for software reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings. (2018) Editors: Capilla, Rafael; Gallina, Barbara; Cetina, Carlos Other Names: International Conference on Software Reuse, 17th Record Type: Book Extent: 1 online resource (xviii, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
427. Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /: Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz. (2019) Authors: Maurer, Christian Record Type: Book Extent: 1 online resource (425 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
428. Nichtsequentielle und Verteilte Programmierung mit Go : Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /: Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz. (2018) Authors: Maurer, Christian Record Type: Book Extent: 1 online resource (412 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
429. Numerical simulation in physics and engineering : lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School /: lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School. (2016) Editors: Higueras, Inmaculada; Roldán, Teo; Torrens, Juan José Other Names: Spanish-French Jacques-Louis Lions School on Numerical Simulation in Physics and Engineering, 16th Record Type: Book Extent: 1 online resource (ix, 251 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
430. 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) ↗