Su búsqueda obtuvo 22 resultados.

Ordenar
Resultados
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

por Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 17Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Computational Intelligence and Intelligent Systems [Recurso electrónico] : 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu.

por Cai, Zhihua | Li, Zhenhua | Kang, Zhuo | Liu, Yong | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 51Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Engineering Applications of Neural Networks [Recurso electrónico] : 11th International Conference, EANN 2009, London, UK, August 27-29, 2009. Proceedings / edited by Dominic Palmer-Brown, Chrisina Draganova, Elias Pimenidis, Haris Mouratidis.

por Palmer-Brown, Dominic | Draganova, Chrisina | Pimenidis, Elias | Mouratidis, Haris | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 43Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Computer Vision and Computer Graphics. Theory and Applications [Recurso electrónico] : International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers / edited by AlpeshKumar Ranchordas, Hélder J. Araújo, João Madeiras Pereira, José Braz.

por Ranchordas, AlpeshKumar | Araújo, Hélder J | Pereira, João Madeiras | Braz, José | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 24Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques [Recurso electrónico] : 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / edited by De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo.

por Huang, De-Shuang | Wunsch, Donald C | Levine, Daniel S | Jo, Kang-Hyun | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 15Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.

System Simulation and Scientific Computing [Recurso electrónico] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma.

por Xiao, Tianyuan | Zhang, Lin | Ma, Shiwei.

Series Communications in Computer and Information ScienceTipo de material: Texto 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.

Research and Education in Robotics - EUROBOT 2009 [Recurso electrónico] : International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers / edited by Achim Gottscheber, David ObdrÅ{u386C}ek, Colin Schmidt.

por Gottscheber, Achim | ObdrÅ{u386C}ek, David | Schmidt, Colin | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 82Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Database Theory and Application, Bio-Science and Bio-Technology [Recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song.

por Zhang, Yanchun | Cuzzocrea, Alfredo | Ma, Jianhua | Chung, Kyo-il | Arslan, Tughrul | Song, Xiaofeng | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 118Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

AsiaSim 2007 [Recurso electrónico] : Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings / edited by Jin-Woo Park, Tag- Gon Kim, Yun-Bae Kim.

por Park, Jin-Woo | Kim, Tag- Gon | Kim, Yun-Bae | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 5Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles.

AsiaSim 2012 [Recurso electrónico] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei.

por Xiao, Tianyuan | Zhang, Lin | Fei, Minrui.

Series Communications in Computer and Information ScienceTipo de material: Texto 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 Modeling, Simulation, and Automobile [Recurso electrónico] : International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings / edited by Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik ¿تlâ{uF629}zak, Hojjat Adeli.

por Kim, Tai-hoon | Ramos, Carlos | Abawajy, Jemal | Kang, Byeong-Ho | Å{uC119}zak, Dominik | Adeli, Hojjat.

Series Communications in Computer and Information Science ; 341Tipo de material: Texto 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 Computer Graphics and Computer Vision [Recurso electrónico] : International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers / edited by José Braz, Alpesh Ranchordas, Helder Araújo, Joaquim Jorge.

por Braz, José | Ranchordas, Alpesh | Araújo, Helder | Jorge, Joaquim | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 4Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles.

Computer Vision and Computer Graphics. Theory and Applications [Recurso electrónico] : International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers / edited by José Braz, Alpesh Ranchordas, Hélder J. Araújo, João Madeiras Pereira.

por Braz, José | Ranchordas, Alpesh | Araújo, Hélder J | Pereira, João Madeiras | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 21Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.

Computational Systems-Biology and Bioinformatics [Recurso electrónico] : First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedings / edited by Jonathan H. Chan, Yew-Soon Ong, Sung-Bae Cho.

por Chan, Jonathan H | Ong, Yew-Soon | Cho, Sung-Bae | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 115Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.

Biomedical Engineering Systems and Technologies [Recurso electrónico] : Third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010, Revised Selected Papers / edited by Ana Fred, Joaquim Filipe, Hugo Gamboa.

por Fred, Ana | Filipe, Joaquim | Gamboa, Hugo | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 127Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.

AsiaSim 2012 [Recurso electrónico] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei.

por Xiao, Tianyuan | Zhang, Lin | Fei, Minrui.

Series Communications in Computer and Information ScienceTipo de material: Texto 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 Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques [Recurso electrónico] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog.

por Huang, De-Shuang | Heutte, Laurent | Loog, Marco | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 2Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles.

System Simulation and Scientific Computing [Recurso electrónico] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma.

por Xiao, Tianyuan | Zhang, Lin | Ma, Shiwei.

Series Communications in Computer and Information ScienceTipo de material: Texto 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.

Páginas

Con tecnología Koha