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.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2026-03-17T16:48:06ZBeginning Android Gamesent://SD_ILS/0/SD_ILS:1717942026-03-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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-17T16:48:06Z2026-03-17T16:48:06ZAuthor 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/>