41. Coordination models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Jacquet, J.-M (Jean-Marie); Massink, Mieke Other Names: COORDINATION (Conference), 19th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xii, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Coordination models and languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. (2018) Editors: Di Marzo Serugendo, Giovanna; Loreti, Michele Other Names: COORDINATION (Conference), 20th; International Federated Conferences on Distributed Computing Techniques, 13th Record Type: Book Extent: 1 online resource (xii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Coordination, organizations, institutions, and norms in agent systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised selected papers /: COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, the Hague, the Netherlands, August 30, 2016, Revised selected papers. (2017) Editors: Cranefield, Stephen; Mahmoud, Samhar; Padget, Julian A, 1959-; Rocha, Ana Paula Other Names: COIN@AAMAS (Workshop); COIN@ECAI (Workshop) Record Type: Book Extent: 1 online resource (xiii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Creating maintainable APIs : a practical case-study approach /: a practical case-study approach. (2016) Other Names: Varga, Ervin Record Type: Book Extent: 1 online resource (295 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016) Editors: Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971- Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 247 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. C♯ 7 quick syntax reference : a pocket guide to the language, APIs and library /: a pocket guide to the language, APIs and library. ([2018]) Authors: (Web programmer), Olsson, Mikael Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Deep Belief Nets in C++ and CUDA C. Restricted Boltzmann machines and supervised feedforward networks / Volume 1, ([2018]) Authors: Masters, Timothy Other Names: Patnayak, Chinmaya technical reviewer. Record Type: Book Extent: 1 online resource (ix, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Deep learning with Python : a hands-on introduction /: a hands-on introduction. (2017) Authors: Ketkar, Nikhil Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Developing turn-based multiplayer games : with Gamemaker studio 2 and NodeJS /: with Gamemaker studio 2 and NodeJS. ([2018]) Authors: Rajiv, Yadu Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. DevOps for Azure applications : deploy web applications on Azure /: deploy web applications on Azure. (2018) Authors: Machiraju, Suren; Gaurav, Suraj Record Type: Book Extent: 1 online resource (xvi, 126 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗