Search Results for Taiwan. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTaiwan.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-11-13T14:34:05Z Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399081 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Lin, Yi-Bing. editor.&#160;Deng, Der-Jiunn. editor.&#160;You, Ilsun. editor.&#160;Lin, Chun-Cheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399096 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Hong, Jia-Fei. editor.&#160;Su, Qi. editor. (orcid)0000-0002-4769-2812&#160;Wu, Jiun-Shiung. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04015-4">https://doi.org/10.1007/978-3-030-04015-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196436 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Villatoro, Daniel. editor.&#160;Sabater-Mir, Jordi. editor.&#160;Sichman, Jaime Sim&atilde;o. 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-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:196616 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Sakama, Chiaki. editor.&#160;Sardina, Sebastian. editor.&#160;Vasconcelos, Wamberto. editor.&#160;Winikoff, Michael. 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-29113-5">http://dx.doi.org/10.1007/978-3-642-29113-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197154 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Dennis, Louise. editor.&#160;Boissier, Olivier. editor.&#160;Bordini, Rafael H. 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-31915-0">http://dx.doi.org/10.1007/978-3-642-31915-0</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 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z 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/> Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197615 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Cranefield, Stephen. editor.&#160;Riemsdijk, M. Birna. editor.&#160;V&aacute;zquez-Salceda, Javier. editor.&#160;Noriega, Pablo. 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-35545-5">http://dx.doi.org/10.1007/978-3-642-35545-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195619 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Bultan, Tevfik. editor.&#160;Hsiung, Pao-Ann. 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-24372-1">http://dx.doi.org/10.1007/978-3-642-24372-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security-Enriched Urban Computing and Smart Grid Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195496 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Chang, Ruay-Shiung. editor.&#160;Kim, Tai-hoon. editor.&#160;Peng, Sheng-Lung. 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-23948-9">http://dx.doi.org/10.1007/978-3-642-23948-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192780 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Hsu, Ching-Hsien. editor.&#160;Malyshkin, Victor. 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-14822-4">http://dx.doi.org/10.1007/978-3-642-14822-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195911 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Yang, Hongseok. 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-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195929 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Jouannaud, Jean-Pierre. editor.&#160;Shao, Zhong. 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-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192208 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Bellavista, Paolo. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Chao, Han-Chieh. editor.&#160;Lin, Shin-Feng. editor.&#160;Sloot, Peter M. A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13067-0">http://dx.doi.org/10.1007/978-3-642-13067-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190518 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Hua, Arrems. editor.&#160;Chang, Shih-Liang. 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-03095-6">http://dx.doi.org/10.1007/978-3-642-03095-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188801 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Wu, Tzong-Chen. editor.&#160;Lei, Chin-Laung. editor.&#160;Rijmen, Vincent. editor.&#160;Lee, Der-Tsai. 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-85886-7">http://dx.doi.org/10.1007/978-3-540-85886-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187792 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Denko, Mieso K. editor.&#160;Shih, Chi-sheng. editor.&#160;Li, Kuan-Ching. editor.&#160;Tsao, Shiao-Li. editor.&#160;Zeng, Qing-An. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77090-9">http://dx.doi.org/10.1007/978-3-540-77090-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187793 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Kuo, Tei-Wei. editor.&#160;Sha, Edwin. editor.&#160;Guo, Minyi. editor.&#160;Yang, Laurence T. editor.&#160;Shao, Zili. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77092-3">http://dx.doi.org/10.1007/978-3-540-77092-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183842 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Chung, Yeh-Ching. editor.&#160;Moreira, Jos&eacute; E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11745693">http://dx.doi.org/10.1007/11745693</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183147 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Wang, Farn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183041 2024-11-13T14:34:05Z 2024-11-13T14:34:05Z Author&#160;Peled, Doron A. editor.&#160;Tsay, Yih-Kuen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>