Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Computer Communication Networks.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bCommunication$002bNetworks.$002509Computer$002bCommunication$002bNetworks.$0026ps$003d300?2024-05-31T14:29:26ZEngineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853552024-05-31T14:29:26Z2024-05-31T14:29:26Zby El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851172024-05-31T14:29:26Z2024-05-31T14:29:26Zby Smith, Ian F. C. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855782024-05-31T14:29:26Z2024-05-31T14:29:26Zby Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856842024-05-31T14:29:26Z2024-05-31T14:29:26Zby R. Luaces, Miguel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856422024-05-31T14:29:26Z2024-05-31T14:29:26Zby Croitoru, Madalina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850382024-05-31T14:29:26Z2024-05-31T14:29:26Zby Albert, Elvira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855622024-05-31T14:29:26Z2024-05-31T14:29:26Zby Bloem, Roderick. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20851752024-05-31T14:29:26Z2024-05-31T14:29:26Zby Dinh, Thang N. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858982024-05-31T14:29:26Z2024-05-31T14:29:26Zby Crnkovic, Ivica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:20860512024-05-31T14:29:26Z2024-05-31T14:29:26Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860002024-05-31T14:29:26Z2024-05-31T14:29:26Zby Milazzo, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858992024-05-31T14:29:26Z2024-05-31T14:29:26Zby Amos, Martyn. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132024-05-31T14:29:26Z2024-05-31T14:29:26Zby Ogata, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859492024-05-31T14:29:26Z2024-05-31T14:29:26Zby Cook, Matthew. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852342024-05-31T14:29:26Z2024-05-31T14:29:26Zby Lecomte, Thierry. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858172024-05-31T14:29:26Z2024-05-31T14:29:26Zby Jobstmann, Barbara. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5037822024-05-31T14:29:26Z2024-05-31T14:29:26Zby Sadri, Fariba. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88833-8">http://dx.doi.org/10.1007/978-3-540-88833-8</a><br/>Format: Electronic Resources<br/>Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027822024-05-31T14:29:26Z2024-05-31T14:29:26Zby Kapetanios, Epaminondas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69858-6">http://dx.doi.org/10.1007/978-3-540-69858-6</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5121772024-05-31T14:29:26Z2024-05-31T14:29:26Zby Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69619-3">http://dx.doi.org/10.1007/978-3-540-69619-3</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128982024-05-31T14:29:26Z2024-05-31T14:29:26Zby Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-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-05-31T14:29:26Z2024-05-31T14:29:26Zby 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/>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-05-31T14:29:26Z2024-05-31T14:29:26Zby 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/>Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5119122024-05-31T14:29:26Z2024-05-31T14:29:26Zby Barkaoui, Kamel. editor.<br/><a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format: Electronic Resources<br/>Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontologyent://SD_ILS/0/SD_ILS:5098362024-05-31T14:29:26Z2024-05-31T14:29:26Zby Lee, Raymond S. T. author.<br/><a href="http://dx.doi.org/10.1007/3-540-30984-5">http://dx.doi.org/10.1007/3-540-30984-5</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5110322024-05-31T14:29:26Z2024-05-31T14:29:26Zby Toni, Francesca. editor.<br/><a href="http://dx.doi.org/10.1007/11750734">http://dx.doi.org/10.1007/11750734</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102452024-05-31T14:29:26Z2024-05-31T14:29:26Zby Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104332024-05-31T14:29:26Z2024-05-31T14:29:26Zby Hung, Dang. editor.<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</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-05-31T14:29:26Z2024-05-31T14:29:26Zby 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/>Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5096812024-05-31T14:29:26Z2024-05-31T14:29:26Zby Dix, Jürgen. editor.<br/><a href="http://dx.doi.org/10.1007/b104175">http://dx.doi.org/10.1007/b104175</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102402024-05-31T14:29:26Z2024-05-31T14:29:26Zby Leite, João. editor.<br/><a href="http://dx.doi.org/10.1007/11533092">http://dx.doi.org/10.1007/11533092</a><br/>Format: Electronic Resources<br/>