561 results
Search Results
52. Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
53. Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
54. Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
55. Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
56. Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
57. Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
58. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
59. Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
60. Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
61. High Performance Computing : ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers
62. History and Philosophy of Computing : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
63. Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
64. Parallel Computational Fluid Dynamics : 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
65. Evaluation of Novel Approaches to Software Engineering : 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers
66. Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
67. System on Chip Design Languages : Extended Papers: Best of FDL’01 and HDLCon’01
68. Computer Architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
69. SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
70. Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
71. 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
72. Languages, Methodologies and Development Tools for Multi-Agent Systems : First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
73. High Performance Computing for Computational Science - VECPAR 2006 : 7th International Conference, Rio De Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
74. Scalable Information Systems : 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
75. Enterprise Applications and Services in the Finance Industry : 4th International Workshop, FinanceCom 2008, Paris, France, December 13, 2008, Revised Papers
76. 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
77. Intelligent Memory Systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers
78. Logic-Based Program Synthesis and Transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
79. Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
80. Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers
81. Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
82. Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
83. Critical Information Infrastructures Security : 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009, Revised Papers
84. Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers
85. Job Scheduling Strategies for Parallel Processing : 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers
86. Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
87. Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
88. Applied Parallel Computing : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
89. Vector and Parallel Processing - VECPAR'98 : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks
90. Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
91. Job Scheduling Strategies for Parallel Processing : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers
92. Formal Models of Agents : ESPRIT Project ModelAge Final Report Selected Papers
93. Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
94. DNA Computing : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers
95. Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
96. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII
97. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III
98. Computational Science – ICCS 2024 : 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
99. Inductive Logic Programming : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
100. Advances in Swarm Intelligence : 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23–26, 2024, Proceedings, Part I
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.