Your search returned 6 results.

Results
	1.	New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. Barry Löwe, Benedikt Sorbi, Andrea SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer-Verlag New York, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 N49 2008. Place hold Add to cart (remove)
	2.	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 M55 2006. Place hold Add to cart (remove)
	3.	Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by Gopalakrishnan, Ganesh SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media LLC, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.M35 G67 2005. Place hold Add to cart (remove)
	4.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005. Place hold Add to cart (remove)
	5.	New Approaches to Circle Packing in a Square [electronic resource] : With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García. by Szabó, P. G Markót, M. Cs Csendes, T Specht, E Casado, L. G García, I SpringerLink (Online service) Series: Springer Optimization and Its Applications ; 6 Material type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA640.7 N49 2007 . Place hold Add to cart (remove)
	6.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle Morgan, Carroll SpringerLink (Online service) Series: Monographs in Computer Science Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TA340 M43 2005. Place hold Add to cart (remove)

Powered by Koha