781. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
782. Graph transformation : 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018) Editors: Lambers, Leen; (Professor of Software Engineering), Weber, Jens Other Names: ICGT (Conference), 11th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xvi, 179 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
783. Learn CentOS Linux network services. ([2016]) Authors: Vázquez, Antonio Record Type: Book Extent: 1 online resource (351 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
784. Machine learning for decision makers : cognitive computing fundamentals for better decision making /: cognitive computing fundamentals for better decision making. ([2017]) Authors: Kashyap, Patanjali Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
785. Numerical methods and applications : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised selected papers /: 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised selected papers. (2015) Editors: Dimov, Ivan, 1963-; Fidanova, Stefka, 1964-; Lirkov, Ivan, 1963- Other Names: NMA (Conference), 8th Record Type: Book Extent: 1 online resource (xii, 313 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
786. Evolutionary computation in combinatorial optimization : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. (2015) Editors: Ochoa, Gabriela; Chicano, Francisco Other Names: EvoCOP (Conference), 15th Record Type: Book Extent: 1 online resource (xii, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
787. Lightweight cryptography for security and privacy : third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised selected papers /: third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised selected papers. (2015) Editors: Eisenbarth, Thomas; Öztürk, Erdinç Other Names: LightSec (Workshop), 3rd Record Type: Book Extent: 1 online resource (xiii, 169 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
788. Evolutionary and biologically inspired music, sound, art and design : 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /: 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. (2015) Editors: Johnson, Colin; Carballal, Adrian; Correia, João Other Names: EvoMUSART (Conference), 4th Record Type: Book Extent: 1 online resource (x, 275 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
789. Genetic programming theory and practice XII. ([2015]) Editors: Riolo, Rick; Worzel, William P; Kotanchek, Mark Other Names: Workshop on Genetic Programming, Theory and Practice, 12th Record Type: Book Extent: 1 online resource (xii, 182 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
790. Domain decomposition methods in science and engineering XXII. (2016) Editors: Dickopf, Thomas; Gander, Martin J; Halpern, Laurence; Krause, Rolf; Pavarino, Luca F Other Names: International Conference on Domain Decomposition, 22nd Record Type: Book Extent: 1 online resource (xx, 647 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗