891. 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) ↗
892. 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) ↗
893. 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) ↗
894. 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) ↗
895. 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) ↗
896. 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) ↗
897. 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) ↗
898. 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) ↗
899. 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) ↗
900. 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) ↗