Search Results for int&eacute;raction. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dint$0025C3$0025A9raction.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-12-05T13:03:08Z Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195554 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Ditmarsch, Hans. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Ju, Shier. 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-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach ent://SD_ILS/0/SD_ILS:192688 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Montali, Marco. author.&#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-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190676 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Cao, Longbing. editor.&#160;Gorodetsky, Vladimir. editor.&#160;Liu, Jiming. editor.&#160;Weiss, Gerhard. editor.&#160;Yu, Philip S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191090 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;He, Xiangdong. editor.&#160;Horty, John. editor.&#160;Pacuit, Eric. 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-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;rg. 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-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I ent://SD_ILS/0/SD_ILS:186743 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Jacko, Julie A. 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-540-73105-4">http://dx.doi.org/10.1007/978-3-540-73105-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II ent://SD_ILS/0/SD_ILS:186744 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Jacko, Julie A. 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-540-73107-8">http://dx.doi.org/10.1007/978-3-540-73107-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III ent://SD_ILS/0/SD_ILS:186745 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Jacko, Julie A. 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-540-73110-8">http://dx.doi.org/10.1007/978-3-540-73110-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:186746 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Jacko, Julie A. 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-540-73111-5">http://dx.doi.org/10.1007/978-3-540-73111-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I ent://SD_ILS/0/SD_ILS:186800 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Stephanidis, Constantine. 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-540-73279-2">http://dx.doi.org/10.1007/978-3-540-73279-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II ent://SD_ILS/0/SD_ILS:186801 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Stephanidis, Constantine. 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-540-73281-5">http://dx.doi.org/10.1007/978-3-540-73281-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III ent://SD_ILS/0/SD_ILS:186802 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Stephanidis, Constantine. 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-540-73283-9">http://dx.doi.org/10.1007/978-3-540-73283-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings ent://SD_ILS/0/SD_ILS:335433 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Nishizaki, Shin-ya. editor.&#160;Numao, Masayuki. editor.&#160;Caro, Jaime. editor.&#160;Suarez, Merlin Teodosia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335433.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2024-12-05T13:03:08Z 2024-12-05T13:03:08Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>