Refine your search

Your search returned 223 results.

|
41.
Progress in Cryptology - VIETCRYPT 2006 [Recurso electrónico] / First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers edited by Phong Q. Nguyen.

by Nguyen, Phong Q | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

42.
Topics in Cryptology - CT-RSA 2007 [Recurso electrónico] / The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings edited by Masayuki Abe.

by Abe, Masayuki | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

43.
Formal Concept Analysis (vol. # 3403) [Recurso electrónico] / Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings edited by Bernhard Ganter, Robert Godin.

by Ganter, Bernhard | Godin, Robert | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

44.
Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

by Kreowski, Hans-JÃœrg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

45.
Network Analysis [Recurso electrónico] / Methodological Foundations edited by Ulrik Brandes, Thomas Erlebach.

by Brandes, Ulrik | Erlebach, Thomas | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

46.
Discrete Geometry for Computer Imagery (vol. # 3429) [Recurso electrónico] / 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings edited by Eric Andres, Guillaume Damiand, Pascal Lienhardt.

by Andres, Eric | Damiand, Guillaume | Lienhardt, Pascal | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

47.
Advances in Neural Networks - ISNN 2005 (vol. # 3496) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I edited by Xiaofeng Liao, Jun Wang, Zhang Yi.

by Liao, Xiaofeng | Wang, Jun | Yi, Zhang | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

48.
Advances in Neural Networks - ISNN 2005 (vol. # 3497) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II edited by Xiaofeng Liao, Jun Wang, Zhang Yi.

by Liao, Xiaofeng | Wang, Jun | Yi, Zhang | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

49.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524) [Recurso electrónico] / Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 edited by

by Barták, Roman | Milano, Michela | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

50.
Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al.

by Bubak, M | Hoekstra, A.G | Priol, T | Reinefeld, A | Sloot, P.M.A | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

51.
Advances in Cryptology - CRYPTO 2005 [Recurso electrónico] / 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings edited by Victor Shoup.

by Shoup, Victor | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

52.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings edited by R. Ramanujam, Sandeep Sen.

by Ramanujam, R | Sen, Sandeep | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

53.
Practice and Theory of Automated Timetabling V [Recurso electrónico] / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers edited by Edmund Burke, Michael Trick.

by Burke, Edmund | Trick, Michael | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

54.
Approximation and Online Algorithms [Recurso electrónico] : 9th International Workshop, WAOA 2011, Saarbr©ơcken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Roberto Solis-Oba, Giuseppe Persiano.

by Solis-Oba, Roberto | Persiano, Giuseppe.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

55.
Topics in Cryptology Ì{u1498}£ CT-RSA 2012 [Recurso electrónico] : The CryptographersÌ{u1498}© Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 Ì{u1498}£ March 2, 2012. Proceedings / edited by Orr Dunkelman.

by Dunkelman, Orr.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

56.
Parameterized and Exact Computation [Recurso electrónico] : 6th International Symposium, IPEC 2011, Saarbr©ơcken, Germany, September 6-8, 2011. Revised Selected Papers / edited by D©Å{uEA65}l Marx, Peter Rossmanith.

by Marx, D婁{uEA65}l | Rossmanith, Peter.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

57.
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 | Jussien, Narendra | Pinson, Ã{u2A63}.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

58.
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 | Dawar, Anuj | Löwe, Benedikt.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

59.
Automata, Languages, and Programming [Recurso electrónico] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer.

by Czumaj, Artur | Mehlhorn, Kurt | Pitts, Andrew | Wattenhofer, Roger.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

60.
Learning and Intelligent Optimization [Recurso electrónico] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / edited by Youssef Hamadi, Marc Schoenauer.

by Hamadi, Youssef | Schoenauer, Marc.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

Powered by Koha