302 results
Search Results
152. Internet and Network Economics : 8th International Workshop, WINE 2012, Singapore, December 11-14, 2012. Proceedings
153. Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
154. Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
155. Reconfigurable Computing: Architectures, Tools and Applications : 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings
156. Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
157. Search Based Software Engineering : Fourth International Symposium, SSBSE 2012, Riva Del Garda, September 28-30, 2012, Proceedings
158. Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
159. Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
160. Information Computing and Applications : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I
161. Software Engineering and Computer Systems, Part II : Second International Conference ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
162. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
163. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
164. Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
165. Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
166. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings
167. OpenMP in the Petascale Era : 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011, Proceedings
168. Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
169. Reconfigurable Computing: Architectures, Tools and Applications : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings
170. Software Engineering and Computer Systems, Part I : Second International Conference, ICSECS 2011, Kuantan, Malaysia, June 27-29, 2011. Proceedings, Part I
171. Parallel Computing Technologies : 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings
172. Reconfigurable Computing: Architectures, Tools and Applications : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings
173. Algorithmic Aspects in Information and Management : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings
174. Transactions on Petri Nets and Other Models of Concurrency IV
175. Internet and Network Economics : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010, Proceedings
176. Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings
177. Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings
178. Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
179. Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
180. Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
181. Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
182. Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
183. Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
184. Algorithms and Architectures for Parallel Processing : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings
185. Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
186. Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
187. Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
188. Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
189. From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
190. OpenMP Shared Memory Parallel Programming : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings
191. Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
192. Genetic Programming : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings
193. Parallel Problem Solving From Nature - PPSN X : 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
194. Application and Theory of Petri Nets and Concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
195. Adaptive and Natural Computing Algorithms : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
196. Genetic Programming : 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
197. Self-Stabilizing Systems : 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
198. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
199. Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
200. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.