280 results on '"Software engineering"'
Search Results
2. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
3. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
4. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
5. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
6. Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
7. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
8. Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I
9. Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
10. Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
11. Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
12. Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
13. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II
14. Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II
15. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV
16. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V
17. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I
18. NASA Formal Methods : 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings
19. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
20. Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
21. Recoverable Mutual Exclusion
22. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV
23. Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
24. Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
25. Verification, Model Checking, and Abstract Interpretation : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
26. Dependable Software Engineering. Theories, Tools, and Applications : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings
27. Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
28. Colored Petri Nets for Modeling of Discrete Systems : A Practical Approach With GPenSIM
29. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
30. Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
31. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
32. NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
33. Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
34. Transactions on Petri Nets and Other Models of Concurrency XVII
35. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V
36. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I
37. 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
38. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
39. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
40. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III
41. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
42. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
43. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
44. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
45. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
46. Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
47. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
48. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
49. Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
50. Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.