461. Computer science -- theory and applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. (2017) Editors: Weil, Pascal Other Names: International Computer Science Symposium in Russia, 12th Record Type: Book Extent: 1 online resource (x, 337 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
462. Smart Cities : Second International Conference, SmartCT 2017, Málaga, Spain, June 1416, 2017, proceedings /: Second International Conference, SmartCT 2017, Málaga, Spain, June 1416, 2017, proceedings. ([2017]) Editors: Luque, Gabriel; Chicano, Francisco; Alba, Enrique Other Names: SmartCT (Conference), 2nd Record Type: Book Extent: 1 online resource (x, 165 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
463. Big data technologies and applications : 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings /: 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016, Proceedings. (2017) Editors: Jung, Jason J; Kim, Pankoo Other Names: BDTA (Conference), 7th Record Type: Book Extent: 1 online resource (x, 155 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
464. Theory and models for cyber situation awareness. (2017) Editors: Liu, Peng; Jajodia, Sushil; Wang, Cliff Record Type: Book Extent: 1 online resource (vii, 227 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
465. Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017) Editors: Pighizzini, Giovanni; Câmpeanu, Cezar Other Names: DCFS (Workshop), 19th Record Type: Book Extent: 1 online resource (x, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
466. Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings. (2017) Editors: Lara, Juan de (Lara Jaramillo); Plump, Detlef Other Names: ICGT (Conference), 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
467. Hybrid artificial intelligent systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /: 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings. (2017) Editors: Martínez de Pisón, Francisco Javier; Urraca, Rubén; Quintián, Héctor; Corchado, Emilio Other Names: HAIS (Conference), 12th Record Type: Book Extent: 1 online resource (xviii, 725 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
468. Scale space and variational methods in computer vision : 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings /: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. (2017) Editors: Lauze, Francois; Dong, Yiqiu; Dahl, Anders Bjorholm Other Names: SSVM (Conference), 6th Record Type: Book Extent: 1 online resource (xv, 708 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
469. Computer information systems and industrial management : 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings /: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings. (2017) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław; Chaki, Rituparna Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 16th Record Type: Book Extent: 1 online resource (xxii, 710 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
470. 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) ↗