250 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. 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
4. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
5. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
6. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
7. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
8. Bio-Inspired Computing: Theories and Applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I
9. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
10. 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
11. Multi-Agent Systems : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers
12. Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
13. Artificial Intelligence and Machine Learning : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers
14. Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
15. Chatbot Research and Design : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers
16. Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
17. Artificial Life and Evolutionary Computation : 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers
18. Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
19. Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing : 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers
20. Evaluation of Novel Approaches to Software Engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers
21. Bio-inspired Computing: Theories and Applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II
22. Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
23. Mathematical Aspects of Computer and Information Sciences : 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers
24. Numerical Computations: Theory and Algorithms : Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II
25. Technology-Inspired Smart Learning for Future Education : 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers
26. Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
27. Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
28. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
29. Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
30. Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
31. Operations Research and Enterprise Systems : 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
32. Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
33. Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
34. Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
35. Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
36. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
37. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
38. Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
39. History and Philosophy of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
40. System on Chip Design Languages : Extended Papers: Best of FDL’01 and HDLCon’01
41. Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
42. Scalable Information Systems : 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
43. Intelligent Memory Systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers
44. Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
45. Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
46. Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
47. Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
48. Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
49. Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers
50. Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.