71. Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. (2017) Editors: Gopal, T. V; Dr, Jäger, Gerhard; Steila, Silvia Other Names: TAMC (Conference), 14th Record Type: Book Extent: 1 online resource (xxvi, 698 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Privacy technologies and policy : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised selected papers /: 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised selected papers. (2017) Editors: Schweighofer, Erich; Leitold, Herbert, 1965-; Mitrakas, Andreas; Rannenberg, Kai Other Names: Annual Privacy Forum, 5th Record Type: Book Extent: 1 online resource (xiv, 231 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. Biomimetic and biohybrid systems : 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings /: 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings. (2018) Editors: Vouloutsi, Vasiliki; Halloy, José; Mura, Anna; (Senior lecturer in computer science), Mangan, Michael; Lepora, Nathan; Prescott, Tony J; Verschure, Paul F. M. J Other Names: Living Machines (Conference), 7th Record Type: Book Extent: 1 online resource (xviii, 551 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. 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) ↗
75. 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) ↗
76. Artificial intelligence applications and innovations : AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings /: AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings. (2018) Editors: Iliadis, Lazaros S; Maglogiannis, Ilias G; Plagianakos, Vassilis Other Names: IFIP TC12 WG12.5--IFIP Conference on Artificial Intelligence Applications and Innovations, 14th; SEDSEAL (Workshop); 5G-PINE (Workshop), 3rd; MHDW (Workshop), 7th; HEALTHIOT (Workshop) Record Type: Book Extent: 1 online resource (xxvii, 276 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Algorithms and models for the web graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, proceedings /: 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, proceedings. (2018) Editors: Bonato, Anthony, 1971-; Prałat, Paweł; Raigorodskii, Andrei Other Names: WAW (Workshop), 15th Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Computing and combinatorics : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings /: 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings. (2018) Editors: Wang, Lusheng, 1962-; (Professor), Zhu, Daming Other Names: COCOON (Conference), 24th Record Type: Book Extent: 1 online resource (xix, 767 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Advances in neural networks -- ISNN 2018 : 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings /: 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings. (2018) Editors: Huang, Tingwen; Lv, Jian Cheng; (Computer engineer), Sun, Changyin; Tuzikov, A. V Other Names: International Symposium on Neural Networks, 15th Record Type: Book Extent: 1 online resource (xix, 872 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. 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) ↗