Search Results for Japan - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJapan$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T01:34:28Z Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483433 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912&#160;Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026&#160;Mura, Anna. editor.&#160;Mangan, Michael. editor. (orcid)0000-0002-0293-8874&#160;Asada, Minoru. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24741-6">https://doi.org/10.1007/978-3-030-24741-6</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399486 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Hoshi, Mizuho. editor.&#160;Seki, Shinnosuke. 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-98654-8">https://doi.org/10.1007/978-3-319-98654-8</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196774 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197577 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194517 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Ogihara, Mitsunori. editor.&#160;Tarui, Jun. 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-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195273 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Kanazawa, Makoto. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Kracht, Marcus. editor.&#160;Seki, Hiroyuki. 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-23211-4">http://dx.doi.org/10.1007/978-3-642-23211-4</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192363 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Calude, Cristian S. editor.&#160;Hagiya, Masami. editor.&#160;Morita, Kenichi. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Timmis, Jon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13523-1">http://dx.doi.org/10.1007/978-3-642-13523-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30&ndash;December 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191068 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;Inuiguchi, Masahiro. 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-04820-3">http://dx.doi.org/10.1007/978-3-642-04820-3</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188293 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Garrigue, Jacques. editor.&#160;Hermenegildo, Manuel V. 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-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187896 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Okada, Mitsu. editor.&#160;Satoh, Ichiro. 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-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184828 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Sakakibara, Yasubumi. editor.&#160;Kobayashi, Satoshi. editor.&#160;Sato, Kengo. editor.&#160;Nishino, Tetsuro. editor.&#160;Tomita, Etsuji. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11872436">http://dx.doi.org/10.1007/11872436</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> 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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183744 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Hagiya, Masami. editor.&#160;Wadler, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/> Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183082 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Urzyczyn, Pawe&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183098 2024-12-23T01:34:28Z 2024-12-23T01:34:28Z Author&#160;Giesl, J&uuml;rgen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</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-12-23T01:34:28Z 2024-12-23T01:34:28Z 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/>