Refine your search

Your search returned 218 results. Subscribe to this search

|
201. Computer Aided Verification [Recurso electrónico] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P. 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
202. Modelling Foundations and Applications [Recurso electrónico] : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / edited by Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos. by Vallecillo, Antonio. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

203. Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay. by Rahaman, Hafizur. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

204. Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

205. Software Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

206. Reliable Software Technologies- Ada-Europe 2012 [Recurso electrónico] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / edited by Mats Brorsson, Luís Miguel Pinho. by Brorsson, Mats. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

207. ECOOP 2012 - Object-Oriented Programming [Recurso electrónico] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble. by Noble, James. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

208. Conceptual Modeling [Recurso electrónico] : 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings / edited by Paolo Atzeni, David Cheung, Sudha Ram. by Atzeni, Paolo. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

209. Rewriting Logic and Its Applications [Recurso electrónico] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

210. Applications of Graph Transformations with Industrial Relevance [Recurso electrónico] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy SchÃ{u2CAC} Dániel Varró, Gergely Varró. by SchÃ{u2CAC} Andy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

211. Hardware and Software: Verification and Testing [Recurso electrónico] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, Jo©Ä{uF80C}ouren©ʹo, Onn Shehory. by Eder, Kerstin. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

212. Implementation and Application of Functional Languages [Recurso electrónico] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Gill, Andy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

213. Testing Software and Systems [Recurso electrónico] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

214. Programming Languages and Systems [Recurso electrónico] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi. by Jhala, Ranjit. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

215. Certified Programs and Proofs [Recurso electrónico] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

216. Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

217. Formal Aspects of Component Software [Recurso electrónico] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba ©Ø{uCDA5}czky. by Arbab, Farhad. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

218. Tools for Practical Software Verification [Recurso electrónico] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

Powered by Koha