211 results
Search Results
2. Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
3. Computational Sciences - Modelling, Computing and Soft Computing : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers
4. Membrane Computing : 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
5. Advances in Computer Games : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers
6. Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
7. Theoretical Computer Science : 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers
8. High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
9. Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
10. High Performance Computing for Computational Science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
11. Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
12. Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
13. Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
14. Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
15. Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
16. Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
17. Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
18. Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
19. Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
20. Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
21. Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
22. High Performance Computing for Computational Science - VECPAR 2006 : 7th International Conference, Rio De Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
23. High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
24. Types for Proofs and Programs : International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
25. Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
26. Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
27. Applied Parallel Computing : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
28. Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
29. Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers
30. Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
31. Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings
32. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
33. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
34. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
35. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II
36. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV
37. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V
38. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I
39. Artificial Intelligence Logic and Applications : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings
40. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV
41. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
42. Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
43. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V
44. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I
45. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III
46. Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
47. Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
48. Computational Science – ICCS 2022 : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV
49. Computational Science – ICCS 2022 : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I
50. Artificial Intelligence Logic and Applications : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.