Your search returned 18 results.

Results
	1.	Taxonomies for the Development and Verification of Digital Systems [recurso electrónico] / edited by Brian Bailey, Grant Martin, Thomas Anderson. por Bailey, Brian [editor.] Martin, Grant [editor.] Anderson, Thomas [editor.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815. Place hold Add to cart (remove)
	2.	Abstraction, Refinement and Proof for Probabilistic Systems [recurso electrónico] / by Annabelle McIver, Carroll Morgan. por McIver, Annabelle [author.] Morgan, Carroll [author.] SpringerLink (Online service) Series Monographs in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.11. Place hold Add to cart (remove)
	3.	Adapting Proofs-as-Programs [recurso electrónico] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por Poernomo, Iman Hafiz [author.] Wirsing, Martin [author.] Crossley, John Newsome [author.] SpringerLink (Online service) Series Monographs in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1015113. Place hold Add to cart (remove)
	4.	Fault-Tolerance Techniques for SRAM-based FPGAs [recurso electrónico] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis. por Kastensmidt, Fernanda Lima [author.] Carro, Luigi [author.] Reis, Ricardo [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3. Place hold Add to cart (remove)
	5.	Mathematical Problems from Applied Logic I [recurso electrónico] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. por Gabbay, Dov M [editor.] Goncharov, Sergei S [editor.] Zakharyaschev, Michael [editor.] SpringerLink (Online service) Series International Mathematical Series ; 4 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 511.3. Place hold Add to cart (remove)
	6.	The Unknown Component Problem [recurso electrónico] : Theory and Applications / by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli. por Villa, Tiziano [author.] Yevtushenko, Nina [author.] Brayton, Robert K [author.] Mishchenko, Alan [author.] Petrenko, Alexandre [author.] Sangiovanni-Vincentelli, Alberto [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2012 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815. Place hold Add to cart (remove)
	7.	A Modular Calculus for the Average Cost of Data Structuring [recurso electrónico] / by Michel Schellekens. por Schellekens, Michel [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2008 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	8.	Speech Processing in Embedded Systems [recurso electrónico] / by Priyabrata Sinha. por Sinha, Priyabrata [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2010 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.382. Place hold Add to cart (remove)
	9.	More than Moore [recurso electrónico] : Creating High Value Micro/Nanoelectronics Systems / edited by Guo Qi Zhang, Alfred Roosmalen. por Zhang, Guo Qi [editor.] Roosmalen, Alfred [editor.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2009 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.381. Place hold Add to cart (remove)
	10.	Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. por Lee, Kent [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2008 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1). Place hold Add to cart (remove)
	11.	Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. por Almeida, José Bacelar [author.] Frade, Maria João [author.] Pinto, Jorge Sousa [author.] Melo de Sousa, Simão [author.] SpringerLink (Online service) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	12.	Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. por Dowek, Gilles [author.] Lévy, Jean-Jacques [author.] SpringerLink (Online service) Series Undergraduate Topics in Computer Science Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 004.0151. Place hold Add to cart (remove)
	13.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. por Alagar, V.S [author.] Periyasamy, K [author.] SpringerLink (Online service) Series Texts in Computer Science Edición: 2nd Edition. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2011 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 005.1. Place hold Add to cart (remove)
	14.	New Algorithms, Architectures and Applications for Reconfigurable Computing [electronic resource] / edited by Patrick Lysaght, Wolfgang Rosenstiel. por Lysaght, Patrick [editor.] Rosenstiel, Wolfgang [editor.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Boston, MA : Springer US, 2005 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3. Place hold Add to cart (remove)
	15.	Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. por Gabbar, Hossam A [editor.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 541.2. Place hold Add to cart (remove)
	16.	A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. por DasGupta, Pallab [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2006 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815. Place hold Add to cart (remove)
	17.	Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner. por Gabbay, D.M [editor.] Guenthner, F [editor.] SpringerLink (Online service) Series Handbook of Philosophical Logic ; 14 Edición: 2nd Edition. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2007 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 160. Place hold Add to cart (remove)
	18.	Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim. por Lim, Sung Kyu [author.] SpringerLink (Online service) Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2008 En: Springer eBooks Recursos en línea: Ver el texto completo en las instalaciones del CICY Disponibilidad: Ítems disponibles para préstamo: CICY (1)Colección, signatura topográfica: Libro electrónico 621.3815. Place hold Add to cart (remove)