60 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. Algorithmic Aspects of Cloud Computing : 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers
5. Algorithmic Aspects of Cloud Computing : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
6. Artificial Life and Evolutionary Computation : 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14–16, 2022, Revised Selected Papers
7. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
8. Theoretical Computer Science : 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers
9. Computational Sciences - Modelling, Computing and Soft Computing : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
10. Theoretical Computer Science : 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers
11. Algorithmic Aspects of Cloud Computing : 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers
12. Agents and Artificial Intelligence : 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers
13. Artificial Life and Evolutionary Computation : 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers
14. Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers
15. Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
16. Bio-Inspired Computing: Theories and Applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16–18, 2022, Revised Selected Papers
17. Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
18. Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
19. Modelling and Simulation for Autonomous Systems : 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
20. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
21. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part IX
22. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI
23. Applications of Evolutionary Computation : 27th European Conference, EvoApplications 2024, Held As Part of EvoStar 2024, Aberystwyth, UK, April 3–5, 2024, Proceedings, Part II
24. Computational Science and Its Applications – ICCSA 2024 Workshops : Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part VIII
25. Computational Science and Its Applications – ICCSA 2023 Workshops : Athens, Greece, July 3–6, 2023, Proceedings, Part IX
26. Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
27. Parallel and Distributed Computing, Applications and Technologies : 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings
28. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
29. Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings
30. PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings
31. Service-Oriented Computing : 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings
32. Applications of Evolutionary Computation : 24th International Conference, EvoApplications 2021, Held As Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings
33. Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
34. Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
35. Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
36. Computer Algebra in Scientific Computing : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
37. Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
38. Applied Computer Sciences in Engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings
39. Genetic Programming : 23rd European Conference, EuroGP 2020, Held As Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
40. Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
41. Advances in Swarm Intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
42. Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
43. High Performance Computing : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings
44. Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
45. Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
46. High Performance Computing : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
47. Information Technologies and Mathematical Modelling: Queueing Theory and Applications : 15th International Scientific Conference, ITMM 2016, Named After A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
48. Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
49. Modeling Decisions for Artificial Intelligence : 21st International Conference, MDAI 2024, Tokyo, Japan, August 27–31, 2024, Proceedings
50. Advances in Computer Graphics : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 – September 1, 2023, Proceedings, Part III
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.