Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Technological Innovations in Sensing and Detection of Chemical, Biological, Radiological, Nuclear Threats and Ecological Terrorism [Recurso electrónico] / edited by Ashok Vaseashta, Eric Braman, Philip Susmann. por Vaseashta, Ashok | Braman, Eric | Susmann, Philip. Series NATO Science for Peace and Security Series A: Chemistry and Biology, 1874-6489Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Detalles de publicación: Dordrecht : Springer Netherlands, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
Tika in action / Chris A. Mattmann, Jukka L. Zitting. por Mattmann, Chris A | Zitting, Jukka L. Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Shelter Island, NY : Manning, c2012Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06APA/MAT/tik, ...
|
|
|
|
|
|
|
|
|
Computational Intelligence and Intelligent Systems [Recurso electrónico] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai. por Li, Zhenhua | Li, Xiang | Liu, Yong | Cai, Zhihua. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
Emerging Research in Artificial Intelligence and Computational Intelligence [Recurso electrónico] : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao. por Lei, Jingsheng | Wang, Fu Lee | Deng, Hepu | Miao, Duoqian. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. por HÃ{u8BAC}e, Reiner | Knoop, Jens | Margaria, Tiziana | Schreiner, Dietmar | Steffen, Bernhard. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
Intelligent Information Processing VI [Recurso electrónico] : 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings / edited by Zhongzhi Shi, David Leake, Sunil Vadera. por Shi, Zhongzhi | Leake, David | Vadera, Sunil. Series IFIP Advances in Information and Communication Technology ; 385Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|