Search Results for Japan - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJapan$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list 2024-10-01T09:17:05Z Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484666 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751&#160;Yagi, Takeshi. 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-26834-3">https://doi.org/10.1007/978-3-030-26834-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. 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-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399093 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Kubota, Kenichi. editor.&#160;Lee, Lap-Kei. editor.&#160;Tokito, Jumpei. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399403 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Miller, Tim. editor. (orcid)0000-0003-4908-6063&#160;Oren, Nir. editor. (orcid)0000-0002-4854-9014&#160;Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878&#160;Noda, Itsuki. editor. (orcid)0000-0003-1987-5336&#160;Savarimuthu, Bastin Tony Roy. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. 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-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400103 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Xiang, Yang. editor.&#160;Sun, Jingtao. editor.&#160;Fortino, Giancarlo. editor.&#160;Guerrieri, Antonio. editor.&#160;Jung, Jason J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02738-4">https://doi.org/10.1007/978-3-030-02738-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4&ndash;7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400553 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Izumi, Taisuke. editor.&#160;Kuznetsov, Petr. 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-03232-6">https://doi.org/10.1007/978-3-030-03232-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489089 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Codish, Michael. editor.&#160;Sumii, Eijiro. 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-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488939 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Yamashita, Shigeru. editor.&#160;Minato, Shin-ichi. 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-08494-7">https://doi.org/10.1007/978-3-319-08494-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332964 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Higashino, Teruo. editor.&#160;Katayama, Yoshiaki. editor.&#160;Masuzawa, Toshimitsu. editor.&#160;Potop-Butucaru, Maria. editor.&#160;Yamashita, Masafumi. editor.<br/>Preferred Shelf Number&#160;ONLINE(332964.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334772 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Liu, Shaoying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334772.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334469 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Kasahara, Hironori. editor.&#160;Kimura, Keiji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334469.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197501 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Aoki, Toshiaki. editor.&#160;Taguchi, Kenji. 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-34281-3">http://dx.doi.org/10.1007/978-3-642-34281-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Schrijvers, Tom. editor.&#160;Thiemann, Peter. 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-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197313 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33065-0">http://dx.doi.org/10.1007/978-3-642-33065-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197507 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Noda, Itsuki. editor.&#160;Ando, Noriaki. editor.&#160;Brugali, Davide. editor.&#160;Kuffner, James J. 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-34327-8">http://dx.doi.org/10.1007/978-3-642-34327-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197577 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Jhala, Ranjit. editor.&#160;Igarashi, Atsushi. 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-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197592 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Hawblitzel, Chris. editor.&#160;Miller, Dale. 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-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197316 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Xiang, Yang. editor.&#160;Stojmenovic, Ivan. editor.&#160;Apduhan, Bernady O. editor.&#160;Wang, Guojun. editor.&#160;Nakano, Koji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33078-0">http://dx.doi.org/10.1007/978-3-642-33078-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192306 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Tomar, G. S. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kim, Tai-hoon. editor.&#160;Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:191906 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12156-2">http://dx.doi.org/10.1007/978-3-642-12156-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:191909 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12165-4">http://dx.doi.org/10.1007/978-3-642-12165-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:191917 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12189-0">http://dx.doi.org/10.1007/978-3-642-12189-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191936 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Blume, Matthias. editor.&#160;Kobayashi, Naoki. editor.&#160;Vidal, Germ&aacute;n. 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-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III ent://SD_ILS/0/SD_ILS:191914 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Taniar, David. editor.&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor.&#160;Pardede, Eric. editor.&#160;Apduhan, Bernady O. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12179-1">http://dx.doi.org/10.1007/978-3-642-12179-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings ent://SD_ILS/0/SD_ILS:192265 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Sato, Mitsuhisa. editor.&#160;Hanawa, Toshihiro. editor.&#160;M&uuml;ller, Matthias S. editor.&#160;Chapman, Barbara M. editor.&#160;Supinski, Bronis R. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13217-9">http://dx.doi.org/10.1007/978-3-642-13217-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Software &ndash; ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193016 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Fukuda, Komei. editor.&#160;Hoeven, Joris van der. editor.&#160;Joswig, Michael. editor.&#160;Takayama, Nobuki. 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-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190024 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Tokuda, Hideyuki. editor.&#160;Beigl, Michael. editor.&#160;Friday, Adrian. editor.&#160;Brush, A. J. Bernheim. editor.&#160;Tobe, Yoshito. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01516-8">http://dx.doi.org/10.1007/978-3-642-01516-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191596 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Yang, Jung-Jin. editor.&#160;Yokoo, Makoto. editor.&#160;Ito, Takayuki. editor.&#160;Jin, Zhi. editor.&#160;Scerri, Paul. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11161-7">http://dx.doi.org/10.1007/978-3-642-11161-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service Availability 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185365 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Nanya, Takashi. editor.&#160;Maruyama, Fumihiro. editor.&#160;Pataricza, Andr&aacute;s. editor.&#160;Malek, Miroslaw. 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-68129-8">http://dx.doi.org/10.1007/978-3-540-68129-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185500 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Suzuki, Kenji. editor.&#160;Higashino, Teruo. editor.&#160;Ulrich, Andreas. editor.&#160;Hasegawa, Toru. 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-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems &ndash; FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185615 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Suzuki, Kenji. editor.&#160;Higashino, Teruo. editor.&#160;Yasumoto, Keiichi. editor.&#160;El-Fakih, Khaled. 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-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187955 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Labarta, Jes&uacute;s. editor.&#160;Joe, Kazuki. editor.&#160;Sato, Toshinori. 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-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189005 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Liu, Shaoying. editor.&#160;Maibaum, Tom. editor.&#160;Araki, Keijiro. 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-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:186411 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Seghrouchni, Amal El Fallah. 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-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers ent://SD_ILS/0/SD_ILS:187163 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Noriega, Pablo. editor.&#160;V&aacute;zquez-Salceda, Javier. editor.&#160;Boella, Guido. editor.&#160;Boissier, Olivier. editor.&#160;Dignum, Virginia. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74459-7">http://dx.doi.org/10.1007/978-3-540-74459-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185918 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Brueckner, Sven A. editor.&#160;Hassas, Salima. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Yamins, Daniel. 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-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186724 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Okadome, Takeshi. editor.&#160;Yamazaki, Tatsuya. editor.&#160;Makhtari, Mounir. 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-73035-4">http://dx.doi.org/10.1007/978-3-540-73035-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22&ndash;25, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187457 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Namjoshi, Kedar S. editor.&#160;Yoneda, Tomohiro. editor.&#160;Higashino, Teruo. editor.&#160;Okamura, Yoshio. 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-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187673 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Ichikawa, Haruhisa. editor.&#160;Cho, We-Duke. editor.&#160;Satoh, Ichiro. editor.&#160;Youn, Hee Yong. 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-76772-5">http://dx.doi.org/10.1007/978-3-540-76772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:186111 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Padgham, Lin. editor.&#160;Zambonelli, Franco. 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-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186815 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Okuno, Hiroshi G. editor.&#160;Ali, Moonis. 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-73325-6">http://dx.doi.org/10.1007/978-3-540-73325-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184972 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Goubin, Louis. editor.&#160;Matsui, Mitsuru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185101 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Chong, Ilyoung. editor.&#160;Kawahara, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11919568">http://dx.doi.org/10.1007/11919568</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:185372 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Dignum, Frank P. M. editor.&#160;Eijk, Rogier M. editor.&#160;Flores, Roberto. 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-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185665 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Baldoni, Matteo. editor.&#160;Endriss, Ulle. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183014 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Beigl, Michael. editor.&#160;Intille, Stephen. editor.&#160;Rekimoto, Jun. editor.&#160;Tokuda, Hideyuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11551201">http://dx.doi.org/10.1007/11551201</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183234 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183238 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Konagaya, Akihiko. editor.&#160;Satou, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182896 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Murakami, Hitomi. editor.&#160;Nakashima, Hideyuki. editor.&#160;Tokuda, Hideyuki. editor.&#160;Yasumura, Michiaki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11526858">http://dx.doi.org/10.1007/11526858</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded and Ubiquitous Computing &ndash; EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183280 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Yang, Laurence T. editor.&#160;Amamiya, Makoto. editor.&#160;Liu, Zhen. editor.&#160;Guo, Minyi. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11596356">http://dx.doi.org/10.1007/11596356</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded and Ubiquitous Computing &ndash; EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183281 2024-10-01T09:17:05Z 2024-10-01T09:17:05Z Author&#160;Enokido, Tomoya. editor.&#160;Yan, Lu. editor.&#160;Xiao, Bin. editor.&#160;Kim, Daeyoung. editor.&#160;Dai, Yuanshun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11596042">http://dx.doi.org/10.1007/11596042</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>