581. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
582. Requirements in engineering projects. ([2015]) Authors: Fernandes, João M, 1968-; Machado, Ricardo J Record Type: Book Extent: 1 online resource (xvii, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
583. Computer-human interaction : cognitive effects of spatial interaction, learning, and ability : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and extended papers /: cognitive effects of spatial interaction, learning, and ability : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and extended papers. (2015) Editors: Wyeld, Theodor G; Calder, Paul; Shen, Haifeng Other Names: Australasian Computer Human Interaction Conference, 25th Record Type: Book Extent: 1 online resource (xii, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
584. Practical aspects of declarative languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings. (2016) Editors: Gavanelli, Marco; Reppy, John Other Names: PADL (Symposium), 18th Record Type: Book Extent: 1 online resource (x, 187 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
585. Testing software and systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings. (2015) Editors: El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina Other Names: IFIP Working Group 6.1, organizer.; ICTSS (Conference), 27th Record Type: Book Extent: 1 online resource (269 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
586. 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) ↗
587. Advances in conceptual modeling : ER 2015 workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings /: ER 2015 workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings. (2015) Editors: Jeusfeld, Manfred; Kamalakar, Karlapalem Other Names: International Conference on Conceptual Modeling, 34th Record Type: Book Extent: 1 online resource (360 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
588. Image processing & communications challenges 7. ([2016]) Editors: Choraś, Ryszard S Other Names: International Image Processing and Communications Conference, 7th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
589. Automation control theory perspectives in intelligent systems. proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016) /: proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016). Vol 3 : (2016) Editors: Silhavy, Radek; Senkerik, Roman; Oplatkova, Zuzana Kominkova; Silhavy, Petr; Prokopova, Zdenka Other Names: Computer Science On-line COnference, 5th Record Type: Book Extent: 1 online resource (xv, 508 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
590. Latent variable analysis and signal separation : 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings /: 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings. (2015) Editors: Vincent, Emmanuel; Yeredor, Arie; Koldovský, Zbyněk; Tichavský, Petr Other Names: International Conference on Latent Variable Analysis and Signal Separation, 12th Record Type: Book Extent: 1 online resource (xvi, 532 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗