11. Cellular automata and discrete complex systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /: 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings. (2017) Editors: Dennunzio, Alberto; Formenti, Enrico, 1968-; Manzoni, Luca; Porreca, Antonio E Other Names: AUTOMATA (Workshop), 23rd Record Type: Book Extent: 1 online resource (xvi, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Computational intelligence methods for bioinformatics and biostatistics : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised selected papers /: 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised selected papers. (2017) Editors: Bracciali, Andrea; Caravagna, Giulio; Gilbert, David; Tagliaferri, Roberto Other Names: CIBB (Meeting), 13th Record Type: Book Extent: 1 online resource (xxii, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Computer Networks : 27th International Conference, CN 2020, Gdańsk, Poland, June 23-24, 2020, Proceedings /: 27th International Conference, CN 2020, Gdańsk, Poland, June 23-24, 2020, Proceedings. (2020) Editors: Gaj, Piotr; Gumiński, Wojciech; Kwiecień, Andrzej Record Type: Book Extent: 1 online resource (215 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. (2016) Editors: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N Other Names: EPEW (Workshop), 13th Record Type: Book Extent: 1 online resource (xviii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /: 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. (2017) Editors: Reinecke, Philipp; Di Marco, Antinisca Other Names: EPEW (Workshop), 14th Record Type: Book Extent: 1 online resource (XVI, 299 pages), 103 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /: theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. (2017) Editors: Larsen, K. G (Kim G.), 1957-; Sokolsky, Oleg; Wang, Ji Other Names: SETTA (Symposium), 3rd Record Type: Book Extent: 1 online resource (xviii, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
17. Examples in parametric inference with R. (2016) Authors: Dixit, Ulhas Jayram Record Type: Book Extent: 1 online resource (lviii, 423 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Feistel ciphers : security proofs and cryptanalysis /: security proofs and cryptanalysis. ([2017]) Authors: Nachef, Valerie; Patarin, Jacques; Volte, Emmanuel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. Fetal, infant and ophthalmic medical image analysis : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings /: International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings. (2017) Editors: Cardoso, M. Jorge; Arbel, Tal Other Names: FIFI (Workshop); OMIA (Workshop), 4th; International Conference on Medical Image Computing and Computer-Assisted Intervention, 20th Record Type: Book Extent: 1 online resource (xiii, 252 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
20. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗