Su búsqueda retornó 657 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias

Resultados
	1.	Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez. por Bowman, Howard [author.] Gomez, Rodolfo [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 2006Springer eBooks Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. por Kurki-Suonio, Reino [author.] SpringerLink (Online service) Series Texts in Theoretical Computer Science An EATCS Series \| Texts in Theoretical Computer Science An EATCS Series 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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)
	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.	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)
	18.	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Maura Cerioli. por Cerioli, Maura [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3442 \| Lecture Notes in Computer Science ; 3442 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)
	19.	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari. por Valmari, Antti [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3925 \| Lecture Notes in Computer Science ; 3925 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)
	20.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Mȭller-Olm. por Mȭller-Olm, Markus [author.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 3800 \| Lecture Notes in Computer Science ; 3800 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)

Refinar su búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Idiomas

Su búsqueda retornó 657 resultados.