Search Results for - Narrowed by: Logic design. - Information Storage and Retrieval.SirsiDynix Enterprisehttps://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:39ZImplementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852962024-06-14T13:50:39Z2024-06-14T13:50:39Zby Câ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: 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 Papersent://SD_ILS/0/SD_ILS:20851522024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applicationsent://SD_ILS/0/SD_ILS:20852842024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861412024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857012024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20850872024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20862002024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:20845652024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lecturesent://SD_ILS/0/SD_ILS:5036432024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papersent://SD_ILS/0/SD_ILS:5028132024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5125982024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125702024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lecturesent://SD_ILS/0/SD_ILS:5128132024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5125992024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: 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 IIIent://SD_ILS/0/SD_ILS:5126002024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5121712024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Grid Computing Experiment Management, Tool Integration, and Scientific Workflowsent://SD_ILS/0/SD_ILS:5121472024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: 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 Ient://SD_ILS/0/SD_ILS:5126272024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: 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 IIent://SD_ILS/0/SD_ILS:5126282024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: 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 IIIent://SD_ILS/0/SD_ILS:5126292024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:5126462024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:5126012024-06-14T13:50:39Z2024-06-14T13:50:39Zby 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: Electronic Resources<br/>Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papersent://SD_ILS/0/SD_ILS:5110592024-06-14T13:50:39Z2024-06-14T13:50:39Zby Gilroy, Stephen W. editor.<br/><a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Electronic Resources<br/>The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115972024-06-14T13:50:39Z2024-06-14T13:50:39Zby Mizoguchi, Riichiro. editor.<br/><a href="http://dx.doi.org/10.1007/11836025">http://dx.doi.org/10.1007/11836025</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:5111762024-06-14T13:50:39Z2024-06-14T13:50:39Zby Kop, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/11765448">http://dx.doi.org/10.1007/11765448</a><br/>Format: Electronic Resources<br/>The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5119352024-06-14T13:50:39Z2024-06-14T13:50:39Zby Cruz, Isabel. editor.<br/><a href="http://dx.doi.org/10.1007/11926078">http://dx.doi.org/10.1007/11926078</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5101812024-06-14T13:50:39Z2024-06-14T13:50:39Zby Dix, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format: Electronic Resources<br/>Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:5101272024-06-14T13:50:39Z2024-06-14T13:50:39Zby Eisinger, Norbert. editor.<br/><a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104422024-06-14T13:50:39Z2024-06-14T13:50:39Zby Gil, Yolanda. editor.<br/><a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Electronic Resources<br/>Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105462024-06-14T13:50:39Z2024-06-14T13:50:39Zby Adi, Asaf. editor.<br/><a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:5104692024-06-14T13:50:39Z2024-06-14T13:50:39Zby Montoyo, Andrés. editor.<br/><a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>