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

Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett.

por Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 30Tipo 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.

Software Process Improvement [Recurso electrónico] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

por Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 16Tipo 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.

Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

por Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 59Tipo 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.

Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz.

por Riel, Andreas | Oâ€{u3BEE}nor, Rory | Tichkiewitch, Serge | Messnarz, Richard | SpringerLink (Online service).

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

Software Process Improvement [Recurso electrónico] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Juan Cuadrago Gallego, Ricardo Rejas Muslera, Kari Smolander, Richard Messnarz.

por Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Cuadrago Gallego, Juan | Rejas Muslera, Ricardo | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 42Tipo 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] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu.

por Cai, Zhihua | Tong, Hengjian | Kang, Zhuo | Liu, Yong | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 107Tipo 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.

Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Å{uC119}zak.

por Kim, Tai-hoon | Kim, Haeng-Kon | Khan, Muhammad Khurram | Kiumi, Akingbehin | Fang, Wai-chi | Å{uC119}zak, Dominik | SpringerLink (Online service).

Series Communications in Computer and Information Science, 1865-0929 ; ; 117Tipo 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.

S-BPM ONE â€{u04E5}tting the Stage for Subject-Oriented Business Process Management [Recurso electrónico] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers / edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary.

por Buchwald, Hagen | Fleischmann, Albert | Seese, Detlef | Stary, Christian | SpringerLink (Online service).

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

Páginas

Con tecnología Koha