Su búsqueda obtuvo 15 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.

Computer and Computing Technologies in Agriculture V [Recurso electrónico] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III / edited by Daoliang Li, Yingyi Chen.

por Li, Daoliang | Chen, Yingyi.

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 370Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture IV [Recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II / edited by Daoliang Li, Yande Liu, Yingyi Chen.

por Li, Daoliang | Liu, Yande | Chen, Yingyi | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 345Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture IV [Recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I / edited by Daoliang Li, Yande Liu, Yingyi Chen.

por Li, Daoliang | Liu, Yande | Chen, Yingyi | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 344Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Disponibilidad: No hay ítems disponibles.

Architecture Description Languages [Recurso electrónico] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22â€{u2DEC} 2004, Toulouse, France / edited by Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, FranÃ{u00A7}ois Vernadat.

por Dissaux, Pierre | Filali-Amine, Mamoun | Michel, Pierre | Vernadat, FranÃ{u00A7}ois | SpringerLink (Online service).

Series IFIP The International Federation for Information Processing, 1571-5736 ; ; 176Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Boston, MA : International Federation for Information Processing, 2005Disponibilidad: 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.

Computer and Computing Technologies in Agriculture III [Recurso electrónico] : Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers / edited by Daoliang Li, Chunjiang Zhao.

por Li, Daoliang | Zhao, Chunjiang | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 317Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture V [Recurso electrónico] : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I / edited by Daoliang Li, Yingyi Chen.

por Li, Daoliang | Chen, Yingyi.

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 368Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture IV [Recurso electrónico] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV / edited by Daoliang Li, Yande Liu, Yingyi Chen.

por Li, Daoliang | Liu, Yande | Chen, Yingyi | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 347Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture II, Volume 2 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao.

por Li, Daoliang | Zhao, Chunjiang | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 294Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Boston, MA : Springer Science+Business Media, LLC, 2009Disponibilidad: No hay ítems disponibles.

Computer and Computing Technologies in Agriculture II, Volume 1 [Recurso electrónico] : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China / edited by Daoliang Li, Chunjiang Zhao.

por Li, Daoliang | Zhao, Chunjiang | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 293Tipo de material: Archivo de ordenador Archivo de ordenador; Formato: electrónico Detalles de publicación: Boston, MA : Springer Science+Business Media, LLC, 2009Disponibilidad: No hay ítems disponibles.

Growth and Development of Computer-Aided Innovation [Recurso electrónico] : Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings / edited by Runhua Tan, Guozhong Cao, Noel León.

por Tan, Runhua | Cao, Guozhong | León, Noel | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 304Tipo 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.

Páginas

Con tecnología Koha