Your search returned 5 results.

Results
	1.	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)
	2.	Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Bjørner, Dines Henson, Martin C SpringerLink (Online service) Series: Monographs 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: QA76.7 B56 2008. Place hold Add to cart (remove)
	3.	Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. by Horváth, Zoltán Plasmeijer, Rinus Soós, Anna Zsók, Viktória SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5161 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: QA76.62 H67 2008. Place hold Add to cart (remove)
	4.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S Haxthausen, Anne E Yenigun, Husnu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5160 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	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)

Powered by Koha