Resultados
|
|
|
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.
|
|
|
|
Multimedia and Signal Processing [Recurso electrónico] : Second International Conference, CMSP 2012, Shanghai, China, December 7-9, 2012. Proceedings / edited by Fu Lee Wang, Jingsheng Lei, Rynson W. H. Lau, Jingxin Zhang. por Wang, Fu Lee | Lei, Jingsheng | Lau, Rynson W. H | Zhang, Jingxin. Series Communications in Computer and Information Science ; 346Tipo 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.
|
|
|
|
Advances on Digital Television and Wireless Multimedia Communications [Recurso electrónico] : 9th International Forum on Digital TV and Wireless Multimedia Communication, IFTC 2012, Shanghai, China, November 9-10, 2012. Proceedings / edited by Wenjun Zhang, Xiaokang Yang, Zhixiang Xu, Ping An, Qizhen Liu, Yue Lu. por Zhang, Wenjun | Yang, Xiaokang | Xu, Zhixiang | An, Ping | Liu, Qizhen | Lu, Yue. Series Communications in Computer and Information Science ; 331Tipo 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.
|
|
|
|
Advances in Speech and Language Technologies for Iberian Languages [Recurso electrónico] : IberSPEECH 2012 Conference, Madrid, Spain, November 21-23, 2012. Proceedings / edited by Doroteo Torre Toledano, Alfonso Ortega Gim©â{uDBA5}z, Ant©Ä{uEA6F} Teixeira, Joaqu©Æn̄ Gonz©Å{uC97A} Rodr©Æḡuez, Luis Hern©Å{uE925}z G©Ä{uD97A}, Rub©â{uDBA0}San Segundo Hern©Å{uE925}z, Daniel Ramos Castro. por Torre Toledano, Doroteo | Ortega Giménez, Alfonso | Teixeira, António | González RodrÃ{u7D65}z, JoaquÃ{uEB80} | Hernández Gómez, Luis | San Segundo Hernández, Rubén | Ramos Castro, Daniel. Series Communications in Computer and Information Science ; 328Tipo 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.
|
|
|
|
Advanced Machine Learning Technologies and Applications [Recurso electrónico] : First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings / edited by Aboul Ella Hassanien, Abdel-Badeeh M. Salem, Rabie Ramadan, Tai-hoon Kim. por Hassanien, Aboul Ella | Salem, Abdel-Badeeh M | Ramadan, Rabie | Kim, Tai-hoon. Series Communications in Computer and Information Science ; 322Tipo 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.
|
|
|
|
Trends in Intelligent Robotics, Automation, and Manufacturing [Recurso electrónico] : First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings / edited by S. G. Ponnambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan. por Ponnambalam, S. G | Parkkinen, Jussi | Ramanathan, Kuppan Chetty. Series Communications in Computer and Information Science ; 330Tipo 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.
|
|
|
|
Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition [Recurso electrónico] : International Conferences, SIP, WSE, and ICHCI 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Sabah Mohammed, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik ¿تlâ{uF629}zak. por Kim, Tai-hoon | Mohammed, Sabah | Ramos, Carlos | Abawajy, Jemal | Kang, Byeong-Ho | ¿تlâ{uF629}zak, Dominik. Series Communications in Computer and Information Science ; 342Tipo 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.
|