41. Computer science -- Theory and applications : 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings /: 11th International Computer Science Symposium in Russia, CSR 2016, Saint Petersburg, Russia, June 9-13, 2016. Proceedings. (2016) Editors: Kulikov, Alexander S; Woeginger, Gerhard Other Names: International Computer Science Symposium in Russia, 11th Record Type: Book Extent: 1 online resource (xxi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Coordination, organizations, institutions, and norms in agent systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers /: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised selected papers. (2016) Editors: Dignum, Virginia; Noriega, Pablo, 1953-; Sensoy, Murat; Sichman, Jaime S (Jaime Simão) Other Names: COIN (Workshop), 11th; COIN@AAMAS (Workshop); COIN@IJCAI (Workshop) Record Type: Book Extent: 1 online resource (xii, 437 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Creating Google Chrome extensions. (2016) Authors: Mehta, Prateek Record Type: Book Extent: 1 online resource (xvii, 167 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. 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) ↗
46. 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) ↗
47. Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /: theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. (2016) Editors: Fränzle, Martin; Kapur, Deepak; Zhan, Naijun Other Names: SETTA (Symposium), 2nd Record Type: Book Extent: 1 online resource (xviii, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Deploying Rails with Docker, Kubernetes and ECS. (2016) Other Names: Acuña, Pablo Record Type: Book Extent: 1 online resource (138 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016]) Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey Other Names: DCFS (Workshop), 18th Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Devops on the Microsoft stack. (2016) Authors: Kort, Wouter de Record Type: Book Extent: 1 online resource (xix, 288 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗