Your search returned 6 results.

Results
	1.	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer. by Middeldorp, Aart Oostrom, Vincent Raamsdonk, Femke Vrijer, Roel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3838 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 M53 2005. Place hold Add to cart (remove)
	2.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Artemov, Sergei N Nerode, Anil SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4514 Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 A78 2007. Place hold Add to cart (remove)
	3.	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)
	4.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich Kolaitis, Phokion G Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y Venema, Yde Weinstein, Scott SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 G73 2007. Place hold Add to cart (remove)
	5.	Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by Fiadeiro, José Luiz SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 F53 2005. Place hold Add to cart (remove)
	6.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M Goncharov, Sergei S Zakharyaschev, Michael SpringerLink (Online service) Series: International Mathematical Series ; 4 Material type: Computer file; Format: electronic Publication details: New York, NY : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 G33 2006. Place hold Add to cart (remove)

Powered by Koha