205 results
Search Results
2. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
3. Software Technologies : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers
4. Trends in Functional Programming : 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers
5. Trends in Functional Programming : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers
6. Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers
7. Languages and Compilers for Parallel Computing : 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers
8. Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
9. Modelling to Program : Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers
10. Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
11. Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers
12. Model-Driven Engineering and Software Development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers
13. Software Technologies : 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers
14. Trends in Functional Programming : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
15. Parallel Processing and Applied Mathematics : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I
16. Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
17. Model-Driven Engineering and Software Development : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers
18. Dynamics in Logic and Language : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
19. High Performance Computing for Computational Science – VECPAR 2018 : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
20. Programming and Performance Visualization Tools : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
21. Supercomputing : 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
22. Software Technologies : 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers
23. Languages and Compilers for Parallel Computing : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers
24. Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
25. Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
26. Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
27. Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
28. High Performance Computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
29. Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
30. Parallel Computational Technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers
31. Supercomputing : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers
32. High Performance Computing : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
33. Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
34. Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
35. Computer Architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
36. Critical Infrastructure Protection IV : Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010, Revised Selected Papers
37. Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
38. Job Scheduling Strategies for Parallel Processing : 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers
39. Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
40. VLSI-SoC: Design Methodologies for SoC and SiP : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers
41. Large-Scale Scientific Computing : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
42. VLSI-SoC: Advanced Topics on Systems on a Chip : A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA
43. Job Scheduling Strategies for Parallel Processing : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
44. Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
45. Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
46. Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
47. Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
48. Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers
49. Job Scheduling Strategies for Parallel Processing : 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers
50. Vector and Parallel Processing - VECPAR'98 : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.