1. AI*IA 2017 : Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings /: Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. (2017) Editors: Esposito, Floriana, 1947-; Basili, Roberto; Ferilli, Stefano; Lisi, Francesca A Other Names: Associazione italiana per l'intelligenza artificiale., Congress, (16th) 2017 (Bari, Italy) Record Type: Book Extent: 1 online resource (xiv, 514 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings /: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2530, 2017, proceedings. ([2017]) Editors: Best, Eike; Aalst, Wil van der Other Names: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 38th Record Type: Book Extent: 1 online resource (xiv, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Applications of evolutionary computation. 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings /: 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part II : (2017) Editors: Squillero, Giovanni; (Lecturer in computing science), Sim, Kevin Other Names: EvoApplications (Conference), 20th Record Type: Book Extent: 1 online resource (xxiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Applications of evolutionary computation. 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings /: 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part I : (2017) Editors: Squillero, Giovanni; (Lecturer in computing science), Sim, Kevin Other Names: EvoApplications (Conference), 20th Record Type: Book Extent: 1 online resource (xxiv, 905 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part I : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 776 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part II : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 742 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Artificial neural networks and machine learning -- ICANN 2017. 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings /: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings. Part I : (2017) Editors: Lintas, Alessandra; Rovetta, Stefano; Verschure, Paul F. M. J; Villa, Alessandro E. P Other Names: International Conference on Artificial Neural Networks (European Neural Network Society), 26th Record Type: Book Extent: 1 online resource (xxxi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Artificial neural networks and machine learning -- ICANN 2017. 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings /: 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings. Part II : (2017) Editors: Lintas, Alessandra; Rovetta, Stefano; Verschure, Paul F. M. J; Villa, Alessandro E. P Other Names: International Conference on Artificial Neural Networks (European Neural Network Society), 26th Record Type: Book Extent: 1 online resource (xxxi, 801 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗