Refine your search

Your search returned 49 results. Subscribe to this search

|
1. Advances in Cryptology - EUROCRYPT 2012 [Recurso electrónico] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings / edited by David Pointcheval, Thomas Johansson. by Pointcheval, David. 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. LATIN 2012: Theoretical Informatics [Recurso electrónico] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca. by Fernández-Baca, David. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

3. Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [Recurso electrónico] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang. by Snoeyink, Jack. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

4. Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [Recurso electrónico] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28- June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Ã{u2A63} Pinson. by Beldiceanu, Nicolas. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

5. Formal Concept Analysis [Recurso electrónico] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans. by Domenach, Florent. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

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

7. Public Key Cryptography - PKC 2012 [Recurso electrónico] : 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings / edited by Marc Fischlin, Johannes Buchmann, Mark Manulis. by Fischlin, Marc. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

8. Fun with Algorithms [Recurso electrónico] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / edited by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio. by Kranakis, Evangelos. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

9. Facing the Multicore - Challenge II [Recurso electrónico] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by Keller, Rainer. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

10. Algorithms and Models for the Web Graph [Recurso electrónico] : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings / edited by Anthony Bonato, Jeannette Janssen. by Bonato, Anthony. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

11. Sequences and Their Applications - SETA 2012 [Recurso electrónico] : 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012. Proceedings / edited by Tor Helleseth, Jonathan Jedwab. by Helleseth, Tor. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

12. How the World Computes [Recurso electrónico] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. by Cooper, S. Barry. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

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

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

15. Structural Information and Communication Complexity [Recurso electrónico] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson. by Even, Guy. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

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

17. Algorithm Theory - SWAT 2012 [Recurso electrónico] : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings / edited by Fedor V. Fomin, Petteri Kaski. by Fomin, Fedor V. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

18. Diagrammatic Representation and Inference [Recurso electrónico] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / edited by Philip Cox, Beryl Plimmer, Peter Rodgers. by Cox, Philip. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

19. Combinatorial Pattern Matching [Recurso electrónico] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / edited by Juha Kärkkäinen, Jens Stoye. by Kärkkäinen, Juha. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

20. Biomedical Image Registration [Recurso electrónico] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings / edited by Benoît M. Dawant, Gary E. Christensen, J. Michael Fitzpatrick, Daniel Rueckert. by Dawant, Benoît M. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha