20 results
Search Results
2. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
3. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
4. Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
5. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
6. Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
7. Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
8. Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings
9. Advances in Computational Intelligence. MICAI 2023 International Workshops : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings
10. 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
11. 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
12. AIxIA 2023 – Advances in Artificial Intelligence : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings
13. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
14. Advanced Information Systems Engineering : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings
15. Coding Examples From Simple to Complex : Applications in MATLAB®
16. Coding Examples From Simple to Complex : Applications in JavaScript™
17. Coding Examples From Simple to Complex : Applications in Python™
18. IBM Software Systems Integration : With IBM MQ Series for JMS, IBM FileNet Case Manager, and IBM Business Automation Workflow
19. Recoverable Mutual Exclusion
20. Formal Methods for Software Engineering : Languages, Methods, Application Domains
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.