Your search returned 5 results.

Results
	1.	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)
	2.	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg Grohe, Martin SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 F58 2006. Place hold Add to cart (remove)
	3.	Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Kroening, Daniel Strichman, Ofer 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, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA279.4 K76 2008 . Place hold Add to cart (remove)
	4.	Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Kröger, Fred Merz, Stephan SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: BC199.T4 K76 2008. Place hold Add to cart (remove)
	5.	Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Fokkink, Wan 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: QA76.58 F65 2007. Place hold Add to cart (remove)

Powered by Koha