21. Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings /: 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th Record Type: Book Extent: 1 online resource (xxii, 486 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings /: SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings. (2015) Editors: Koornneef, Floor, 1950-; Gulijk, Coen van Other Names: SAFECOMP (Conference), 34th; ASSURE (Workshop), 3rd; DECSoS (Workshop), 2nd; ISSE (Workshop), 2nd; ReSA4CI (Workshop), 2nd; SASSUR (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 425 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Musatov, Daniil V Other Names: International Computer Science Symposium in Russia, 10th Record Type: Book Extent: 1 online resource (xx, 443 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Continuous delivery with Visual Studio ALM 2015. ([2015]) Authors: Olausson, Mathias; Ehn, Jakob Record Type: Book Extent: 1 online resource (xx, 320 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015]) Editors: Berger, Christian; Mousavi, Mohammad Reza, 1978- Other Names: CyPhy (Workshop), 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Dag Prawitz on proofs and meaning. ([2015]) Other Names: Wansing, H (Heinrich) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Data structures and algorithms with Python. (2015) Authors: Lee, Kent D (Kent Derek); Hubbard, Steve Record Type: Book Extent: 1 online resource (xv, 363 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015) Editors: Shallit, Jeffrey Outlaw; Okhotin, Alexander Other Names: DCFS (Workshop), 17th Record Type: Book Extent: 1 online resource (xii, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Engineering multi-agent systems : third international workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, revised, selected, and invited papers /: third international workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, revised, selected, and invited papers. (2015) Editors: Baldoni, Matteo, 1968-; Baresi, Luciano; Dastani, Mehdi Other Names: EMAS (Workshop), 3rd Record Type: Book Extent: 1 online resource (231 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Essentials of administering Team Foundation Server 2015 : using TFS 2015 to accelerate your software development /: using TFS 2015 to accelerate your software development. (2015) Authors: Gauvin, Gary Record Type: Book Extent: 1 online resource (xvii, 188 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗