136 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. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
4. 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
5. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
6. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
7. Agents and Artificial Intelligence : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
8. Agents and Artificial Intelligence : 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers
9. Artificial Life and Evolutionary Computation : 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers
10. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
11. Artificial Intelligence in Health : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers
12. Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV : International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers
13. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
14. Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
15. Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
16. AIxIA 2020 – Advances in Artificial Intelligence : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
17. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
18. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
19. Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
20. Modelling and Simulation for Autonomous Systems : 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
21. Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
22. Advances in Neuro-Information Processing : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
23. Multi-Agent-Based Simulation XII : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
24. Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications : First International Workshop, MicroICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers
25. Scalable Information Systems : 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
26. Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
27. Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
28. Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
29. Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
30. Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
31. Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers
32. Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
33. Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas De Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers
34. Neural Nets : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri Sul Mare, Italy, June 4-7, 2003, Revised Papers
35. Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
36. Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers
37. Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
38. Neural Nets : 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers
39. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part IX
40. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI
41. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part VIII
42. Computational Science and Its Applications – ICCSA 2023 Workshops : Athens, Greece, July 3–6, 2023, Proceedings, Part IX
43. Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
44. Parallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings
45. Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
46. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
47. PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings
48. Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
49. Service-Oriented Computing : 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings
50. Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.