Su búsqueda retornó 834 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias

Resultados
	1.	Fundamentals of Software Engineering [electronic resource] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. por Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 8161 \| Lecture Notes in Computer Science ; 8161 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev. por Koutny, Maciej [editor.] Aalst, Wil M. P [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 8100 \| Lecture Notes in Computer Science ; 8100 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	3.	Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lȭbeck, Germany, September 8-10, 2004 Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder. por Grelck, Clemens [editor.] Huch, Frank [editor.] Michaelson, Greg J [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3474 \| Lecture Notes in Computer Science ; 3474 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	4.	Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo PeȘa. por Trinder, Phil [editor.] Michaelson, Greg J [editor.] PeȘa, Ricardo [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3145 \| Lecture Notes in Computer Science ; 3145 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	5.	Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch. por Butterfield, Andrew [editor.] Grelck, Clemens [editor.] Huch, Frank [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4015 \| Lecture Notes in Computer Science ; 4015 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	6.	Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / edited by Zoltn Horvth, Viktria Zsk, Andrew Butterfield. por Horvth, Zoltn [editor.] Zsk, Viktria [editor.] Butterfield, Andrew [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4449 \| Lecture Notes in Computer Science ; 4449 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	7.	Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur. por Bin, Eyal [editor.] Ziv, Avi [editor.] Ur, Shmuel [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4383 \| Lecture Notes in Computer Science ; 4383 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	8.	Hardware and Software: Verification and Testing [electronic resource] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings / edited by Hana Chockler, Alan J. Hu. por Chockler, Hana [editor.] Hu, Alan J [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 5394 \| Lecture Notes in Computer Science ; 5394 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	9.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. por Bartocci, Ezio [editor.] Ramakrishnan, C. R [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 7976 \| Lecture Notes in Computer Science ; 7976 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	10.	Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / edited by Karen Yorav. por Yorav, Karen [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4899 \| Lecture Notes in Computer Science ; 4899 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	11.	Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by JosȨ Luiz Fiadeiro, Paola Inverardi. por Fiadeiro, JosȨ Luiz [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4961 \| Lecture Notes in Computer Science ; 4961 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	12.	In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. por Tannen, Val [editor.] Wong, Limsoon [editor.] Libkin, Leonid [editor.] Fan, Wenfei [editor.] Tan, Wang-Chiew [editor.] Fourman, Michael [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 8000 \| Lecture Notes in Computer Science ; 8000 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	13.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. por Cook, Byron [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4349 \| Lecture Notes in Computer Science ; 4349 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	14.	Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antnia Lopes. por Dwyer, Matthew B [editor.] Lopes, Antnia [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4422 \| Lecture Notes in Computer Science ; 4422 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	15.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. por Emerson, E. Allen [editor.] Namjoshi, Kedar S [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3855 \| Lecture Notes in Computer Science ; 3855 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	16.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. por Logozzo, Francesco [editor.] Peled, Doron A [editor.] Zuck, Lenore D [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 4905 \| Lecture Notes in Computer Science ; 4905 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	17.	Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. por Ur, Shmuel [editor.] Bin, Eyal [editor.] Wolfsthal, Yaron [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3875 \| Lecture Notes in Computer Science ; 3875 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	18.	Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. por Baresi, Luciano [editor.] Heckel, Reiko [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3922 \| Lecture Notes in Computer Science ; 3922 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	19.	Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. por Havelund, Klaus [editor.] Majumdar, Rupak [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 5156 \| Lecture Notes in Computer Science ; 5156 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	20.	Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid. por Godefroid, Patrice [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3639 \| Lecture Notes in Computer Science ; 3639 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Idiomas

Su búsqueda retornó 834 resultados.