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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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) .
|
|
|
|
|
|
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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) .
|