Refine your search

Your search returned 218 results. Subscribe to this search

|
161. Formal Aspects of Component Software [Recurso electrónico] : 7th International Workshop, FACS 2010, Guimar©Ä{u5CEC} Portugal, October 14-16, 2010, Revised Selected Papers / edited by Lu©Æs̄ Soares Barbosa, Markus Lumpe. by Barbosa, Lu©Æs̄ Soares. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Log in to add tags. Add to cart
162. Practical Aspects of Declarative Languages [Recurso electrónico] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou. by Russo, Claudio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

163. Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

164. Data Engineering and Management [Recurso electrónico] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers / edited by Rajkumar Kannan, Frederic Andres. by Kannan, Rajkumar. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

165. Foundations and Practice of Security [Recurso electrónico] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Pascal Lafourcade. by Garcia-Alfaro, Joaquin. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

166. Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Kuncak, Viktor. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

167. Algebraic and Numeric Biology [Recurso electrónico] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers / edited by Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov. by Horimoto, Katsuhisa. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

168. Conceptual Modelling and Its Theoretical Foundations [Recurso electrónico] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje D©ơsterh©Å{u6D2C} Meike Klettke, Klaus-Dieter Schewe. by D©ơsterh©Å{u6D2C} Antje. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

169. Transactions on Computational Science XV [Recurso electrónico] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan. by Gavrilova, Marina L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

170. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [Recurso electrónico] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt. by Schmitt, Jens B. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

171. Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, M©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bj©ırner, Andrei Voronkov. by Bj©ırner, Nikolaj. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

172. Foundations of Software Science and Computational Structures [Recurso electrónico] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 Ì{u1498}£ April 1, 2012. Proceedings / edited by Lars Birkedal. by Birkedal, Lars. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

173. Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

174. Programming Languages and Systems [Recurso electrónico] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

175. Fundamental Approaches to Software Engineering [Recurso electrónico] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

176. NASA Formal Methods [Recurso electrónico] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

177. Declarative Agent Languages and Technologies IX [Recurso electrónico] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

178. Advances in Software Engineering Techniques [Recurso electrónico] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. by Szmuc, Tomasz. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

179. Software Language Engineering [Recurso electrónico] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann. by Sloane, Anthony. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

180. Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha