Subject: Computer programming / software development - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer programming / software development

541 - 550 of 871

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)