2,506 results
Search Results
2. Modelling and Simulation for Autonomous Systems : 8th International Conference, MESAS 2021, Virtual Event, October 13–14, 2021, Revised Selected Papers
3. Simulation Science : Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers
4. Modelling and Simulation for Autonomous Systems : 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers
5. Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas De Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II
6. Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
7. Computer Aided Systems Theory – EUROCAST 2019 : 17th International Conference, Las Palmas De Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part I
8. Autonomous Agents and Multiagent Systems : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers
9. Modelling and Simulation for Autonomous Systems : 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20–21, 2022, Revised Selected Papers
10. Computer Aided Systems Theory – EUROCAST 2022 : 18th International Conference, Las Palmas De Gran Canaria, Spain, February 20–25, 2022, Revised Selected Papers
11. Simulation and Modeling Methodologies, Technologies and Applications : 7th International Conference, SIMULTECH 2017 Madrid, Spain, July 26–28, 2017 Revised Selected Papers
12. VR Technologies in Cultural Heritage : First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
13. Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
14. Computational and Information Technologies in Science, Engineering and Education : 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
15. Human Mental Workload: Models and Applications : Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
16. Cyber Physical Systems. Model-Based Design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
17. Simulation and Modeling Methodologies, Technologies and Applications : 8th International Conference, SIMULTECH 2018, Porto, Portugal, July 29-31, 2018, Revised Selected Papers
18. Space Information Networks : Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers
19. Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas De Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
20. Artificial Life and Intelligent Agents : Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
21. Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas De Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
22. Simulation Science : First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
23. Operations Research Proceedings 2016 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Helmut Schmidt University Hamburg, Germany, August 30 - September 2, 2016
24. Multi-Agent Based Simulation XVIII : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
25. Modelling and Simulation for Autonomous Systems : 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers
26. Human Mental Workload: Models and Applications : First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
27. Supercomputing : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers
28. Parallel Computational Technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers
29. Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
30. Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
31. Bio-inspired Computing – Theories and Applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I
32. Management of Information, Process and Cooperation : Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers
33. Geo-Spatial Knowledge and Intelligence : 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
34. Geo-Spatial Knowledge and Intelligence : 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II
35. Software Engineering in Health Care : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
36. Learning and Intelligent Optimization : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
37. Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
38. Distributed Computer and Communication Networks : 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
39. Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
40. Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
41. Machine Learning and Intelligent Communications : First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
42. High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
43. Job Scheduling Strategies for Parallel Processing : 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
44. Multi-Agent Systems and Agreement Technologies : 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
45. Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
46. Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
47. Bio-inspired Computing – Theories and Applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II
48. Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges : 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
49. Multi-Agent Based Simulation XVII : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
50. Agent Based Modelling of Urban Systems : First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.