Refinar su búsqueda

Su búsqueda retornó 5913 resultados.

Ordenar
Resultados
Verified Software. Theories, Tools, and Experiments [recurso electrónico] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17?18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik.

por Blazy, Sandrine [editor.] | Chechik, Marsha [editor.] | SpringerLink (Online service).

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

Inductive Logic Programming [recurso electrónico] : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers / edited by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto.

por Inoue, Katsumi [editor.] | Ohwada, Hayato [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service).

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

Artificial Intelligence: Methodology, Systems, and Applications [recurso electrónico] : 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings / edited by Christo Dichev, Gennady Agre.

por Dichev, Christo [editor.] | Agre, Gennady [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9883Origen: 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 Intelligence in Data Mining?Volume 2 [recurso electrónico] : Proceedings of the International Conference on CIDM, 5-6 December 2015 / edited by Himansu Sekhar Behera, Durga Prasad Mohapatra.

por Behera, Himansu Sekhar [editor.] | Mohapatra, Durga Prasad [editor.] | SpringerLink (Online service).

Series Advances in Intelligent Systems and Computing ; 411Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New Delhi : Springer India : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

EEG Signal Analysis and Classification [recurso electrónico] : Techniques and Applications / by Siuly Siuly, Yan Li, Yanchun Zhang.

por Siuly, Siuly [author.] | Li, Yan [author.] | Zhang, Yanchun [author.] | SpringerLink (Online service).

Series Health Information ScienceOrigen: 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) .

Hardware and Software: Verification and Testing [recurso electrónico] : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel.

por Bloem, Roderick [editor.] | Arbel, Eli [editor.] | SpringerLink (Online service).

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

Information Systems Design and Intelligent Applications [recurso electrónico] : Proceedings of Third International Conference INDIA 2016, Volume 1 / edited by Suresh Chandra Satapathy, Jyotsna Kumar Mandal, Siba K. Udgata, Vikrant Bhateja.

por Satapathy, Suresh Chandra [editor.] | Mandal, Jyotsna Kumar [editor.] | Udgata, Siba K [editor.] | Bhateja, Vikrant [editor.] | SpringerLink (Online service).

Series Advances in Intelligent Systems and Computing ; 433Edició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: New Delhi : Springer India : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Fuzzy Logic and Information Fusion [recurso electrónico] : To commemorate the 70th birthday of Professor Gaspar Mayor / edited by Tomasa Calvo Sánchez, Joan Torrens Sastre.

por Calvo Sánchez, Tomasa [editor.] | Torrens Sastre, Joan [editor.] | SpringerLink (Online service).

Series Studies in Fuzziness and Soft Computing ; 339Origen: 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) .

Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers [recurso electrónico] / by Leticia Cervantes, Oscar Castillo.

por Cervantes, Leticia [author.] | Castillo, Oscar [author.] | SpringerLink (Online service).

Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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 Games [recurso electrónico] : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius.

por Cazenave, Tristan [editor.] | Winands, Mark H.M [editor.] | Edelkamp, Stefan [editor.] | Schiffel, Stephan [editor.] | Thielscher, Michael [editor.] | Togelius, Julian [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 614Origen: 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) .

Proceedings of the International Conference on Soft Computing Systems [recurso electrónico] : ICSCS 2015, Volume 2 / edited by L. Padma Suresh, Bijaya Ketan Panigrahi.

por Suresh, L. Padma [editor.] | Panigrahi, Bijaya Ketan [editor.] | SpringerLink (Online service).

Series Advances in Intelligent Systems and Computing ; 398Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New Delhi : Springer India : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Innovative Issues in Intelligent Systems [recurso electrónico] / edited by Vassil Sgurev, Ronald R. Yager, Janusz Kacprzyk, Vladimir Jotsov.

por Sgurev, Vassil [editor.] | Yager, Ronald R [editor.] | Kacprzyk, Janusz [editor.] | Jotsov, Vladimir [editor.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 623Edició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: 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) .

Evolutionary Computation in Combinatorial Optimization [recurso electrónico] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 ? April 1, 2016, Proceedings / edited by Francisco Chicano, Bin Hu, Pablo García-Sánchez.

por Chicano, Francisco [editor.] | Hu, Bin [editor.] | García-Sánchez, Pablo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9595Edició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: 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) .

Hybrid Soft Computing for Multilevel Image and Data Segmentation [recurso electrónico] / by Sourav De, Siddhartha Bhattacharyya, Susanta Chakraborty, Paramartha Dutta.

por De, Sourav [author.] | Bhattacharyya, Siddhartha [author.] | Chakraborty, Susanta [author.] | Dutta, Paramartha [author.] | SpringerLink (Online service).

Series Computational Intelligence Methods and ApplicationsOrigen: 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) .

Worldwide Language Service Infrastructure [recurso electrónico] : Second International Workshop, WLSI 2015, Kyoto, Japan, January 22-23, 2015. Revised Selected Papers / edited by Yohei Murakami, Donghui Lin.

por Murakami, Yohei [editor.] | Lin, Donghui [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9442Edició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: 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) .

Formation and Containment Control for High-order Linear Swarm Systems [recurso electrónico] / by Xiwang Dong.

por Dong, Xiwang [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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) .

Inclusive Smart Cities and Digital Health [recurso electrónico] : 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / edited by Carl K. Chang, Lorenzo Chiari, Yu Cao, Hai Jin, Mounir Mokhtari, Hamdi Aloulou.

por Chang, Carl K [editor.] | Chiari, Lorenzo [editor.] | Cao, Yu [editor.] | Jin, Hai [editor.] | Mokhtari, Mounir [editor.] | Aloulou, Hamdi [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9677Origen: 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 and Information Science [recurso electrónico] / edited by Roger Lee.

por Lee, Roger [editor.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 656Origen: 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) .

Coordination, Organizations, Institutions, and Norms in Agent Systems XI [recurso electrónico] : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / edited by Virginia Dignum, Pablo Noriega, Murat Sensoy, Jaime Simão Sichman.

por Dignum, Virginia [editor.] | Noriega, Pablo [editor.] | Sensoy, Murat [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service).

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

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [recurso electrónico] : 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings / edited by Maosong Sun, Xuanjing Huang, Hongfei Lin, Zhiyuan Liu, Yang Liu.

por Sun, Maosong [editor.] | Huang, Xuanjing [editor.] | Lin, Hongfei [editor.] | Liu, Zhiyuan [editor.] | Liu, Yang [editor.] | SpringerLink (Online service).

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

Páginas

Con tecnología Koha