Search Results for Games. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGames.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list 2026-03-17T10:17:14Z Beginning HTML5 Games with CreateJS ent://SD_ILS/0/SD_ILS:618564 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Manderscheid, Brad. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6341-8">https://doi.org/10.1007/978-1-4302-6341-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Use of Serious Games ent://SD_ILS/0/SD_ILS:170551 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Kankaanranta, Marja. editor.&#160;Neittaanm&auml;ki, Pekka. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering and computer games ent://SD_ILS/0/SD_ILS:313252 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Rucker, Rudy v. B. (Rudy von Bitter), 1946-<br/>Preferred Shelf Number&#160;QA76.758 R83 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Games, Actions and Social Software Multidisciplinary Aspects ent://SD_ILS/0/SD_ILS:196670 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Eijck, Jan. editor.&#160;Verbrugge, Rineke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:607897 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Hartisch, Michael. editor. (orcid)0000-0001-6304-4973&#160;Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116&#160;Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86585-5">https://doi.org/10.1007/978-3-031-86585-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613760 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824&#160;van den Herik, H. Jaap. editor.&#160;Kosters, Walter A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computers and Games 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 - July 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615968 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Plaat, Aske. editor.&#160;Kosters, Walter. editor.&#160;van den Herik, Jaap. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-50935-8">https://doi.org/10.1007/978-3-319-50935-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Games and Learning Alliance 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:611329 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;de Gloria, Alessandro. editor.&#160;Veltkamp, Remco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40216-1">https://doi.org/10.1007/978-3-319-40216-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities ent://SD_ILS/0/SD_ILS:618525 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Lewis, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6422-4">https://doi.org/10.1007/978-1-4302-6422-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Physics for JavaScript Games, Animation, and Simulations with HTML5 Canvas ent://SD_ILS/0/SD_ILS:618651 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Dobre, Adrian. author.&#160;Ramtal, Dev. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6338-8">https://doi.org/10.1007/978-1-4302-6338-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Building JavaScript Games for Phones, Tablets, and Desktop ent://SD_ILS/0/SD_ILS:618579 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Egges, Arjan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6539-9">https://doi.org/10.1007/978-1-4302-6539-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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 Birthday ent://SD_ILS/0/SD_ILS:334547 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Coecke, Bob. editor.&#160;Ong, Luke. editor.&#160;Panangaden, Prakash. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334547.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:197208 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Beer, Martin. editor.&#160;Brom, Cyril. editor.&#160;Dignum, Frank. editor.&#160;Soo, Von-Wun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents for Games and Simulations II Trends in Techniques, Concepts and Design ent://SD_ILS/0/SD_ILS:193824 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Dignum, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Geometric Algebra: An Algebraic System for Computer Games and Animation ent://SD_ILS/0/SD_ILS:175965 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Vince, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:608296 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:608297 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:608320 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792&#160;Heule, Marijn. editor. (orcid)0000-0002-5587-8801&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608665 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895&#160;Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614&#160;Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91328-0">https://doi.org/10.1007/978-3-031-91328-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607214 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608785 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996&#160;Eichler, Gerald. editor. (orcid)0000-0002-7420-698X&#160;Erfurth, Christian. editor. (orcid)0000-0003-2761-3985&#160;Fahrnberger, G&uuml;nter. editor. (orcid)0000-0002-2606-3988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94263-1">https://doi.org/10.1007/978-3-031-94263-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:609528 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Marto, Anabela. editor. (orcid)0000-0001-6005-288X&#160;Prada, Rui. editor. (orcid)0000-0002-5370-1893&#160;Gouveia, Patr&iacute;cia. editor. (orcid)0000-0002-4351-8999&#160;Espinosa, Ruth Contreras-. editor. (orcid)0000-0002-9699-9087&#160;Gon&ccedil;alves, Alexandrino. editor. (orcid)0000-0002-5966-3218<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81713-7">https://doi.org/10.1007/978-3-031-81713-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607116 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 I ent://SD_ILS/0/SD_ILS:603145 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 II ent://SD_ILS/0/SD_ILS:603151 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 III ent://SD_ILS/0/SD_ILS:603152 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Finkbeiner, Bernd. editor.&#160;Kov&aacute;cs, Laura. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603302 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614&#160;Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895&#160;Mon, Alicia. editor. (orcid)0000-0001-6365-9943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57982-0">https://doi.org/10.1007/978-3-031-57982-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602251 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Vale Costa, Liliana. editor.&#160;Zagalo, Nelson. editor. (orcid)0000-0002-5478-0650&#160;Veloso, Ana Isabel. editor.&#160;Clua, Esteban. editor. (orcid)0000-0001-5650-1718&#160;Arnab, Sylvester. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51452-4">https://doi.org/10.1007/978-3-031-51452-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605244 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Kov&aacute;cs, Laura. editor. (orcid)0000-0002-8299-2714&#160;Sokolova, Ana. editor. (orcid)0000-0002-8384-3438&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611629 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613073 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Steffen, Bernhard. editor.&#160;Baier, Christel. editor.&#160;van den Brand, Mark. editor.&#160;Eder, Johann. editor.&#160;Hinchey, Mike. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616155 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Oliveira, Eug&eacute;nio. editor.&#160;Gama, Jo&atilde;o. editor.&#160;Vale, Zita. editor.&#160;Lopes Cardoso, Henrique. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:616714 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Esparza, Javier. editor. (orcid)0000-0001-9862-4919&#160;Murawski, Andrzej S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618308 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Benferhat, Salem. editor. (orcid)0000-0002-4853-3637&#160;Tabia, Karim. editor.&#160;Ali, Moonis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:617254 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Kurosu, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58077-7">https://doi.org/10.1007/978-3-319-58077-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:611718 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:615929 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Marcus, Aaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40355-7">https://doi.org/10.1007/978-3-319-40355-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:616026 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Chaudhuri, Swarat. editor.&#160;Farzan, Azadeh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616055 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Chaudhuri, Swarat. editor.&#160;Farzan, Azadeh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:617134 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Jacobs, Bart. editor.&#160;L&ouml;ding, Christof. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro JavaScript Development Coding, Capabilities, and Tooling ent://SD_ILS/0/SD_ILS:618524 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Odell, Den. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6269-5">https://doi.org/10.1007/978-1-4302-6269-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C++ Game Development Primer ent://SD_ILS/0/SD_ILS:618542 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Sutherland, Bruce. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0814-4">https://doi.org/10.1007/978-1-4842-0814-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HTML5 Game Development Insights ent://SD_ILS/0/SD_ILS:618561 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;McAnlis, Colt. author.&#160;Lubbers, Peter. author.&#160;Jones, Brandon. author.&#160;Mazur, Andrzej. author.&#160;Bennett, Sean. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6698-3">https://doi.org/10.1007/978-1-4302-6698-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn C++ for Game Development ent://SD_ILS/0/SD_ILS:618691 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Sutherland, Bruce. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Unity Game Development with C# ent://SD_ILS/0/SD_ILS:618681 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Thorn, Alan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6745-4">https://doi.org/10.1007/978-1-4302-6745-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beginning Google Glass Development ent://SD_ILS/0/SD_ILS:618682 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Tang, Jeff. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6787-4">https://doi.org/10.1007/978-1-4302-6787-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Game Development Tool Essentials ent://SD_ILS/0/SD_ILS:618683 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Berinstein, Paula. author.&#160;Arnaud, Remi. author.&#160;Ardolino, Alessandro. author.&#160;Franco, Simon. author.&#160;Herubel, Adrien. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6701-0">https://doi.org/10.1007/978-1-4302-6701-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learn SpriteBuilder for iOS Game Development ent://SD_ILS/0/SD_ILS:618707 2026-03-17T10:17:14Z 2026-03-17T10:17:14Z Author&#160;Itterheim, Steffen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4842-0262-3">https://doi.org/10.1007/978-1-4842-0262-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>