1011. Information and communications security : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings /: 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings. (2018) Editors: Naccache, David, 1967- Other Names: ICICS (Conference), 20th Record Type: Book Extent: 1 online resource (xv, 818 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1012. Enhanced building information models : using IoT services and integration patterns /: using IoT services and integration patterns. ([2015]) Authors: Isikdag, Umit, 1976- Record Type: Book Extent: 1 online resource (xii, 121 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1013. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1014. Testing and Tuning Market Trading Systems : Algorithms in C++ /: Algorithms in C++. ([2018]) Authors: Masters, Timothy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1015. Ontology-based procedural modelling of traversable buildings composed by arbitrary shapes. (2016) Authors: Adão, Telmo; Magalhães, Luís (Luís Gonzaga Mendes); Peres, Emanuel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1016. Supercomputing for molecular dynamics simulations : handling multi-trillion particles in nanofluidics /: handling multi-trillion particles in nanofluidics. ([2015]) Authors: Heinecke, Alexander; Eckhardt, Wolfgang; Horsch, Martin; Bungartz, H.-J (Hans-Joachim) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1017. Thread and data mapping for multicore systems : improving communication and memory accesses /: improving communication and memory accesses. ([2018]) Authors: Cruz, Eduardo H. M; Navaux, Philippe O. A Other Names: Diener, Matthias Record Type: Book Extent: 1 online resource (ix, 54 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1018. Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015) Editors: Codescu, Mihai; Diaconescu, Răzvan; Tutu, Ionut Other Names: WADT (Workshop), 22nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1019. Service research and innovation : 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2-3, 2015, and October 19-20, 2017 : revised selected papers /: 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2-3, 2015, and October 19-20, 2017 : revised selected papers. ([2018]) Editors: Beheshti, Amin; Hashmi, Mustafa; Dong, Hai; Zhang, Wei Emma Other Names: Australasian Symposium on Service Research and Innovation, 6th; Australasian Symposium on Service Research and Innovation, 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1020. Exploring the use of eye gaze controlled interfaces in automotive environments. (2016) Authors: Biswas, Pradipta Record Type: Book Extent: 1 online resource (xvi, 91 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗