431. Multi-agent systems and agreement technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers /: 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers. (2017) Editors: Criado Pacheco, Natalia; Carrascosa, Carlos; Osman, Nardine; Inglada, Vicente Julián Other Names: EUMAS (Workshop), 14th; AT (Conference), 4th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
432. Parameter advising for multiple sequence alignment. ([2017]) Authors: DeBlasio, Dan; Kececioglu, John Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
433. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
434. Eigenvalue Problems : Algorithms, Software and Applications in Petascale Computing : EPASA 2015, Tsukuba, Japan, September 2015 /: Algorithms, Software and Applications in Petascale Computing : EPASA 2015, Tsukuba, Japan, September 2015. (2018) Editors: Sakurai, Tetsuya; Zhang, Shao-Liang; Imamura, Toshiyuki; Yamamoto, Yusaku; Kuramashi, Yoshinobu; Hoshi, Takeo Record Type: Book Extent: 1 online resource (313 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
435. 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) ↗
436. 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) ↗
437. 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) ↗
438. 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) ↗
439. 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) ↗
440. 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) ↗