Your search returned 15 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
2.
Design and Analysis of Randomized Algorithms [electronic resource] : Introduction to Design Paradigms / by Juraj HromkoviČ. by Series: Texts in Theoretical Computer Science An EATCS Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA274 H76 2005.

Place hold Add to cart
3.
Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Series: Texts in Theoretical Computer Science, An EATCS Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC199.T4 K76 2008.

Place hold Add to cart
4.
Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006.

Place hold Add to cart
5.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 F65 2007.

Place hold Add to cart
6.
7.
8.
A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Series: Texts in Theoretical Computer Science An EATCS Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 K87 2005.

Place hold Add to cart
9.
Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Series: Texts in Theoretical Computer Science, An EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 K58 2005.

Place hold Add to cart
10.
11.
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Series: Texts in Theoretical Computer Science. An EATCS Series
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 F58 2006.

Place hold Add to cart
12.
Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jörg Rothe. by 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 Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 R68 2005.

Place hold Add to cart
13.
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Series: Texts in Theoretical Computer Science, An Eatcs Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA279.4 K76 2008 .

Place hold Add to cart
14.
Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Series: Texts in Theoretical Computer Science an EATCS Series
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 B56 2006.

Place hold Add to cart
15.
Computable analysis : An introduction / Klaus Weihrauch. ed.Wilfried Brauer by Series: (texts in theoretical computer science An EATCS series)
Edition: 1a ed.
Material type: Text Text; Literary form:
Publication details: Berlin : Springer, 2000
Availability: Items available for loan: Biblioteca de la Facultad de Físico Matemáticas (1)Call number: QA297 W45 2000 C:1.

Place hold Add to cart
Pages

Powered by Koha