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

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

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

2

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

book Universal Artificial Intelligence. Sequential Decisions Based on Algorithmic Probability

Universal Artificial Intelligence. Sequential Decisions Based on Algorithmic Probability

pdf

Author: Marcus Hutter
Language: English
Year: 2005

00

27.01.2024

0

0

book Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

pdf

Author: Yves Bertot Pierre Castéran
Language: English
Year: 2004

00

27.01.2024

2

0

book The Parametric Lambda Calculus: A Metamodel for Computation

The Parametric Lambda Calculus: A Metamodel for Computation

pdf

Author: Simona Ronchi Della Rocca Luca Paolini
Language: English
Year: 2004

00

27.01.2024

0

0

book Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and Algorithms

pdf

Author: Klaus Schneider
Language: English
Year: 2004

00

27.01.2024

2

0