Su búsqueda retornó 1708 resultados.

Resultados
		Treatise on Intuitionistic Type Theory por Granström, Johan Georg. Publicación: Dordrecht : Springer Netherlands, 2011 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Adapting Proofs-as-Programs The Curry-Howard Protocol / por Poernomo, Iman Hafiz. Publicación: New York, NY : Springer New York, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Mathematical Problems from Applied Logic I Logics for the XXIst Century / por Gabbay, Dov M. Publicación: New York, NY : Springer New York, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Abstraction, Refinement and Proof for Probabilistic Systems por McIver, Annabelle. Publicación: New York, NY : Springer New York, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		A Modular Calculus for the Average Cost of Data Structuring por Schellekens, Michel. Publicación: Boston, MA : Springer US, 2008 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages An Active Learning Approach / por Lee, Kent. Publicación: Boston, MA : Springer US, 2008 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Modern Formal Methods and Applications por Gabbar, Hossam A. Publicación: Dordrecht : Springer Netherlands, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Handbook of Philosophical Logic por Gabbay, D.M. Publicación: Dordrecht : Springer Netherlands, 2007 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Theoretical Introduction to Programming por Mills, Bruce. Publicación: London : Springer London, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Semantics with Applications: An Appetizer por Nielson, Hanne Riis. Publicación: London : Springer London, 2007 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Principles of the Spin Model Checker por Ben-Ari, Mordechai. Publicación: London : Springer London, 2008 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities / por Simon, Axel. Publicación: London : Springer London, 2008 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Elementary Logic For Software Development / por Lover, Robert. Publicación: London : Springer London, 2008 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / por Bowman, Howard. Publicación: London : Springer London, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Finite Model Theory and Its Applications por Grädel, Erich. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components / por Caromel, Denis. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Categories for Software Engineering por Fiadeiro, José Luiz. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Complexity Theory Exploring the Limits of Efficient Algorithms / por Wegener, Ingo. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Abstract Computing Machines A Lambda Calculus Perspective / por Kluge, W. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Software Engineering 1 Abstraction and Modelling / por Bjørner, Dines. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Software Engineering 2 Specification of Systems and Languages / por Bjørner, Dines. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Software Engineering 3 Domains, Requirements, and Software Design / por Bjøner, Dines. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / por Kurki-Suonio, Reino. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / por Trinder, Phil. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)
		Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports / por Malenfant, Jacques. Publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 Disponibilidad: Ingresar para agregar etiquetas Agregar al carrito (remover)

Con tecnología Koha

Refinar su búsqueda

Disponibilidad

Autores

Series

Tópicos

Su búsqueda retornó 1708 resultados.