Su búsqueda retornó 415 resultados.

Ordenar
Resultados
Artificial Life and Intelligent Agents [electronic resource] : Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / edited by Peter R. Lewis, Christopher J. Headleand, Steve Battle, Panagiotis D. Ritsos.

por Lewis, Peter R [editor.] | Headleand, Christopher J [editor.] | Battle, Steve [editor.] | Ritsos, Panagiotis D [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 732Edició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) .

Arts and Technology [recurso electrónico] : First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009, Revised Selected Papers / edited by Fay Huang, Reen-Cheng Wang.

por Huang, Fay [editor.] | Wang, Reen-Cheng [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 30Origen: 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.575.

Augmented Reality, Virtual Reality, and Computer Graphics [recurso electrónico] : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I / edited by Lucio Tommaso De Paolis, Antonio Mongelli.

por De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [editor.] | SpringerLink (Online service).

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

Augmented Reality, Virtual Reality, and Computer Graphics [recurso electrónico] : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II / edited by Lucio Tommaso De Paolis, Antonio Mongelli.

por De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [editor.] | SpringerLink (Online service).

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

Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang.

por Lahiri, Shuvendu K [editor.] | Wang, Chao [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11138Edició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) .

Automatic Control Systems in Biomedical Engineering [electronic resource] : An Interactive Educational Approach / by J. Fernández de Cañete, C. Galindo, J. Barbancho, A. Luque.

por Fernández de Cañete, J [author.] | Galindo, C [author.] | Barbancho, J [author.] | Luque, A [author.] | SpringerLink (Online service).

Edició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) .

Automatic Tuning of Compilers Using Machine Learning [electronic resource] / by Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano.

por Ashouri, Amir H [author.] | Palermo, Gianluca [author.] | Cavazos, John [author.] | Silvano, Cristina [author.] | SpringerLink (Online service).

Series PoliMI SpringerBriefsEdició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) .

Autonomic Road Transport Support Systems [recurso electrónico] / edited by Thomas Leo McCluskey, Apostolos Kotsialos, Jörg P. Müller, Franziska Klügl, Omer Rana, René Schumann.

por McCluskey, Thomas Leo [editor.] | Kotsialos, Apostolos [editor.] | Müller, Jörg P [editor.] | Klügl, Franziska [editor.] | Rana, Omer [editor.] | Schumann, René [editor.] | SpringerLink (Online service).

Series Autonomic SystemsOrigen: 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: Birkhäuser, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Autonomous Agents and Multiagent Systems [recurso electrónico] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra.

por Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service).

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

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems [recurso electrónico] : With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems / by Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt.

por Truszkowski, Walt [author.] | Hallock, Harold [author.] | Rouff, Christopher [author.] | Karlin, Jay [author.] | Rash, James [author.] | Hinchey, Michael [author.] | Sterritt, Roy [author.] | SpringerLink (Online service).

Series NASA Monographs in Systems and Software EngineeringOrigen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TL787 -4050.22.

Balanced Automation Systems for Future Manufacturing Networks [recurso electrónico] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings / edited by Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet.

por Ortiz, Ángel [editor.] | Franco, Rubén Darío [editor.] | Gasquet, Pedro Gómez [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 322Origen: 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 .C65.

Behavioural Models [recurso electrónico] : From Modelling Finite Automata to Analysing Business Processes / by Matthias Kunze, Mathias Weske.

por Kunze, Matthias [author.] | Weske, Mathias [author.] | 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: 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) .

Big Data Benchmarking [recurso electrónico] : 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers / edited by Tilmann Rabl, Raghunath Nambiar, Chaitanya Baru, Milind Bhandarkar, Meikel Poess, Saumyadipta Pyne.

por Rabl, Tilmann [editor.] | Nambiar, Raghunath [editor.] | Baru, Chaitanya [editor.] | Bhandarkar, Milind [editor.] | Poess, Meikel [editor.] | Pyne, Saumyadipta [editor.] | SpringerLink (Online service).

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

Big Data Technology and Applications [recurso electrónico] : First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings / edited by Wenguang Chen, Guisheng Yin, Gansen Zhao, Qilong Han, Weipeng Jing, Guanglu Sun, Zeguang Lu.

por Chen, Wenguang [editor.] | Yin, Guisheng [editor.] | Zhao, Gansen [editor.] | Han, Qilong [editor.] | Jing, Weipeng [editor.] | Sun, Guanglu [editor.] | Lu, Zeguang [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 590Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Bio-inspired Computing ? Theories and Applications [recurso electrónico] : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I / edited by Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang.

por Gong, Maoguo [editor.] | Pan, Linqiang [editor.] | Song, Tao [editor.] | Zhang, Gexiang [editor.] | SpringerLink (Online service).

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

Bio-inspired Computing ? Theories and Applications [recurso electrónico] : 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II / edited by Maoguo Gong, Linqiang Pan, Tao Song, Gexiang Zhang.

por Gong, Maoguo [editor.] | Pan, Linqiang [editor.] | Song, Tao [editor.] | Zhang, Gexiang [editor.] | SpringerLink (Online service).

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

Bioinformatics: Sequences, Structures, Phylogeny [electronic resource] / edited by Asheesh Shanker.

por Shanker, Asheesh [editor.] | SpringerLink (Online service).

Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Biomedical Engineering Systems and Technologies [recurso electrónico] : Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.

por Fred, Ana [editor.] | Filipe, Joaquim [editor.] | Gamboa, Hugo [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 127Origen: 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: QH324.2 -324.25.

Biomedical Simulation [recurso electrónico] : 5th International Symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010. Proceedings / edited by Fernando Bello, Stéphane Cotin.

por Bello, Fernando [editor.] | Cotin, Stéphane [editor.] | SpringerLink (Online service).

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

Bionic Optimization in Structural Design [recurso electrónico] : Stochastically Based Methods to Improve the Performance of Parts and Assemblies / edited by Rolf Steinbuch, Simon Gekeler.

por Steinbuch, Rolf [editor.] | Gekeler, Simon [editor.] | SpringerLink (Online service).

Edición: 1st ed. 2016.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 : 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