2,102 results
Search Results
152. Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
153. Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
154. Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
155. Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
156. Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
157. Algorithms for Sensor Systems : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers
158. Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
159. Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
160. Runtime Verification : Second International Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
161. Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
162. Models in Software Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
163. Foundations and Practice of Security : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
164. Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
165. Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
166. Fundamentals of Software Engineering : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
167. Software Language Engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
168. Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
169. Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held As a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
170. Uncertainty Quantification in Scientific Computing : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
171. Computer Architecture : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
172. Coordination, Organizations, Institutions and Norms in Agent Systems IV : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers
173. 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
174. Multi-Agent Systems for Society : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
175. Agent-Oriented Software Engineering IX : 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
176. Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
177. Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
178. Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
179. Multi-Agent-Based Simulation XI : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
180. Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
181. Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
182. Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers
183. Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
184. Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
185. Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
186. Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
187. Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
188. High Performance Computing for Computational Science -- VECPAR 2010 : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers
189. Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
190. 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
191. Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
192. Human-Robot Personal Relationships : Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers
193. Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
194. Agent Communication II : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
195. Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
196. Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
197. Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
198. Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
199. Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
200. Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.