251 results
Search Results
2. Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
3. Membrane Computing : 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
4. Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
5. Swarm, Evolutionary, and Memetic Computing : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
6. Graphical Models for Security : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
7. Networked Systems : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
8. Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
9. Membrane Computing : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
10. Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
11. OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
12. Swarm, Evolutionary, and Memetic Computing : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
13. Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
14. 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
15. Membrane Computing : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
16. Membrane Computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
17. Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
18. Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
19. High-Performance Scientific Computing : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers
20. Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
21. Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
22. Membrane Computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
23. Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
24. Computer Architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
25. Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
26. Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers
27. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
28. Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
29. Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
30. Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
31. Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
32. Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers
33. Multi-Agent-Based Simulation XII : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
34. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
35. Algorithms, Probability, Networks, and Games : Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
36. Artificial Evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001. Selected Papers
37. Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
38. Algorithms for Sensor Systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
39. Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
40. Applied Parallel Computing : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
41. Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
42. Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings
43. Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
44. Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
45. Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
46. Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
47. Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
48. Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
49. Computing and Software Science : State of the Art and Perspectives
50. Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.