481. Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016) Authors: Lamprecht, Anna-Lena Other Names: ISoLA (Symposium), 6th; ISoLA (Symposium), 5th Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
482. Metadata and semantics research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings /: 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings. (2017) Editors: Garoufallou, Emmanouel; Virkus, Sirje; Siatri, Rania; Koutsomiha, Damiana Other Names: International Conference on Metadata and Semantics Research, 11th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
483. Data management technologies and applications : 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018) Editors: Filipe, Joaquim; Bernardino, Jorge; Quix, Christoph Other Names: DATA (Conference), 6th Record Type: Book Extent: 1 online resource (xii, 287 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
484. Soft computing in data science : third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings /: third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017, Proceedings. (2017) Editors: Mohamed, Azlinah Hj; Berry, Michael W; Wah, Yap Bee Other Names: International Conference on Soft Computing in Data Science, 3rd Record Type: Book Extent: 1 online resource (xvXV, 317 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
485. New trends in databases and information systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings /: ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings. (2017) Editors: Kirikova, Marite; Nørvåg, Kjetil; Papadopoulos, George A, 1960-; Gamper, Johann; Wrembel, Robert; Darmont, Jérôme, 1972-; Rizzi, Stefano Other Names: ADBIS (Conference), 21st; AMSD (Workshop), 1st; BigNovelTI (Workshop), 1st; DAS (Workshop), 1st; SW4CH (Workshop), 2nd Record Type: Book Extent: 1 online resource (xvi, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
486. Databases and information systems : 12th International Baltic Conference, DB & IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings /: 12th International Baltic Conference, DB & IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings. (2016) Editors: Arnicans, Guntis; Arnicane, Vineta; Borzovs, Juris; Niedrite, Laila Other Names: International Baltic Conference on Databases and Information Systems, 12th Record Type: Book Extent: 1 online resource (xiii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
487. Knowledge graph and semantic computing : language, knowledge, and intelligence : second China Conference, CCKS 2017, Chengdu, China, August 26-29, 2017, Revised selected papers /: language, knowledge, and intelligence : second China Conference, CCKS 2017, Chengdu, China, August 26-29, 2017, Revised selected papers. (2017) Editors: Li, Juanzi; (Computer scientist), Zhou, Ming; Qi, Guilin; Lao, Ni; Ruan, Tong; Du, Jianfeng Other Names: CCKS (Conference), 2nd Record Type: Book Extent: 1 online resource (xiv, 173 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
488. Advances in machine learning and data science recent achievements and research directives /: recent achievements and research directives. (©2018) Other Names: Edla, Damodar Reddy; Lingras, Pawan; Venkatanareshbabu K; International Conference on Latest Advances in Machine Learning and Data Science, 1st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
489. Databases and information systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018, Proceedings /: 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018, Proceedings. (2018) Editors: Lupeikiene, Audrone; Vasilecas, Olegas; Dzemyda, Gintautas Other Names: International Baltic Conference on Databases and Information Systems, 13th Record Type: Book Extent: 1 online resource (xv, 392 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
490. Game theory and applications : 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised selected papers /: 3rd Joint China-Dutch Workshop and 7th China Meeting, GTA 2016, Fuzhou, China, November 20-23, 2016, Revised selected papers. (2017) Editors: Li, Deng-Feng, 1965-; Yang, Xiao-Guang; Uetz, Marc; Xu, Gen-Jiu Other Names: Joint China-Dutch Workshop on Game Theory and Applications, 3rd; International Conference on Game Theory and Applications (China), 7th Record Type: Book Extent: 1 online resource (xv, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗