Your search returned 13 results.

Results
	1.	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Hutter, Marcus SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	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)
	3.	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Bjørner, Dines 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, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006. Place hold Add to cart (remove)
	4.	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)
	5.	Dissemination of Information in Optical Networks [electronic resource] : From Technology to Algorithms In Cooperation with Ralf Klasing / by Subir Bandyopadhyay. by Bandyopadhyay, Subir SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) 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: TK5103.59 B36 2008. Place hold Add to cart (remove)
	6.	Dissemination of Information in Communication Networks [electronic resource] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovič, Ralf Klasing, Andrzej Pelc, Peter Ružička†, Walter Unger. by Hromkovič, Juraj Klasing, Ralf Pelc, Andrzej Ružička†, Peter Unger, Walter 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, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 H76 2005. Place hold Add to cart (remove)
	7.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Kurki-Suonio, Reino SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series Material type: Computer file; Format: electronic available online 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 K87 2005. Place hold Add to cart (remove)
	8.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W Brauer, W Rozenberg, G Salomaa, A 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, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 K58 2005. Place hold Add to cart (remove)
	9.	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)
	10.	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)
	11.	Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jörg Rothe. by Rothe, Jörg SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS) Edition: 1a ed. 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.9.A25 R68 2005. Place hold Add to cart (remove)
	12.	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)
	13.	Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Bjørner, Dines 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, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006. Place hold Add to cart (remove)

Powered by Koha