571. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
572. Job scheduling strategies for parallel processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers /: 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised selected papers. (2015) Editors: Cirne, Walfredo; Desai, Narayan (Narayan L.) Other Names: JSSPP (Workshop), 18th Record Type: Book Extent: 1 online resource (ix, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
573. Software engineering research, management and applications. (2015) Editors: Lee, Roger Other Names: SERA (Conference), 12th Record Type: Book Extent: 1 online resource (xvi, 306 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
574. Solving software challenges for exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers /: International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers. (2015) Editors: Markidis, Stefano; Laure, Erwin Other Names: International Conference on Exascale Applications and Software, 2nd Record Type: Book Extent: 1 online resource (viii, 149 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
575. Knowledge, information and creativity support systems : recent trends, advances and solutions : selected papers from KICSS '2013, 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland /: recent trends, advances and solutions : selected papers from KICSS '2013, 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland. (2016) Editors: Skulimowski, Andrzej M. J, 1958-; Kacprzyk, Janusz Other Names: International Conference on Knowledge, Information and Creativity Support Systems, 8th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
576. Validation of evolving software. (2015) Editors: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha Record Type: Book Extent: 1 online resource (viii, 218 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
577. From requirements to Java in a snap : model-driven requirements engineering in practice /: model-driven requirements engineering in practice. (2015) Authors: Śmiałek, Michał; Nowakowski, Wiktor Record Type: Book Extent: 1 online resource (xxiii, 352 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
578. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015]) Editors: Canal, Carlos; Idani, Akram Other Names: International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th Record Type: Book Extent: 1 online resource (xxvii, 405 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
579. Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers /: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers. (2015) Editors: Zsók, Viktória; Horváth, Zoltán, 1962-; Csató, Lehel Other Names: Central European Functional Programming School, 5th Record Type: Book Extent: 1 online resource (vii, 507 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
580. Interoperability and open-source solutions for the internet of things : International Workshop, FP7 OpenIoT Project, held in conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited papers /: International Workshop, FP7 OpenIoT Project, held in conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited papers. (2015) Editors: Podnar Žarko, Ivana; Pripužić, Krešimir; Serrano, Martin Other Names: International Workshop on Interoperability and Open-Source Solutions for the Internet of Things; International Conference on Software, Telecommunications, and Computer Networks Record Type: Book Extent: 1 online resource (x, 183 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗