61. Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. (2015) Editors: Durand-Lose, Jérôme; Nagy, Benedek Other Names: MCU (Conference), 7th Record Type: Book Extent: 1 online resource (xx, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Map framework : a formal model of maps as a fundamental data type in information systems /: a formal model of maps as a fundamental data type in information systems. ([2016]) Authors: McKenney, Mark; Schneider, Markus, 1963- Record Type: Book Extent: 1 online resource (xi, 140 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Mathematical foundations of computer science 2015. 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings /: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings. Part I : (2015) Editors: Italiano, Giuseppe F; Pighizzini, Giovanni; Sannella, D (Donald), 1956- Other Names: Symposium on Mathematical Foundations of Computer Science (1972- ), 40th Record Type: Book Extent: 1 online resource (xxvi, 459 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Mathematical methods for curves and surfaces : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised selected papers /: 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised selected papers. (2017) Editors: Floater, Michael S; Lyche, Tom; Mazure, Marie-Laurence; Mørken, Knut; Schumaker, Larry L, 1939- Other Names: MMCS (Conference), 9th Record Type: Book Extent: 1 online resource (viii, 325 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018) Editors: Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef Other Names: International Congress of Mathematical Software, 6th Record Type: Book Extent: 1 online resource (xix, 508 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings. (2015) Editors: Hinze, Ralf; Voigtländer, Janis, 1977- Other Names: MPC (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Optimization by GRASP : greedy randomized adaptive search procedures /: greedy randomized adaptive search procedures. (2016) Authors: Resende, Mauricio G. C, 1955-; Ribeiro, Celso C Record Type: Book Extent: 1 online resource (xx, 312 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Paradigms in cryptology -- Mycrypt 2016 : malicious and exploratory cryptology : second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised selected papers /: malicious and exploratory cryptology : second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016, Revised selected papers. (2017) Editors: Phan, Raphael C.-W; Yung, Moti Other Names: International Conference on Cryptology in Malaysia, 2nd Record Type: Book Extent: 1 online resource (xi, 573 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017) Editors: Höfner, Peter; Pous, Damien; Struth, Georg Other Names: RAMiCS (Conference), 16th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /: theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. (2016) Editors: Freĭvald, R. V; Engels, G; Catania, Barbara, 1969- Other Names: SOFSEM (Conference), 42nd Record Type: Book Extent: 1 online resource (xv, 630 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗