Refinar su búsqueda

Su búsqueda retornó 328 resultados.

Ordenar
Resultados
50 Years of Integer Programming 1958-2008 [recurso electrónico] : From the Early Years to the State-of-the-Art / edited by Michael Jünger, Thomas M. Liebling, Denis Naddef, George L. Nemhauser, William R. Pulleyblank, Gerhard Reinelt, Giovanni Rinaldi, Laurence A. Wolsey.

por Jünger, Michael [editor.] | Liebling, Thomas M [editor.] | Naddef, Denis [editor.] | Nemhauser, George L [editor.] | Pulleyblank, William R [editor.] | Reinelt, Gerhard [editor.] | Rinaldi, Giovanni [editor.] | Wolsey, Laurence A [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA164 -167.2.

Abstract State Machines, Alloy, B and Z [recurso electrónico] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves.

por Frappier, Marc [editor.] | Glässer, Uwe [editor.] | Khurshid, Sarfraz [editor.] | Laleau, Régine [editor.] | Reeves, Steve [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5977Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.

Adaptive and Learning Agents [recurso electrónico] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / edited by Matthew E. Taylor, Karl Tuyls.

por Taylor, Matthew E [editor.] | Tuyls, Karl [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5924Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Advanced Manufacturing and Sustainable Logistics [recurso electrónico] : 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings / edited by Wilhelm Dangelmaier, Alexander Blecken, Robin Delius, Stefan Klöpfer.

por Dangelmaier, Wilhelm [editor.] | Blecken, Alexander [editor.] | Delius, Robin [editor.] | Klöpfer, Stefan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Business Information Processing ; 46Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: T385.

Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23-26, 2018, Proceedings / edited by Francisco Herrera, Sergio Damas, Rosana Montes, Sergio Alonso, Óscar Cordón, Antonio González, Alicia Troncoso.

por Herrera, Francisco [editor.] | Damas, Sergio [editor.] | Montes, Rosana [editor.] | Alonso, Sergio [editor.] | Cordón, Óscar [editor.] | González, Antonio [editor.] | Troncoso, Alicia [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 11160Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Artificial Life. Darwin Meets von Neumann [recurso electrónico] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I / edited by George Kampis, István Karsai, Eörs Szathmáry.

por Kampis, George [editor.] | Karsai, István [editor.] | Szathmáry, Eörs [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5777Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Advances in Artificial Life. Darwin Meets von Neumann [recurso electrónico] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part II / edited by George Kampis, István Karsai, Eörs Szathmáry.

por Kampis, George [editor.] | Karsai, István [editor.] | Szathmáry, Eörs [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5778Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Advances in Bioinformatics and Computational Biology [electronic resource] : 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 - November 1, 2018, Proceedings / edited by Ronnie Alves.

por Alves, Ronnie [editor.] | SpringerLink (Online service).

Series Lecture Notes in Bioinformatics ; 11228Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Computer Games [recurso electrónico] : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers / edited by H. Jaap Herik, Pieter Spronck.

por Herik, H. Jaap [editor.] | Spronck, Pieter [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6048Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.

Advances in Cryptology – ASIACRYPT 2011 [recurso electrónico] : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings / edited by Dong Hoon Lee, Xiaoyun Wang.

por Lee, Dong Hoon [editor.] | Wang, Xiaoyun [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 7073Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology – CRYPTO 2010 [recurso electrónico] : 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010. Proceedings / edited by Tal Rabin.

por Rabin, Tal [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6223Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology – CRYPTO 2011 [recurso electrónico] : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings / edited by Phillip Rogaway.

por Rogaway, Phillip [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6841Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology – EUROCRYPT 2010 [recurso electrónico] : 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 – June 3, 2010. Proceedings / edited by Henri Gilbert.

por Gilbert, Henri [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6110Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology – EUROCRYPT 2011 [recurso electrónico] : 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings / edited by Kenneth G. Paterson.

por Paterson, Kenneth G [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6632Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology - ASIACRYPT 2010 [recurso electrónico] : 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings / edited by Masayuki Abe.

por Abe, Masayuki [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6477Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.

Advances in Cryptology ? CRYPTO 2016 [recurso electrónico] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III / edited by Matthew Robshaw, Jonathan Katz.

por Robshaw, Matthew [editor.] | Katz, Jonathan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9816Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Cryptology ? CRYPTO 2016 [recurso electrónico] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / edited by Matthew Robshaw, Jonathan Katz.

por Robshaw, Matthew [editor.] | Katz, Jonathan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9814Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Cryptology ? CRYPTO 2016 [recurso electrónico] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II / edited by Matthew Robshaw, Jonathan Katz.

por Robshaw, Matthew [editor.] | Katz, Jonathan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9815Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Cryptology ? EUROCRYPT 2016 [recurso electrónico] : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I / edited by Marc Fischlin, Jean-Sébastien Coron.

por Fischlin, Marc [editor.] | Coron, Jean-Sébastien [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9665Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Advances in Cryptology ? EUROCRYPT 2016 [recurso electrónico] : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II / edited by Marc Fischlin, Jean-Sébastien Coron.

por Fischlin, Marc [editor.] | Coron, Jean-Sébastien [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9666Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha