81 results
Search Results
2. Learning and Intelligent Optimization : 16th International Conference, LION 16, Milos Island, Greece, June 5–10, 2022, Revised Selected Papers
3. Agents and Artificial Intelligence : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers
4. Artificial Intelligence and Machine Learning : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers
5. Agents and Artificial Intelligence : 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers
6. Mobile Internet Security : 4th International Symposium, MobiSec 2019, Taichung, Taiwan, October 17–19, 2019, Revised Selected Papers
7. Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
8. New Trends in Computer Technologies and Applications : 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers
9. Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
10. 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
11. Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
12. Artificial Intelligence. IJCAI 2019 International Workshops : Macao, China, August 10–12, 2019, Revised Selected Best Papers
13. Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
14. Next Generation Computing Technologies on Computational Intelligence : 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers
15. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part IX
16. Generalizing From Limited Resources in the Open World : Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings
17. Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27–30, 2024, Proceedings, Part I
18. Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27–30, 2024, Proceedings, Part IV
19. Text, Speech, and Dialogue : 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024, Proceedings, Part I
20. Text, Speech, and Dialogue : 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024, Proceedings, Part II
21. Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27–30, 2024, Proceedings, Part III
22. Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology : 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings
23. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI
24. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part VIII
25. Artificial Intelligence Applications and Innovations : 20th IFIP WG 12.5 International Conference, AIAI 2024, Corfu, Greece, June 27–30, 2024, Proceedings, Part II
26. Advanced Computational Applications of Geometric Algebra : First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
27. Knowledge Science, Engineering and Management : 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part I
28. Computational Science and Its Applications – ICCSA 2023 Workshops : Athens, Greece, July 3–6, 2023, Proceedings, Part IX
29. New Trends in Computer Technologies and Applications : 25th International Computer Symposium, ICS 2022, Taoyuan, Taiwan, December 15–17, 2022, Proceedings
30. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
31. Research in Computer Science in the Bulgarian Academy of Sciences
32. Context-Aware Systems and Applications, and Nature of Computation and Communication : 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26–27, 2020, Proceedings
33. Computer and Information Science 2021—Summer
34. Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
35. Artificial Intelligence : 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings
36. Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
37. Intelligent Computing Theories and Application : 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I
38. Artificial Intelligence : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10–16, 2020, Proceedings
39. Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
40. Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
41. Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
42. Computing and Software Science : State of the Art and Perspectives
43. Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
44. Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
45. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
46. Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
47. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
48. Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
49. Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
50. Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.