Refinar su búsqueda

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

Queueing Theory and Network Applications [electronic resource] : 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings / edited by Yutaka Takahashi, Tuan Phung-Duc, Sabine Wittevrongel, Wuyi Yue.

por Takahashi, Yutaka [editor.] | Phung-Duc, Tuan [editor.] | Wittevrongel, Sabine [editor.] | Yue, Wuyi [editor.] | SpringerLink (Online service).

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

Machine Learning and Intelligent Communications [electronic resource] : Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II / edited by Xuemai Gu, Gongliang Liu, Bo Li.

por Gu, Xuemai [editor.] | Liu, Gongliang [editor.] | Li, Bo [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 227Edició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 Computational Science XXXII [electronic resource] : Special Issue on Cybersecurity and Biometrics / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.

por Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Sourin, Alexei [editor.] | SpringerLink (Online service).

Series Transactions on Computational Science ; 10830Edició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) .

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

Big Data Analytics [electronic resource] : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings / edited by Anirban Mondal, Himanshu Gupta, Jaideep Srivastava, P. Krishna Reddy, D.V.L.N. Somayajulu.

por Mondal, Anirban [editor.] | Gupta, Himanshu [editor.] | Srivastava, Jaideep [editor.] | Reddy, P. Krishna [editor.] | Somayajulu, D.V.L.N [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11297Edició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 Advances on Soft Computing and Data Mining [electronic resource] : Proceedings of the Third International Conference on Soft Computing and Data Mining (SCDM 2018), Johor, Malaysia, February 06-07, 2018 / edited by Rozaida Ghazali, Mustafa Mat Deris, Nazri Mohd Nawi, Jemal H. Abawajy.

por Ghazali, Rozaida [editor.] | Deris, Mustafa Mat [editor.] | Nawi, Nazri Mohd [editor.] | Abawajy, Jemal H [editor.] | SpringerLink (Online service).

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

Computational Methods and Clinical Applications in Musculoskeletal Imaging [electronic resource] : 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers / edited by Ben Glocker, Jianhua Yao, Tomaž Vrtovec, Alejandro Frangi, Guoyan Zheng.

por Glocker, Ben [editor.] | Yao, Jianhua [editor.] | Vrtovec, Tomaž [editor.] | Frangi, Alejandro [editor.] | Zheng, Guoyan [editor.] | SpringerLink (Online service).

Series Computer Communication Networks and Telecommunications ; 10734Edició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) .

Social Informatics [electronic resource] : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I / edited by Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov.

por Staab, Steffen [editor.] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [editor.] | SpringerLink (Online service).

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

Social Informatics [electronic resource] : 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I / edited by Steffen Staab, Olessia Koltsova, Dmitry I. Ignatov.

por Staab, Steffen [editor.] | Koltsova, Olessia [editor.] | Ignatov, Dmitry I [editor.] | SpringerLink (Online service).

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

Recent Trends in Computer Applications [electronic resource] : Best Studies from the 2017 International Conference on Computer and Applications, Dubai, UAE / edited by Jihad Mohamad Alja'am, Abdulmotaleb El Saddik, Abdul Hamid Sadka.

por Alja'am, Jihad Mohamad [editor.] | El Saddik, Abdulmotaleb [editor.] | Sadka, Abdul Hamid [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) .

Complex Systems: Solutions and Challenges in Economics, Management and Engineering [electronic resource] : Dedicated to Professor Jaime Gil Aluja / edited by Christian Berger-Vachon, Anna María Gil Lafuente, Janusz Kacprzyk, Yuriy Kondratenko, José M. Merigó, Carlo Francesco Morabito.

por Berger-Vachon, Christian [editor.] | Gil Lafuente, Anna María [editor.] | Kacprzyk, Janusz [editor.] | Kondratenko, Yuriy [editor.] | Merigó, José M [editor.] | Morabito, Carlo Francesco [editor.] | SpringerLink (Online service).

Series Studies in Systems, Decision and Control ; 125Edició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) .

Lifelong Technology-Enhanced Learning [electronic resource] : 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings / edited by Viktoria Pammer-Schindler, Mar Pérez-Sanagustín, Hendrik Drachsler, Raymond Elferink, Maren Scheffel.

por Pammer-Schindler, Viktoria [editor.] | Pérez-Sanagustín, Mar [editor.] | Drachsler, Hendrik [editor.] | Elferink, Raymond [editor.] | Scheffel, Maren [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11082Edició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 Human Systems Integration [electronic resource] : Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates / edited by Waldemar Karwowski, Tareq Ahram.

por Karwowski, Waldemar [editor.] | Ahram, Tareq [editor.] | SpringerLink (Online service).

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

Euro-Par 2018: Parallel Processing [electronic resource] : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings / edited by Marco Aldinucci, Luca Padovani, Massimo Torquati.

por Aldinucci, Marco [editor.] | Padovani, Luca [editor.] | Torquati, Massimo [editor.] | SpringerLink (Online service).

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

Belief Functions: Theory and Applications [electronic resource] : 5th International Conference, BELIEF 2018, Compiègne, France, September 17-21, 2018, Proceedings / edited by Sébastien Destercke, Thierry Denoeux, Fabio Cuzzolin, Arnaud Martin.

por Destercke, Sébastien [editor.] | Denoeux, Thierry [editor.] | Cuzzolin, Fabio [editor.] | Martin, Arnaud [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 11069Edició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) .

Páginas

Con tecnología Koha