508 results
Search Results
2. Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers
3. Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
4. Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
5. Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
6. Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
7. Inductive Logic Programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
8. Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
9. Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
10. Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
11. Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
12. Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
13. Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
14. Diagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings
15. Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
16. Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
17. Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
18. Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held As a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
19. Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
20. Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
21. OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
22. Programming Languages and Systems : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings
23. Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
24. Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
25. Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
26. Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
27. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
28. Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
29. Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
30. Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings
31. Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
32. Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
33. Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
34. Programming Languages and Systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
35. Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
36. Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held As a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
37. Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
38. Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
39. Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
40. Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
41. Programming Languages and Systems : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
42. Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
43. Trends in Functional Programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
44. Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
45. Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
46. Languages and Compilers for Parallel Computing : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
47. Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
48. Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
49. Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
50. Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.