3,756 results
Search Results
2. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II
3. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I
4. Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers
5. Engineering Multi-Agent Systems : 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers
6. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
7. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
8. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II
9. Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
10. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
11. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
12. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I
13. Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers
14. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
15. Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
16. Algorithmic Aspects of Cloud Computing : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
17. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
18. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
19. Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
20. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers
21. New Frontiers in Artificial Intelligence : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers
22. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI : 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers
23. Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
24. Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
25. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
26. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
27. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
28. New Frontiers in Artificial Intelligence : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13–15, 2021, Revised Selected Papers
29. Algorithmic Aspects of Cloud Computing : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
30. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
31. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
32. Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
33. Theoretical and Mathematical Foundations of Computer Science : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers
34. Theoretical Computer Science : 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers
35. Bio-Inspired Computing: Theories and Applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I
36. Agents and Artificial Intelligence : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
37. Large-Scale Scientific Computing : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers
38. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
39. Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities : 15th International Conference, NooJ 2021, Besançon, France, June 9–11, 2021, Revised Selected Papers
40. Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
41. Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy : 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers
42. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
43. From Data to Models and Back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
44. Ideas That Created the Future : Classic Papers of Computer Science
45. Chatbot Research and Design : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers
46. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
47. Theoretical Computer Science : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers
48. Computational Sciences - Modelling, Computing and Soft Computing : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
49. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers
50. Discrete and Computational Geometry, Graphs, and Games : 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.