541. 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) ↗
542. 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) ↗
543. Network Automation Cookbook : Proven and actionable recipes to automate and manage network devices using Ansible /: Proven and actionable recipes to automate and manage network devices using Ansible. (2020) Authors: Okasha, Karim Record Type: Book Extent: 1 online resource (482 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
544. 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) ↗
545. 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) ↗
546. 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) ↗
547. 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) ↗
548. 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) ↗
549. 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) ↗
550. Node.js web development : server-side development with Node 10 made easy /: server-side development with Node 10 made easy. (2018) Authors: Herron, David Record Type: Book Extent: 1 online resource (492 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗