Search Results for Art - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArt$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list2026-03-24T03:32:52ZExplorations in Art and Technologyent://SD_ILS/0/SD_ILS:3989512026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-7367-0">https://doi.org/10.1007/978-1-4471-7367-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Processing Creative Coding and Computational Artent://SD_ILS/0/SD_ILS:1709642026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Greenberg, Ira. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0310-0">http://dx.doi.org/10.1007/978-1-4302-0310-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Camera Design Algorithms, Architectures, and Artent://SD_ILS/0/SD_ILS:4008042026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Wolf, Marilyn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69523-5">https://doi.org/10.1007/978-3-319-69523-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6081482026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90167-6">https://doi.org/10.1007/978-3-031-90167-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6030752026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56992-0">https://doi.org/10.1007/978-3-031-56992-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:3996712026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4019752026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77583-8">https://doi.org/10.1007/978-3-319-77583-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal System Verification State-of the-Art and Future Trendsent://SD_ILS/0/SD_ILS:4022582026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:4001332026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Reality Art From an Emerging Technology to a Novel Creative Mediument://SD_ILS/0/SD_ILS:4024912026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Geroimenko, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69932-5">https://doi.org/10.1007/978-3-319-69932-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Processing Creative Coding and Generative Art in Processing 2ent://SD_ILS/0/SD_ILS:3306082026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Greenberg, Ira. author. Xu, Dianna. author. Kumar, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330608.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4465-3">http://dx.doi.org/10.1007/978-1-4302-4465-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Knowledge Visualization Currents From Text to Art to Cultureent://SD_ILS/0/SD_ILS:3309492026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Marchese, Francis T. editor. Banissi, Ebad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330949.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4303-1">http://dx.doi.org/10.1007/978-1-4471-4303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Soft Computing: State of the Art Theory and Novel Applicationsent://SD_ILS/0/SD_ILS:3339052026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333905.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34922-5">http://dx.doi.org/10.1007/978-3-642-34922-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343302026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334330.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36955-1">http://dx.doi.org/10.1007/978-3-642-36955-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brain-Computer Interface Research A State-of-the-Art Summaryent://SD_ILS/0/SD_ILS:3341182026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334118.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36083-1">http://dx.doi.org/10.1007/978-3-642-36083-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rob / Arch 2012 Robotic Fabrication in Architecture, Art, and Designent://SD_ILS/0/SD_ILS:3353302026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Brell-Çokcan, Sigrid. editor. Braumann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335330.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1465-0">http://dx.doi.org/10.1007/978-3-7091-1465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Collaborative Information Seeking The Art and Science of Making the Whole Greater than the Sum of Allent://SD_ILS/0/SD_ILS:1965422026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Shah, Chirag. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28813-5">http://dx.doi.org/10.1007/978-3-642-28813-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010ent://SD_ILS/0/SD_ILS:1956542026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Bruter, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24497-1">http://dx.doi.org/10.1007/978-3-642-24497-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary and Biologically Inspired Music, Sound, Art and Design First International Conference, EvoMUSART 2012, Málaga, Spain, April 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1966242026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Machado, Penousal. editor. Romero, Juan. editor. Carballal, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29142-5">http://dx.doi.org/10.1007/978-3-642-29142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Hardware Architecture Design Methods and Techniques for Digital Circuitsent://SD_ILS/0/SD_ILS:1736732026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Arora, Mohit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0397-5">http://dx.doi.org/10.1007/978-1-4614-0397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Software Innovation Eight Practice Areas to Inspire your Businessent://SD_ILS/0/SD_ILS:1945742026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Pikkarainen, Minna. editor. Codenie, Wim. editor. Boucart, Nick. editor. Heredia Alvaro, José Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21049-5">http://dx.doi.org/10.1007/978-3-642-21049-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstructionent://SD_ILS/0/SD_ILS:1990682026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Scherl, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8259-2">http://dx.doi.org/10.1007/978-3-8348-8259-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Art and Technology of Entertainment Computing and Communication Advances in Interactive New Media for Entertainment Computingent://SD_ILS/0/SD_ILS:1761672026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Cheok, Adrian David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-137-0">http://dx.doi.org/10.1007/978-1-84996-137-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods: State of the Art and New Directionsent://SD_ILS/0/SD_ILS:1760542026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trends in Interactive Visualization State-of-the-Art Surveyent://SD_ILS/0/SD_ILS:1757892026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Liere, Robert. editor. Adriaansen, Tony. editor. Zudilova-Seinstra, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-269-2">http://dx.doi.org/10.1007/978-1-84800-269-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908452026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04131-0">http://dx.doi.org/10.1007/978-3-642-04131-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Art of Artificial Evolution A Handbook on Evolutionary Art and Musicent://SD_ILS/0/SD_ILS:1866742026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Romero, Juan. editor. Machado, Penousal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72877-1">http://dx.doi.org/10.1007/978-3-540-72877-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transdisciplinary Digital Art. Sound, Vision and the New Screen Digital Art Weeks and Interactive Futures 2006/2007, Zurich, Switzerland and Victoria, BC, Canada. Selected Papersent://SD_ILS/0/SD_ILS:1884522026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Adams, Randy. editor. Gibson, Steve. editor. Arisona, Stefan Müller. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79486-8">http://dx.doi.org/10.1007/978-3-540-79486-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Portrait of State-of-the-Art Research at the Technical University of Lisbonent://SD_ILS/0/SD_ILS:1695662026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Pereira, Manuel Seabra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5690-1">http://dx.doi.org/10.1007/978-1-4020-5690-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1874932026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1837622026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning Robots The Art and Science of Programming Robotic Agentsent://SD_ILS/0/SD_ILS:1521092026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Thielscher, Michael. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3069-X">http://dx.doi.org/10.1007/1-4020-3069-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic Programming A Computational Toolent://SD_ILS/0/SD_ILS:1844802026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-37014-7">http://dx.doi.org/10.1007/978-3-540-37014-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Spiking Neural P Systems Theory, Applications and Implementationsent://SD_ILS/0/SD_ILS:6065172026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9282-5">https://doi.org/10.1007/978-981-97-9282-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rendezvous in Distributed Systems Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6169882026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6121072026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49685-6">https://doi.org/10.1007/978-3-319-49685-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6125812026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6180152026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:6144772026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Soare, Robert I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deductive Software Verification - The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:6160092026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision Diagrams for Optimizationent://SD_ILS/0/SD_ILS:6178452026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42849-9">https://doi.org/10.1007/978-3-319-42849-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-03-24T03:32:52Z2026-03-24T03:32:52ZAuthor Kenett, Ron. Raanan, Yossi.<br/>Preferred Shelf Number ONLINE(318959.1)<br/>Electronic Access <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>