Su búsqueda retornó 2235 resultados.

Ordenar
Resultados
Computational Social Networks [recurso electrónico] : 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Hien T. Nguyen, Vaclav Snasel.

por Nguyen, Hien T [editor.] | Snasel, Vaclav [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9795Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computational Topology in Image Context [recurso electrónico] : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / edited by Alexandra Bac, Jean-Luc Mari.

por Bac, Alexandra [editor.] | Mari, Jean-Luc [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9667Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Aided Verification [recurso electrónico] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.

por Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service).

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

Computer Aided Verification [recurso electrónico] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer.

por Gopalakrishnan, Ganesh [editor.] | Qadeer, Shaz [editor.] | SpringerLink (Online service).

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

Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.

por Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9780Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Aided Verification [recurso electrónico] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.

por Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9779Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Algebra in Scientific Computing [recurso electrónico] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

por Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

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

Computer Algebra in Scientific Computing [recurso electrónico] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

por Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

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

Computer Algebra in Scientific Computing [recurso electrónico] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

por Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9890Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Algebra in Scientific Computing [electronic resource] : 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings / edited by François Boulier, Matthew England, Ilias Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov.

por Boulier, François [editor.] | England, Matthew [editor.] | Kotsireas, Ilias [editor.] | Sadykov, Timur M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14139Edición: 1st ed. 2023.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 Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Analysis of Images and Patterns [recurso electrónico] : 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I / edited by Pedro Real, Daniel Diaz-Pernil, Helena Molina-Abril, Ainhoa Berciano, Walter Kropatsch.

por Real, Pedro [editor.] | Diaz-Pernil, Daniel [editor.] | Molina-Abril, Helena [editor.] | Berciano, Ainhoa [editor.] | Kropatsch, Walter [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6854Origen: 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: Q337.5.

Computer Analysis of Images and Patterns [recurso electrónico] : 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II / edited by Pedro Real, Daniel Diaz-Pernil, Helena Molina-Abril, Ainhoa Berciano, Walter Kropatsch.

por Real, Pedro [editor.] | Diaz-Pernil, Daniel [editor.] | Molina-Abril, Helena [editor.] | Berciano, Ainhoa [editor.] | Kropatsch, Walter [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6855Origen: 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: Q337.5.

Computer Analysis of Images and Patterns [electronic resource] : 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part II / edited by Nicolas Tsapatsoulis, Andreas Lanitis, Marios Pattichis, Constantinos Pattichis, Christos Kyrkou, Efthyvoulos Kyriacou, Zenonas Theodosiou, Andreas Panayides.

por Tsapatsoulis, Nicolas [editor.] | Lanitis, Andreas [editor.] | Pattichis, Marios [editor.] | Pattichis, Constantinos [editor.] | Kyrkou, Christos [editor.] | Kyriacou, Efthyvoulos [editor.] | Theodosiou, Zenonas [editor.] | Panayides, Andreas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14185Edición: 1st ed. 2023.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 Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Analysis of Images and Patterns [electronic resource] : 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I / edited by Nicolas Tsapatsoulis, Andreas Lanitis, Marios Pattichis, Constantinos Pattichis, Christos Kyrkou, Efthyvoulos Kyriacou, Zenonas Theodosiou, Andreas Panayides.

por Tsapatsoulis, Nicolas [editor.] | Lanitis, Andreas [editor.] | Pattichis, Marios [editor.] | Pattichis, Constantinos [editor.] | Kyrkou, Christos [editor.] | Kyriacou, Efthyvoulos [editor.] | Theodosiou, Zenonas [editor.] | Panayides, Andreas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14184Edición: 1st ed. 2023.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 Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer-Assisted and Robotic Endoscopy [recurso electrónico] : Second International Workshop, CARE 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / edited by Xiongbiao Luo, Tobias Reichl, Austin Reiter, Gian-Luca Mariottini.

por Luo, Xiongbiao [editor.] | Reichl, Tobias [editor.] | Reiter, Austin [editor.] | Mariottini, Gian-Luca [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9515Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Information Systems and Industrial Management [recurso electrónico] : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / edited by Khalid Saeed, W?adys?aw Homenda.

por Saeed, Khalid [editor.] | Homenda, W?adys?aw [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9842Origen: Springer eBooksTipo 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Information Systems and Industrial Management [electronic resource] : 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings / edited by Khalid Saeed, Jiří Dvorský, Nobuyuki Nishiuchi, Makoto Fukumoto.

por Saeed, Khalid [editor.] | Dvorský, Jiří [editor.] | Nishiuchi, Nobuyuki [editor.] | Fukumoto, Makoto [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14164Edición: 1st ed. 2023.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 Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Computer Network Security [recurso electrónico] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings / edited by Igor Kotenko, Victor Skormin.

por Kotenko, Igor [editor.] | Skormin, Victor [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6258Origen: 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: TK5105.5 -5105.9.

Computer Performance Engineering [recurso electrónico] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa.

por Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Bononi, Luciano [editor.] | Cortellessa, Vittorio [editor.] | SpringerLink (Online service).

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

Computer Performance Engineering [recurso electrónico] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas.

por Thomas, Nigel [editor.] | SpringerLink (Online service).

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

Páginas

Con tecnología Koha