Rezultati - "Texts in theoretical computer science. An EATCS series"

1

DNA computing : new computing paradigms /

od Paun, Gheorghe, 1950-, Rozenberg, Grzegorz., Salomaa, Arto.
Izdano 1998

“...Texts in theoretical computer science : an EATCS series...”

Knjiga

2

Software Engineering /

od Bjørner, Dines, 1937-
Izdano 2006

“...Texts in theoretical computer science. An EATCS series...”

Knjiga

3

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /

od Hromkovic, Juraj., Klasing, Ralf., Pelc, Andrzej., Ružicka, Peter., Unger, Walter.
Izdano 2005

“...Texts in Theoretical Computer Science An EATCS Series...”

eKnjiga

4

Abstract Computing Machines A Lambda Calculus Perspective /

od Kluge, W.
Izdano 2005

“...Texts in Theoretical Computer Science, An EATCS Series...”

eKnjiga

5

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability /

od Hutter, Marcus.
Izdano 2005

“...Texts in Theoretical Computer Science An EATCS Series...”

eKnjiga

6

Modelling Distributed Systems

od Fokkink, Wan.
Izdano 2007

“...Texts in Theoretical Computer Science An EATCS Series,...”

eKnjiga

7

Design and Analysis of Randomized Algorithms Introduction to Design Paradigms /

od HromkoviC, Juraj.
Izdano 2005

“...Texts in Theoretical Computer Science An EATCS Series...”

eKnjiga

8

Software Engineering 1 Abstraction and Modelling /

od Bjørner, Dines.
Izdano 2006

“...Texts in Theoretical Computer Science an EATCS Series,...”

eKnjiga

9

Software Engineering 3 Domains, Requirements, and Software Design /

od Bjøner, Dines.
Izdano 2006

“...Texts in Theoretical Computer Science An EATC Series...”

eKnjiga

10

Grammatical Picture Generation A Tree-Based Approach /

Izdano 2006

“...Texts in Theoretical Computer Science An EATC Series...”

eKnjiga

11

Parameterized Complexity Theory

od Flum, Jörg., Grohe, Martin.
Izdano 2006

“...Texts in Theoretical Computer Science. An EATCS Series...”

eKnjiga

12

Software Engineering 2 Specification of Systems and Languages /

od Bjørner, Dines.
Izdano 2006

“...Texts in Theoretical Computer Science An EATCS Series...”

eKnjiga

13

Finite Model Theory and Its Applications

od Grädel, Erich., Kolaitis, Phokion G., Libkin, Leonid., Marx, Maarten., Spencer, Joel., Vardi, Moshe Y., Venema, Yde., Weinstein, Scott.
Izdano 2007

“...Texts in Theoretical Computer Science an EATCS Series,...”

eKnjiga

14

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

od Kurki-Suonio, Reino.
Izdano 2005

“...Texts in Theoretical Computer Science An EATCS Series...”

eKnjiga

15

Complexity Theory and Cryptology An Introduction to Cryptocomplexity /

od Rothe, Jörg.
Izdano 2005

“...Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association...”

eKnjiga

Zoži iskanje