196 results
Search Results
2. Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
3. Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas De Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
4. Artificial Life and Intelligent Agents : Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
5. Computer Aided Systems Theory – EUROCAST 2017 : 16th International Conference, Las Palmas De Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
6. 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
7. Learning and Intelligent Optimization : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
8. Bio-inspired Computing – Theories and Applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II
9. Supercomputing : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers
10. Parallel Computational Technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers
11. Bio-inspired Computing – Theories and Applications : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I
12. 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
13. Learning and Intelligent Optimization : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
14. Adaptive Resource Management and Scheduling for Cloud Computing : Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
15. Multi-Agent Systems and Agreement Technologies : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
16. Job Scheduling Strategies for Parallel Processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers
17. Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
18. Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers
19. Cellular Automata and Discrete Complex Systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
20. Large-Scale Scientific Computing : 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers
21. Job Scheduling Strategies for Parallel Processing : 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
22. Computational Methods and Clinical Applications for Spine Imaging : 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers
23. Numerical Analysis and Its Applications : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers
24. Patch-Based Techniques in Medical Imaging : First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers
25. Big Data Benchmarking : 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers
26. Modelling and Simulation for Autonomous Systems : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers
27. Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers
28. Quantum Interaction : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers
29. Curves and Surfaces : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
30. Modelling and Simulation for Autonomous Systems : First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers
31. Large-Scale Scientific Computing : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
32. Modelling and Simulation for Autonomous Systems : Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers
33. Learning and Intelligent Optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
34. Biomedical Engineering Systems and Technologies : Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers
35. Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
36. Adaptive Learning Agents : Second Workshop, ALA 2009, Held As Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers
37. Mathematical Modeling and Computational Science : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
38. Mobile Lightweight Wireless Systems : Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
39. Multi-Agent-Based Simulation XII : International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
40. High-Performance Computing : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
41. 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
42. Graph-Theoretic Concepts in Computer Science : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers
43. Large-Scale Scientific Computing : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
44. Combinatorics, Algorithms, Probabilistic and Experimental Methodologies : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
45. Job Scheduling Strategies for Parallel Processing : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
46. Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers
47. Graph-Theoretic Concepts in Computer Science : 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers
48. Numerical Analysis and Its Applications : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers
49. Graph-Theoretic Concepts in Computer Science : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers
50. Numerical Analysis and Its Applications : Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.