Search Results for - Narrowed by: Computer Communication Networks. - Mathematical Logic and Formal Languages.

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-30T21:47:27Z

by El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-30T21:47:27Z

by R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-05-30T21:47:27Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-05-30T21:47:27Z

by Croitoru, Madalina. editor.
https://doi.org/10.1007/978-3-319-78102-0
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-05-30T21:47:27Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

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, Proceedings

2024-05-30T21:47:27Z

by Albert, Elvira. editor.
https://doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

2024-05-30T21:47:27Z

by Lecomte, Thierry. editor.
https://doi.org/10.1007/978-3-319-33951-1
Format: Electronic Resources

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2024-05-30T21:47:27Z

by Baldoni, Matteo. editor.
https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2024-05-30T21:47:27Z

by Ogata, Kazuhiro. editor.
https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2024-05-30T21:47:27Z

by Milazzo, Paolo. editor.
https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-05-30T21:47:27Z

by Cook, Matthew. editor.
https://doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2024-05-30T21:47:27Z

by Bloem, Roderick. editor.
https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2024-05-30T21:47:27Z

by Crnkovic, Ivica. editor.
https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-05-30T21:47:27Z

by Amos, Martyn. editor.
https://doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-30T21:47:27Z

by Jobstmann, Barbara. editor.
https://doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-30T21:47:27Z

by Dinh, Thang N. editor.
https://doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

2024-05-30T21:47:27Z

by Kapetanios, Epaminondas. editor.
http://dx.doi.org/10.1007/978-3-540-69858-6
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2024-05-30T21:47:27Z

by Sadri, Fariba. editor.
http://dx.doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-05-30T21:47:27Z

by Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources

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

2024-05-30T21:47:27Z

by Kedad, Zoubida. editor.
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-05-30T21:47:27Z

by Jones, Cliff B. editor.
http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2024-05-30T21:47:27Z

by Toni, Francesca. editor.
http://dx.doi.org/10.1007/11750734
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2024-05-30T21:47:27Z

by Barkaoui, Kamel. editor.
http://dx.doi.org/10.1007/11921240
Format: Electronic Resources

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

2024-05-30T21:47:27Z

by Kop, Christian. editor.
http://dx.doi.org/10.1007/11765448
Format: Electronic Resources

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology

2024-05-30T21:47:27Z

by Lee, Raymond S. T. author.
http://dx.doi.org/10.1007/3-540-30984-5
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2024-05-30T21:47:27Z

by Leite, João. editor.
http://dx.doi.org/10.1007/11533092
Format: Electronic Resources

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

2024-05-30T21:47:27Z

by Montoyo, Andrés. editor.
http://dx.doi.org/10.1007/b136569
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-05-30T21:47:27Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/b107116
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

2024-05-30T21:47:27Z

by Hung, Dang. editor.
http://dx.doi.org/10.1007/11560647
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

2024-05-30T21:47:27Z

by Dix, Jürgen. editor.
http://dx.doi.org/10.1007/b104175
Format: Electronic Resources