204 results
Search Results
2. 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
3. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
4. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
5. Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
6. Computational Sciences - Modelling, Computing and Soft Computing : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
7. Multi-Agent Systems : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers
8. Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
9. Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
10. Fundamentals of Software Engineering : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers
11. Evaluation of Novel Approaches to Software Engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers
12. Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers
13. Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
14. Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
15. 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
16. Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
17. Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
18. Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
19. Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
20. Euro-Par 2013: Parallel Processing Workshops : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers
21. Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers
22. Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
23. Computer Architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
24. SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
25. High Performance Computing for Computational Science - VECPAR 2006 : 7th International Conference, Rio De Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
26. Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers
27. Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
28. Future Directions in Distributed Computing : Research and Position Papers
29. Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers
30. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
31. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
32. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
33. Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
34. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II
35. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV
36. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V
37. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I
38. NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
39. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
40. Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
41. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV
42. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
43. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
44. NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
45. Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
46. Transactions on Petri Nets and Other Models of Concurrency XVII
47. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V
48. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I
49. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
50. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.