Search Results for - Narrowed by: Logic design. - Information Storage and Retrieval. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Information$002bStorage$002band$002bRetrieval.$002509Information$002bStorage$002band$002bRetrieval.$0026ps$003d300? 2024-06-14T13:50:39Z Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 &ndash; August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085296 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;C&acirc;mpeanu, Cezar. editor. (orcid)0000-0002-9777-3012<br/><a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format:&#160;Electronic Resources<br/> AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085152 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications ent://SD_ILS/0/SD_ILS:2085284 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58415-6">https://doi.org/10.1007/978-3-662-58415-6</a><br/>Format:&#160;Electronic Resources<br/> Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2086141 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Comyn-Wattiau, Isabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46397-1">https://doi.org/10.1007/978-3-319-46397-1</a><br/>Format:&#160;Electronic Resources<br/> Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085701 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Daneva, Maya. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30282-9">https://doi.org/10.1007/978-3-319-30282-9</a><br/>Format:&#160;Electronic Resources<br/> System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings ent://SD_ILS/0/SD_ILS:2085087 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Grabowski, Jens. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format:&#160;Electronic Resources<br/> Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings ent://SD_ILS/0/SD_ILS:2086200 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Alferes, Jose Julio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format:&#160;Electronic Resources<br/> Process Mining Data Science in Action ent://SD_ILS/0/SD_ILS:2084565 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;van der Aalst, Wil. author.<br/><a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format:&#160;Electronic Resources<br/> Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures ent://SD_ILS/0/SD_ILS:503643 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Baroglio, Cristina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85658-0">http://dx.doi.org/10.1007/978-3-540-85658-0</a><br/>Format:&#160;Electronic Resources<br/> Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers ent://SD_ILS/0/SD_ILS:502813 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Graham, T. C. Nicholas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format:&#160;Electronic Resources<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:512598 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Jacko, Julie A. editor.<br/><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/> Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512570 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Marchiori, Massimo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format:&#160;Electronic Resources<br/> Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures ent://SD_ILS/0/SD_ILS:512813 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Antoniou, Grigoris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74615-7">http://dx.doi.org/10.1007/978-3-540-74615-7</a><br/>Format:&#160;Electronic Resources<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:512599 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Jacko, Julie A. editor.<br/><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/> 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:512600 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Jacko, Julie A. editor.<br/><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/> Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:512171 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Doherty, Gavin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69554-7">http://dx.doi.org/10.1007/978-3-540-69554-7</a><br/>Format:&#160;Electronic Resources<br/> Grid Computing Experiment Management, Tool Integration, and Scientific Workflows ent://SD_ILS/0/SD_ILS:512147 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Prodan, Radu. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format:&#160;Electronic Resources<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:512627 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Stephanidis, Constantine. editor.<br/><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/> 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:512628 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Stephanidis, Constantine. editor.<br/><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/> 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:512629 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Stephanidis, Constantine. editor.<br/><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/> Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512646 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Kedad, Zoubida. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73351-5">http://dx.doi.org/10.1007/978-3-540-73351-5</a><br/>Format:&#160;Electronic Resources<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:512601 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Jacko, Julie A. editor.<br/><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/> Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:511059 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Gilroy, Stephen W. editor.<br/><a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web &ndash; ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511597 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Mizoguchi, Riichiro. editor.<br/><a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format:&#160;Electronic Resources<br/> Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511176 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Kop, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511935 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Cruz, Isabel. editor.<br/><a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:510181 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Dix, J&uuml;rgen. editor.<br/><a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format:&#160;Electronic Resources<br/> Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:510127 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Eisinger, Norbert. editor.<br/><a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format:&#160;Electronic Resources<br/> The Semantic Web &ndash; ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510442 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Gil, Yolanda. editor.<br/><a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format:&#160;Electronic Resources<br/> Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510546 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Adi, Asaf. editor.<br/><a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format:&#160;Electronic Resources<br/> Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510469 2024-06-14T13:50:39Z 2024-06-14T13:50:39Z by&#160;Montoyo, Andr&eacute;s. editor.<br/><a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format:&#160;Electronic Resources<br/>