801 results
Search Results
52. Advances in Artificial Life, Evolutionary Computation and Systems Chemistry : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
53. Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
54. Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
55. High Performance Computing for Computational Science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
56. Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers
57. Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers
58. Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
59. Advances in Computer Games : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
60. Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
61. Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
62. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
63. Evolutionary Computation in Combinatorial Optimization : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
64. Advances in Artificial Life and Evolutionary Computation : 9th Italian Workshop, WIVACE 2014, Vietri Sul Mare, Italy, May 14-15, Revised Selected Papers
65. Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
66. Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
67. Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
68. Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers
69. Graph Drawing : 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
70. Complex Sciences : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers
71. Graph Drawing : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
72. Approximation and Online Algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
73. Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
74. Computational Intelligence Methods for Bioinformatics and Biostatistics : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers
75. Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
76. Learning and Intelligent Optimization : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
77. Large-Scale Scientific Computing : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
78. Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
79. Graph Drawing : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers
80. Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
81. Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
82. Implementation and Application of Automata : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
83. Advances in Artificial Life : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers
84. Advances in Artificial Life : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I
85. Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
86. Graph Drawing : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers
87. Theory of Quantum Computation, Communication and Cryptography : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers
88. Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
89. Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
90. Computers and Games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
91. Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
92. Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
93. Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
94. System Modeling and Optimization : 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers
95. Mathematical Modeling and Computational Science : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers
96. Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
97. Cognitive Behavioural Systems : COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers
98. Outdoor and Large-Scale Real-World Scene Analysis : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers
99. Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
100. High Performance Computing for Computational Science - VECPAR 2006 : 7th International Conference, Rio De Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.