Search Results for Games. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGames.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list2026-03-18T06:32:03ZBeginning Android Gamesent://SD_ILS/0/SD_ILS:1717942026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Zechner, Mario. author. Green, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4678-7">http://dx.doi.org/10.1007/978-1-4302-4678-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Android Gamesent://SD_ILS/0/SD_ILS:1718072026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Silva, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4798-2">http://dx.doi.org/10.1007/978-1-4302-4798-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Android Gamesent://SD_ILS/0/SD_ILS:1714352026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Zechner, Mario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3043-4">http://dx.doi.org/10.1007/978-1-4302-3043-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>iPhone Games Projectsent://SD_ILS/0/SD_ILS:1712512026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Cabrera, P J. author. Bondo, Joachim. author. Fothergill, Aaron. author. Greenstone, Brian. author. Hennessy, Olivier. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1969-9">http://dx.doi.org/10.1007/978-1-4302-1969-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Android Gamesent://SD_ILS/0/SD_ILS:1713452026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Silva, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2648-2">http://dx.doi.org/10.1007/978-1-4302-2648-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning iOS Social Gamesent://SD_ILS/0/SD_ILS:3306542026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Richter, Kyle. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330654.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4906-1">http://dx.doi.org/10.1007/978-1-4302-4906-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Android 4 Gamesent://SD_ILS/0/SD_ILS:1716872026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Silva, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4060-0">http://dx.doi.org/10.1007/978-1-4302-4060-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning iPhone Games Developmentent://SD_ILS/0/SD_ILS:1713342026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Bakhirev, Peter. author. Cabrera, P J. author. Marsh, Ian. author. Penberthy, Scott. author. Smith, Ben Britten. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2600-0">http://dx.doi.org/10.1007/978-1-4302-2600-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Blackberry Games Developmentent://SD_ILS/0/SD_ILS:1713582026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Hamer, Carol. author. Davison, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2719-9">http://dx.doi.org/10.1007/978-1-4302-2719-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Gamesent://SD_ILS/0/SD_ILS:4019162026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63519-4">https://doi.org/10.1007/978-3-319-63519-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:3993852026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Xu, Chong-wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro HTML5 Gamesent://SD_ILS/0/SD_ILS:1717962026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Shankar, Aditya Ravi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4711-1">http://dx.doi.org/10.1007/978-1-4302-4711-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Location-Based Mobile Games Design Perspectivesent://SD_ILS/0/SD_ILS:4008502026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Spallazzo, Davide. author. Mariani, Ilaria. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75256-3">https://doi.org/10.1007/978-3-319-75256-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning C# by Programming Gamesent://SD_ILS/0/SD_ILS:3342392026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334239.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36580-5">http://dx.doi.org/10.1007/978-3-642-36580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HTML5 Games Most Wantedent://SD_ILS/0/SD_ILS:1716642026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kuryanovich, Egor. author. Shalom, Shy. author. Goldenberg, Russell. author. Paumgarten, Mathias. author. Strauß, David. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3979-6">http://dx.doi.org/10.1007/978-1-4302-3979-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning iOS6 Games Developmentent://SD_ILS/0/SD_ILS:1717602026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Jordan, Lucas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4423-3">http://dx.doi.org/10.1007/978-1-4302-4423-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games and Edutainment Applicationsent://SD_ILS/0/SD_ILS:1733752026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ma, Minhua. editor. Oikonomou, Andreas. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2161-9">http://dx.doi.org/10.1007/978-1-4471-2161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Android Tablet Games Programmingent://SD_ILS/0/SD_ILS:1716332026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kerfs, Jeremy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3853-9">http://dx.doi.org/10.1007/978-1-4302-3853-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Android 4 Games Developmentent://SD_ILS/0/SD_ILS:1716672026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Zechner, Mario. author. Green, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3988-8">http://dx.doi.org/10.1007/978-1-4302-3988-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Android 4 Games Developmentent://SD_ILS/0/SD_ILS:1716802026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor DiMarzio, J. F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4030-3">http://dx.doi.org/10.1007/978-1-4302-4030-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:1705172026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Matrix Transforms for Computer Games and Animationent://SD_ILS/0/SD_ILS:1735532026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4321-5">http://dx.doi.org/10.1007/978-1-4471-4321-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning iOS 3D Unreal Games Developmentent://SD_ILS/0/SD_ILS:1716822026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Chin, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4036-5">http://dx.doi.org/10.1007/978-1-4302-4036-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games, Actions and Social Software Multidisciplinary Aspectsent://SD_ILS/0/SD_ILS:1966702026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29326-9">http://dx.doi.org/10.1007/978-3-642-29326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6026952026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54968-7">https://doi.org/10.1007/978-3-031-54968-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Immersive Video Games Using 3DUI Technologies Improving the Gamer's User Experienceent://SD_ILS/0/SD_ILS:3994712026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kulshreshth, Arun K. author. LaViola Jr., Joseph J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77953-9">https://doi.org/10.1007/978-3-319-77953-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collectionent://SD_ILS/0/SD_ILS:4010342026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Lawo, Michael. editor. Knackfuß, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-21957-4">https://doi.org/10.1007/978-3-658-21957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games 4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990842026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Göbel, Stefan. editor. Garcia-Agundez, Augusto. editor. Tregel, Thomas. editor. Ma, Minhua. editor. (orcid)0000-0001-7451-546X Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02762-9">https://doi.org/10.1007/978-3-030-02762-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Games 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4022362026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Saffidine, Abdallah. editor. (orcid)0000-0001-9805-8291 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75931-9">https://doi.org/10.1007/978-3-319-75931-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6137602026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71649-7">https://doi.org/10.1007/978-3-319-71649-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6155662026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57969-6">https://doi.org/10.1007/978-3-319-57969-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6121032026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39402-2">https://doi.org/10.1007/978-3-319-39402-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Games for Health Proceedings of the 3rd european conference on gaming and playful interaction in health careent://SD_ILS/0/SD_ILS:3352902026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Schouten, Ben. editor. Fedtke, Stephen. editor. Bekker, Tilde. editor. Schijven, Marlies. editor. Gekker, Alex. editor.<br/>Preferred Shelf Number ONLINE(335290.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-02897-8">http://dx.doi.org/10.1007/978-3-658-02897-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games Development and Applications 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350042026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ma, Minhua. editor. Oliveira, Manuel Fradinho. editor. Petersen, Sobah. editor. Hauge, Jannicke Baalsrud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335004.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40790-1">http://dx.doi.org/10.1007/978-3-642-40790-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1971462026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31866-5">http://dx.doi.org/10.1007/978-3-642-31866-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papersent://SD_ILS/0/SD_ILS:1972082026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32326-3">http://dx.doi.org/10.1007/978-3-642-32326-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games Development and Applications Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1974232026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ma, Minhua. editor. Oliveira, Manuel Fradinho. editor. Hauge, Jannicke Baalsrud. editor. Duin, Heiko. editor. Thoben, Klaus-Dieter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33687-4">http://dx.doi.org/10.1007/978-3-642-33687-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games: The Challenge ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, October 19-21, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1974352026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Wannemacker, Stefan. editor. Vandercruysse, Sylke. editor. Clarebout, Geraldine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33814-4">http://dx.doi.org/10.1007/978-3-642-33814-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Gamers at Work Stories Behind the Games People Playent://SD_ILS/0/SD_ILS:1715072026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ramsay, Morgan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3352-7">http://dx.doi.org/10.1007/978-1-4302-3352-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical AVR Microcontrollers Games, Gadgets, and Home Automation with the Microcontroller Used in Arduinoent://SD_ILS/0/SD_ILS:1717632026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Trevennor, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4447-9">http://dx.doi.org/10.1007/978-1-4302-4447-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games 5th International Conference, MIG 2012, Rennes, France, November 15-17, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975432026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kallmann, Marcelo. editor. Bekris, Kostas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34710-8">http://dx.doi.org/10.1007/978-3-642-34710-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>E-Learning and Games for Training, Education, Health and Sports 7th International Conference, Edutainment 2012 and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973802026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Göbel, Stefan. editor. Müller, Wolfgang. editor. Urban, Bodo. editor. Wiemeyer, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33466-5">http://dx.doi.org/10.1007/978-3-642-33466-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937522026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17928-0">http://dx.doi.org/10.1007/978-3-642-17928-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Essential Guide to Physics for Flash Games, Animation, and Simulationsent://SD_ILS/0/SD_ILS:1715842026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ramtal, Dev. author. Dobre, Adrian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3675-7">http://dx.doi.org/10.1007/978-1-4302-3675-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning iOS 5 Games Development Using the iOS 5 SDK for iPad, iPhone, and iPod Touchent://SD_ILS/0/SD_ILS:1715952026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Jordan, Lucas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3711-2">http://dx.doi.org/10.1007/978-1-4302-3711-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language, Games, and Evolution Trends in Current Research on Language and Game Theoryent://SD_ILS/0/SD_ILS:1937752026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Benz, Anton. editor. Ebert, Christian. editor. Jäger, Gerhard. editor. Rooij, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18006-4">http://dx.doi.org/10.1007/978-3-642-18006-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Serious Games Development and Applications Second International Conference, SGDA 2011, Lisbon, Portugal, September 19-20, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954622026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ma, Minhua. editor. Fradinho Oliveira, Manuel. editor. Madeiras Pereira, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23834-5">http://dx.doi.org/10.1007/978-3-642-23834-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Games on Automatic Structures Playing with Quantifiers and Decompositionsent://SD_ILS/0/SD_ILS:1951452026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kaiser, Łukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22807-0">http://dx.doi.org/10.1007/978-3-642-22807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games 4th International Conference, MIG 2011, Edinburgh, UK, November 13-15, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1958392026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Allbeck, Jan M. editor. Faloutsos, Petros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25090-3">http://dx.doi.org/10.1007/978-3-642-25090-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents for Games and Simulations II Trends in Techniques, Concepts and Designent://SD_ILS/0/SD_ILS:1938242026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18181-8">http://dx.doi.org/10.1007/978-3-642-18181-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications 6th International Conference on E-learning and Games, Edutainment 2011, Taipei, Taiwan, September 2011. Proceedingsent://SD_ILS/0/SD_ILS:1953472026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Chang, Maiga. editor. Hwang, Wu-Yuin. editor. Chen, Ming-Puu. editor. Müller, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23456-9">http://dx.doi.org/10.1007/978-3-642-23456-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evaluating User Experience in Games Concepts and Methodsent://SD_ILS/0/SD_ILS:1761132026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Bernhaupt, Regina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-963-3">http://dx.doi.org/10.1007/978-1-84882-963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Essential Guide to Flash Games Building Interactive Entertainment with ActionScript 3.0ent://SD_ILS/0/SD_ILS:1713382026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Fulton, Jeff. author. Fulton, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2615-4">http://dx.doi.org/10.1007/978-1-4302-2615-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Windows Mobile Game Development Building Games for the Windows Phone and Other Mobile Devicesent://SD_ILS/0/SD_ILS:1714042026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Dawes, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2929-2">http://dx.doi.org/10.1007/978-1-4302-2929-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Essential Guide to HTML5 Using Games to Learn HTML5 and JavaScriptent://SD_ILS/0/SD_ILS:1715172026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Meyer, Jeannie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3384-8">http://dx.doi.org/10.1007/978-1-4302-3384-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1926862026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Zhang, Xiaopeng. editor. Zhong, Shaochun. editor. Pan, Zhigeng. editor. Wong, Kevin. editor. Yun, Ruwei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14533-9">http://dx.doi.org/10.1007/978-3-642-14533-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papersent://SD_ILS/0/SD_ILS:1921792026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Spronck, Pieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12993-3">http://dx.doi.org/10.1007/978-3-642-12993-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1934752026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Boulic, Ronan. editor. Chrysanthou, Yiorgos. editor. Komura, Taku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16958-8">http://dx.doi.org/10.1007/978-3-642-16958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games Second International Workshop, MIG 2009, Zeist, The Netherlands, November 21-24, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1913422026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Egges, Arjan. editor. Geraerts, Roland. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10347-6">http://dx.doi.org/10.1007/978-3-642-10347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Geometric Algebra: An Algebraic System for Computer Games and Animationent://SD_ILS/0/SD_ILS:1759652026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-379-2">http://dx.doi.org/10.1007/978-1-84882-379-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning by Playing. Game-based Education System Design and Development 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906032026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Chang, Maiga. editor. Kuo, Rita. editor. Kinshuk. editor. Chen, Gwo-Dong. editor. Hirose, Michitaka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03364-3">http://dx.doi.org/10.1007/978-3-642-03364-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agents for Games and Simulations Trends in Techniques, Concepts and Designent://SD_ILS/0/SD_ILS:1916112026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Dignum, Frank. editor. Bradshaw, Jeff. editor. Silverman, Barry. editor. Doesburg, Willem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11198-3">http://dx.doi.org/10.1007/978-3-642-11198-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motivated Reinforcement Learning Curious Characters for Multiuser Gamesent://SD_ILS/0/SD_ILS:1892162026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Merrick, Kathryn. author. Maher, Mary Lou. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89187-1">http://dx.doi.org/10.1007/978-3-540-89187-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computable Models of the Law Languages, Dialogues, Games, Ontologiesent://SD_ILS/0/SD_ILS:1887292026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Casanovas, Pompeu. editor. Sartor, Giovanni. editor. Casellas, Núria. editor. Rubino, Rossella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85569-9">http://dx.doi.org/10.1007/978-3-540-85569-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Building XNA 2.0 Games A Practical Guide for Independent Game Developmentent://SD_ILS/0/SD_ILS:1711172026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Silva, James. author. Sedlak, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0980-5">http://dx.doi.org/10.1007/978-1-4302-0980-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1888812026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87608-3">http://dx.doi.org/10.1007/978-3-540-87608-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fun and Games Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890322026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Markopoulos, Panos. editor. Ruyter, Boris. editor. IJsselsteijn, Wijnand. editor. Rowland, Duncan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88322-7">http://dx.doi.org/10.1007/978-3-540-88322-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion in Games First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papersent://SD_ILS/0/SD_ILS:1892232026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Egges, Arjan. editor. Kamphuis, Arno. editor. Overmars, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89220-5">http://dx.doi.org/10.1007/978-3-540-89220-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creating Mobile Games Using Java™ ME Platform to Put the Fun into Your Mobile Device and Cell Phoneent://SD_ILS/0/SD_ILS:1710152026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Hamer, Carol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0418-3">http://dx.doi.org/10.1007/978-1-4302-0418-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papersent://SD_ILS/0/SD_ILS:1874412026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75538-8">http://dx.doi.org/10.1007/978-3-540-75538-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papersent://SD_ILS/0/SD_ILS:1834012026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11674399">http://dx.doi.org/10.1007/11674399</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papersent://SD_ILS/0/SD_ILS:1851482026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11922155">http://dx.doi.org/10.1007/11922155</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6061522026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77019-7">https://doi.org/10.1007/978-3-031-77019-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071162026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6071582026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82670-2">https://doi.org/10.1007/978-3-031-82670-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072142026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6072612026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82697-9">https://doi.org/10.1007/978-3-031-82697-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6081732026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90062-4">https://doi.org/10.1007/978-3-031-90062-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6081742026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90065-5">https://doi.org/10.1007/978-3-031-90065-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6029792026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56852-7">https://doi.org/10.1007/978-3-031-56852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6030192026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56855-8">https://doi.org/10.1007/978-3-031-56855-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6050102026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71713-0">https://doi.org/10.1007/978-3-031-71713-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6052182026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71704-8">https://doi.org/10.1007/978-3-031-71704-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6051132026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71707-9">https://doi.org/10.1007/978-3-031-71707-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6051222026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71710-9">https://doi.org/10.1007/978-3-031-71710-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031502026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031662026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6052442026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emotion in Video Game Soundtrackingent://SD_ILS/0/SD_ILS:4026382026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Williams, Duncan. editor. Lee, Newton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72272-6">https://doi.org/10.1007/978-3-319-72272-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115232026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6124932026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66700-3">https://doi.org/10.1007/978-3-319-66700-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6174052026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6174332026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122962026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Life and Computational Intelligence Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6116052026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Ray, Tapabrata. editor. Sarker, Ruhul. editor. Li, Xiaodong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28270-1">https://doi.org/10.1007/978-3-319-28270-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117182026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:6144772026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor 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/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6160262026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6160552026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6163062026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53354-3">https://doi.org/10.1007/978-3-662-53354-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-03-18T06:32:03Z2026-03-18T06:32:03ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>