Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts in Theoretical Computer Science. An EATCS Series » Page 3

book Grammatical Picture Generation: A Tree-Based Approach

Grammatical Picture Generation: A Tree-Based Approach

pdf

Author: Frank Drewes
Language: English
Year: 2006

00

27.01.2024

0

0

book Dissemination of Information in Optical Networks: From Technology to Algorithms

Dissemination of Information in Optical Networks: From Technology to Algorithms

pdf

Author: Subir Bandyopadhyay
Language: English
Year: 2008

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

djvu

Author: Klaus Schneider
Language: English
Year: 2004

00

27.01.2024

0

0

book A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors

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

pdf

Author: Reino Kurki-Suonio
Language: English
Year: 2005

00

27.01.2024

0

0

book Abstract Computing Machines: A Lambda Calculus Perspective

Abstract Computing Machines: A Lambda Calculus Perspective

pdf

Author: Werner Kluge
Language: English
Year: 2005

00

27.01.2024

1

0

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

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

pdf

Author: Juraj Hromkovič Ralf Klasing Andrzej Pelc Peter Ružičkaà Walter Unger
Language: English
Year: 2005

00

27.01.2024

0

0

book Software Engineering 1: Abstraction and Modelling

Software Engineering 1: Abstraction and Modelling

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book Software Engineering 3: Domains, Requirements, and Software Design

Software Engineering 3: Domains, Requirements, and Software Design

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0

book Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

Complexity Theory and Cryptology: An Introduction to Cryptocomplexity

pdf

Author: Jörg Rothe
Language: English
Year: 2005

00

27.01.2024

0

0