Refinar su búsqueda

Su búsqueda retornó 233 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.

Advanced Technologies, Systems, and Applications II [electronic resource] : Proceedings of the International Symposium on Innovative and Interdisciplinary Applications of Advanced Technologies (IAT) / edited by Mirsad Hadžikadić, Samir Avdaković.

por Hadžikadić, Mirsad [editor.] | Avdaković, Samir [editor.] | SpringerLink (Online service).

Series Lecture Notes in Networks and Systems ; 28Edició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 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 Dependability Engineering of Complex Systems [electronic resource] : Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk.

por Zamojski, Wojciech [editor.] | Mazurkiewicz, Jacek [editor.] | Sugier, Jarosław [editor.] | Walkowiak, Tomasz [editor.] | Kacprzyk, Janusz [editor.] | SpringerLink (Online service).

Series Advances in Intelligent Systems and Computing ; 582Edició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 Geometric Modeling and Processing [recurso electrónico] : 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010. Proceedings / edited by Bernard Mourrain, Scott Schaefer, Guoliang Xu.

por Mourrain, Bernard [editor.] | Schaefer, Scott [editor.] | Xu, Guoliang [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6130Origen: 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 Neural Networks – ISNN 2011 [recurso electrónico] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part II / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.

por Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6676Origen: 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: QA75.5 -76.95.

Advances in Neural Networks – ISNN 2011 [recurso electrónico] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part I / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.

por Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6675Origen: 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.

Advances in Neural Networks – ISNN 2011 [recurso electrónico] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29–June 1, 2011, Proceedings, Part III / edited by Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He.

por Liu, Derong [editor.] | Zhang, Huaguang [editor.] | Polycarpou, Marios [editor.] | Alippi, Cesare [editor.] | He, Haibo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6677Origen: 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: QA75.5 -76.95.

Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea.

por Corradini, Andrea [editor.] | Klin, Bartek [editor.] | Cîrstea, Corina [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6859Origen: 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 .L63.

Páginas

Con tecnología Koha