1,845 results
Search Results
2. Advances in Model and Data Engineering in the Digitalization Era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings
3. Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
4. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
5. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
6. High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19–20, 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. Computer and Communication Engineering : Third International Conference, CCCE 2023, Stockholm, Sweden, March 10–12, 2023, Revised Selected Papers
9. Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
10. Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries : 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5–7, 2023, Selected Papers
11. Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
12. Active Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
13. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25–27, 2021, Revised Selected Papers
14. 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
15. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
16. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
17. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
18. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
19. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
20. Software Foundations for Data Interoperability : 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers
21. Informatics and Intelligent Applications : First International Conference, ICIIA 2021, Ota, Nigeria, November 25–27, 2021, Revised Selected Papers
22. Information Systems and Design : Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers
23. Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
24. Computational Sciences - Modelling, Computing and Soft Computing : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
25. Multi-Agent Systems : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers
26. From Data to Models and Back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
27. Knowledge Discovery, Knowledge Engineering and Knowledge Management : 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers
28. Distributed Computer and Communication Networks: Control, Computation, Communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers
29. Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
30. Trustworthy AI - Integrating Learning, Optimization and Reasoning : First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers
31. Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
32. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
33. High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers
34. Production Research : 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I
35. Fundamentals of Software Engineering : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers
36. Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
37. Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
38. Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers
39. Frontiers in Software Engineering Education : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
40. Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
41. Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers
42. Evaluation of Novel Approaches to Software Engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers
43. Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers
44. New Frontiers in Artificial Intelligence : JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers
45. Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I
46. Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II
47. Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
48. Geoinformatics in Sustainable Ecosystem and Society : 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers
49. Frontiers of Algorithmic Wisdom : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers
50. High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 12th International Conference, HPCST 2022, Barnaul, Russia, May 20–21, 2022, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.