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-17T21:32:39ZBeginning Android Gamesent://SD_ILS/0/SD_ILS:1717942026-03-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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-17T21:32:39Z2026-03-17T21:32:39ZAuthor 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/>