151. 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) ↗
152. Machines, computations, and universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /: 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. (2018) Editors: Durand-Lose, Jérôme; Verlan, Sergey Other Names: MCU (Conference), 8th Record Type: Book Extent: 1 online resource (xvii, 171 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. 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) ↗
154. 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 II : (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 (xvii, 615 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. Mathematical optimization theory and operations research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020 : revised selected papers /: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020 : revised selected papers. ([2020]) Editors: Kochetov, I︠U︡. A; Bykadorov, Igor; Gruzdeva, Tatiana Other Names: MOTOR (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 438 pages), 109 illustrations (31 in color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Membrane computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers. ([2015]) Editors: Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M; Zandron, Claudio Other Names: CMC (Conference : Membrane computing), 16th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. Membrane computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers /: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers. (2017) Editors: Leporati, Alberto; Rozenberg, Grzegorz; Salomaa, Arto; Zandron, Claudio Other Names: CMC (Conference : Membrane computing), 17th Record Type: Book Extent: 1 online resource (x, 363 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
158. Membrane computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, revised selected papers /: 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, revised selected papers. (2018) Editors: Gheorghe, Marian; Rozenberg, Grzegorz; Salomaa, Arto; Zandron, Claudio Other Names: CMC (Conference : Membrane computing), 18th Record Type: Book Extent: 1 online resource (XVI, 293 pages), 33 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Gallardo, María del Mar; Merino, Pedro Other Names: International SPIN Workshop, 25th Record Type: Book Extent: 1 online resource (xvi, 347 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Modelling and simulation for autonomous systems : third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers /: third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised selected papers. (2016) Editors: Hodicky, Jan Other Names: MESAS (Workshop), 3rd Record Type: Book Extent: 1 online resource (xvi, 408 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗