631. Collaboration meets interactive spaces. (2017) Editors: Anslow, Craig; Campos, Pedro; Jorge, J. A (Joaquim Armando) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
632. Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016) Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979- Other Names: TAP (Conference), 10th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
633. Economics of grids, clouds, systems, and services : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015. Revised selected papers /: 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015. Revised selected papers. (2016) Editors: (Computer scientist), Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer Other Names: GECON (Conference), 12th Record Type: Book Extent: 1 online resource (xv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
634. Compressive Sensing Based Algorithms for Electronic Defence. (2016) Authors: Mishra, Amit Kumar; Verster, Ryno Strauss Record Type: Book Extent: 1 online resource (184 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
635. Big data technologies and applications : 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings /: 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings. (2016) Editors: Jung, Jason J; Kim, Pankoo Other Names: BDTA (Conference), 7th Record Type: Book Extent: 1 online resource (400 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
636. 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) ↗
637. Research in attacks, intrusions, and defenses : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings /: 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings. (2016) Editors: Monrose, Fabian; Dacier, Marc; Blanc, Gregory; Garcia-Alfaro, Joaquin Other Names: RAID (Symposium), 19th Record Type: Book Extent: 1 online resource (xiii, 482 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
638. Inclusive smart cities and digital health : 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings /: 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings. (2016) Editors: Chang, Carl K; Chiari, Lorenzo; (Computer scientist), Cao, Yu; Hai, Jinle; Mokhtari, Mounir; Aloulou, Hamdi Other Names: International Conference on Smart Homes and Health Telematics, 14th Record Type: Book Extent: 1 online resource (xii, 504 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
639. Serious games : foundations, concepts and practice /: foundations, concepts and practice. (2016) Editors: Dörner, Ralf; Göbel, Stefan; Effelsberg, Wolfgang; Wiemeyer, Josef Record Type: Book Extent: 1 online resource (xvi, 421 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
640. Graphical models for security : third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised selected papers /: third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised selected papers. (2016) Editors: Kordy, Barbara; Ekstedt, Mathias, 1975-; Kim, Tong-sŏng, 1970- Other Names: GraMSec (Workshop), 3rd Record Type: Book Extent: 1 online resource (ix, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗