Refine your search

Your search returned 10 results. Subscribe to this search

|
1. Theory and Applications of Models of Computation [Recurso electrónico] : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings / edited by Manindra Agrawal, S. Barry Cooper, Angsheng Li. by Agrawal, Manindra. 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
2. Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

3. The Multivariate Algorithmic Revolution and Beyond [Recurso electrónico] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx. by Bodlaender, Hans L. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

4. Mathematics of Program Construction [Recurso electrónico] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

5. Automated Reasoning [Recurso electrónico] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. by Gramlich, Bernhard. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

6. Lectures on Logic and Computation [Recurso electrónico] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

7. Theory and Applications of Satisfiability Testing - SAT 2012 [Recurso electrónico] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani. by Cimatti, Alessandro. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

8. Theory and Applications of Satisfiability Testing - SAT 2012 [Recurso electrónico] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani. by Cimatti, Alessandro. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

9. Principles and Practice of Constraint Programming [Recurso electrónico] : 18th International Conference, CP 2012, Qu©â{uD8A5}c City, QC, Canada, October 8-12, 2012. Proceedings / edited by Michela Milano. by Milano, Michela. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg : | Imprint: Springer, 2012 Availability: No items available:

10. 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:

Powered by Koha