Your search returned 218 results.

Sort
Results
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 | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia.

Series: Lecture Notes in Computer Science ; 7316Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990) [Recurso electrónico] / Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings edited

by Beck, J. Christopher | Smith, Barbara | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3990Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Algorithms and Complexity [Recurso electrónico] / 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano.

by Calamoneri, Tiziana | Finocchi, Irene | Italiano, Guiseppe F | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3998Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Discrete and Computational Geometry [Recurso electrónico] / Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 edited by Jin Akiyama, Mikio Kano, Xuehou Tan.

by Akiyama, Jin | Kano, Mikio | Tan, Xuehou | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3742Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Approximation and Online Algorithms (vol. # 3351) [Recurso electrónico] / Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers edited by Giuseppe Persiano, Roberto Solis-Oba.

by Persiano, Giuseppe | Solis-Oba, Roberto | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3351Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Discrete Geometry, Combinatorics and Graph Theory [Recurso electrónico] / 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers edited by Jin AkiyamaWi

by Akiyama, Jin | Chen, William Y.C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4381Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Fun with Algorithms [Recurso electrónico] / 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci.

by Crescenzi, Pierluigi | Prencipe, Giuseppe | Pucci, Geppino | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4475Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov.

by Ganzha, V.G | Mayr, E.W | Vorozhtsov, E.V | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4194Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Resource Allocation in Wireless Networks [Recurso electrónico] / Theory and Algorithms edited by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.

by Stanczak, Slawomir | Boche, Holger | Wiczanowski, Marcin | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4000Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Advances in Artificial Life [Recurso electrónico] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings. Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, António Coutinho.

by Almeida e Costa, Fernando | Costa, Ernesto | Coutinho, António | Harvey, Inman | Rocha, Luis Mateus | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4648Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4770Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Progress in Cryptology - Mycrypt 2005 [Recurso electrónico] / First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings edited by Ed Dawson, Serge Vaudenay.

by Dawson, Ed | Vaudenay, Serge | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3715Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Research in Computational Molecular Biology (vol. # 3909) [Recurso electrónico] / 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings edited by Alberto ApostolicoConcettina Guerra, Sorin Istrail, Pav

by Apostolico, Alberto | Guerra, Concettina | Istrail, Sorin | Pevzner, Pavel | Waterman, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3909Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Evolutionary Computation in Combinatorial Optimization [Recurso electrónico] : 12th European Conference, EvoCOP 2012, M©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf.

by Hao, Jin-Kao | Middendorf, Martin.

Series: Lecture Notes in Computer Science ; 7245Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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}.

Series: Lecture Notes in Computer Science ; 7298Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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.

Series: Lecture Notes in Computer Science ; 7178Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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.

Series: Lecture Notes in Computer Science ; 7164Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Advances in Artificial Life [Recurso electrónico] / 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings edited by Peter J. BentleyMathieu Capcarrere, Alex A. Freitas, Colin G. Johnson et al.

by Bentley, Peter J | Capcarrere, Mathieu | Freitas, Alex A | Johnson, Colin G | Timmis, Jon | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3630Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3718Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Research in Computational Molecular Biology (vol. # 3500) [Recurso electrónico] / 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings edited by Sorin IstrailSimon Kasif, Jill Mesirov, Satoru Miya

by Istrail, Sorin | Kasif, Simon | Mesirov, Jill | Miyano, Satoru | Pevzner, Pavel | Waterman, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3500Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Pages

Powered by Koha