Your search returned 11 results.

Results
	1.	Elements of Computer Security [electronic resource] / by David Salomon. por Salomon, David [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, 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 005.8. Place hold Add to cart (remove)
	2.	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)
	3.	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)
	4.	Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek. por Dowek, Gilles [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, 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)
	5.	Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan. por O'Regan, Gerard [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, 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)
	6.	Core Concepts in Data Analysis: Summarization, Correlation and Visualization [electronic resource] / by Boris Mirkin. por Mirkin, Boris [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)
	7.	Introduction to Artificial Intelligence [electronic resource] / by Wolfgang Ertel. por Ertel, Wolfgang [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, 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 006.3. Place hold Add to cart (remove)
	8.	Analysis for Computer Scientists [electronic resource] : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann. por Oberguggenberger, Michael [author.] Ostermann, Alexander [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, 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)
	9.	Pattern Recognition [electronic resource] : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi. por Murty, M. Narasimha [author.] Devi, V. Susheela [author.] SpringerLink (Online service) Series Undergraduate Topics in Computer Science ; 0 Edición: 1. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London, 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. Place hold Add to cart (remove)
	10.	Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen. por Mogensen, Torben Ægidius [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.13. Place hold Add to cart (remove)
	11.	Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers. por Chalmers, Dan [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.6. Place hold Add to cart (remove)