101 results
Search Results
2. Information Technology for Management: Current Research and Future Directions : 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held As Part of FedCSIS, Leipzig, Germany, September 1–4, 2019, Extended and Revised Selected Papers
3. Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
4. Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
5. Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
6. Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
7. Membrane Computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
8. 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
9. Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
10. Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
11. 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
12. Foundations of Health Information Engineering and Systems : Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
13. Service-Oriented Computing--ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
14. Engineering Multi-Agent Systems : First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
15. Agent-Oriented Software Engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
16. Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
17. Web Engineering and Peer-to-Peer Computing : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers
18. Web, Web-Services, and Database Systems : NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers
19. Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
20. Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
21. Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
22. Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
23. Future Directions in Distributed Computing : Research and Position Papers
24. Distributed Communities on the Web : 4th International Workshop, DCW 2002 Sydney, Australia, April 3-5, 2002, Revised Papers
25. Inductive Logic Programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
26. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
27. Artificial Intelligence in Music, Sound, Art and Design : 11th International Conference, EvoMUSART 2022, Held As Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings
28. Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
29. Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
30. Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
31. Computing and Software Science : State of the Art and Perspectives
32. Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
33. Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
34. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
35. Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
36. Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
37. Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
38. Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
39. Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
40. Tests and Proofs : 12th International Conference, TAP 2018, Held As Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
41. Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
42. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
43. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
44. Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
45. Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
46. Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
47. Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
48. Software Process Improvement and Capability Determination : 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
49. Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held As Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
50. Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.