Refinar su búsqueda

Su búsqueda retornó 7749 resultados.

Ordenar
Resultados
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher.

por Chockler, Hana [editor.] | Weissenbacher, Georg [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10982Edició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) .

Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology - ISAT 2017 [electronic resource] : Part III / edited by Zofia Wilimowska, Leszek Borzemski, Jerzy Świątek.

por Wilimowska, Zofia [editor.] | Borzemski, Leszek [editor.] | Świątek, Jerzy [editor.] | SpringerLink (Online service).

Series Advances in Intelligent Systems and Computing ; 657Edició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) .

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII [electronic resource] / edited by Abdelkader Hameurlain, Roland Wagner.

por Hameurlain, Abdelkader [editor.] | Wagner, Roland [editor.] | SpringerLink (Online service).

Series Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10940Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Service-Oriented and Cloud Computing [electronic resource] : 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings / edited by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli.

por Kritikos, Kyriakos [editor.] | Plebani, Pierluigi [editor.] | de Paoli, Flavio [editor.] | SpringerLink (Online service).

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

Innovative Heat Exchangers [electronic resource] / edited by Hans-Jörg Bart, Stephan Scholl.

por Bart, Hans-Jörg [editor.] | Scholl, Stephan [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: 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) .

Stability and Control of Nonlinear Time-varying Systems [electronic resource] / by Shuli Guo, Lina Han.

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

Computational Science and Its Applications - ICCSA 2018 [electronic resource] : 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu.

por Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Stankova, Elena [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Tarantino, Eufemia [editor.] | Ryu, Yeonseung [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10963Edició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) .

Service-Oriented and Cloud Computing [electronic resource] : 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings / edited by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli.

por Kritikos, Kyriakos [editor.] | Plebani, Pierluigi [editor.] | de Paoli, Flavio [editor.] | SpringerLink (Online service).

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

Intelligent Orthopaedics [electronic resource] : Artificial Intelligence and Smart Image-guided Technology for Orthopaedics / edited by Guoyan Zheng, Wei Tian, Xiahai Zhuang.

por Zheng, Guoyan [editor.] | Tian, Wei [editor.] | Zhuang, Xiahai [editor.] | SpringerLink (Online service).

Series Advances in Experimental Medicine and Biology ; 1093Edició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) .

Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings / edited by Costas Iliopoulos, Hon Wai Leong, Wing-Kin Sung.

por Iliopoulos, Costas [editor.] | Leong, Hon Wai [editor.] | Sung, Wing-Kin [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10979Edició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) .

Cloud Computing and Security [electronic resource] : 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI / edited by Xingming Sun, Zhaoqing Pan, Elisa Bertino.

por Sun, Xingming [editor.] | Pan, Zhaoqing [editor.] | Bertino, Elisa [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11068Edició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) .

Ferroic Functional Materials [electronic resource] : Experiment, Modeling and Simulation / edited by Jörg Schröder, Doru C. Lupascu.

por Schröder, Jörg [editor.] | C. Lupascu, Doru [editor.] | SpringerLink (Online service).

Series CISM International Centre for Mechanical Sciences, Courses and Lectures ; 581Edició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) .

Elements of Vorticity Aerodynamics [electronic resource] / by James C. Wu.

por Wu, James C [author.] | SpringerLink (Online service).

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

Stem Cells for Cancer and Genetic Disease Treatment [electronic resource] / edited by Phuc Van Pham, Ahmed El-Hashash.

por Pham, Phuc Van [editor.] | El-Hashash, Ahmed [editor.] | SpringerLink (Online service).

Series Stem Cells in Clinical ApplicationsEdició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) .

Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang.

por Feng, Xinyu [editor.] | Müller-Olm, Markus [editor.] | Yang, Zijiang [editor.] | SpringerLink (Online service).

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

Topics in Cryptology - CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / edited by Nigel P. Smart.

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

Series Security and Cryptology ; 10808Edició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) .

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / edited by Isil Dillig, Jens Palsberg.

por Dillig, Isil [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10747Edició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) .

Topics in Cryptology - CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / edited by Nigel P. Smart.

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

Series Security and Cryptology ; 10808Edició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) .

Cell Culture Technology [electronic resource] / edited by Cornelia Kasper, Verena Charwat, Antonina Lavrentieva.

por Kasper, Cornelia [editor.] | Charwat, Verena [editor.] | Lavrentieva, Antonina [editor.] | SpringerLink (Online service).

Series Learning Materials in BiosciencesEdició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) .

Recent Advancements in Biofuels and Bioenergy Utilization [electronic resource] / edited by Prakash Kumar Sarangi, Sonil Nanda, Pravakar Mohanty.

por Sarangi, Prakash Kumar [editor.] | Nanda, Sonil [editor.] | Mohanty, Pravakar [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) .

Páginas

Con tecnología Koha