91. Computer science -- theory and applications : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings. (2018) Editors: Fomin, Fedor V; Podolskii, Vladimir V Other Names: International Computer Science Symposium in Russia, 13th Record Type: Book Extent: 1 online resource (xxxii, 335 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
92. Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. ([2018]) Editors: Klein, Shmuel Tomi; Martín Vide, Carlos; Shapira, Dana Other Names: LATA (Conference), 12th Record Type: Book Extent: 1 online resource (x, 321 pages), 39 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
93. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part I (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 429 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
94. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
95. Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016) Editors: Lluch Lafuente, Alberto; Proença, José Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th Record Type: Book Extent: 1 online resource (xiv, 279 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
96. Computational autism. ([2016]) Authors: Galitsky, Boris Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
97. Euro-Par 2016 : parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /: parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. (2016) Editors: Dutot, Pierre-François; Trystram, Denis Other Names: International EURO-PAR Conference, 22nd Record Type: Book Extent: 1 online resource (xxix, 699 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
98. Descriptional complexity of formal systems : 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /: 18th International Workshop, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings. ([2016]) Editors: Câmpeanu, Cezar; Manea, Florin; Shallit, Jeffrey Other Names: DCFS (Workshop), 18th Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
99. Unconventional computation and natural computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. (2016) Editors: Amos, Martyn; Condon, Anne Other Names: UCNC (Conference), 15th Record Type: Book Extent: 1 online resource (xviii, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
100. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016) Editors: Bošnački, Dragan, 1963-; Wijs, Anton Other Names: International SPIN Workshop, 23rd; ETAPS (Conference), 19th Record Type: Book Extent: 1 online resource (xvi, 245 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗