Texts in Theoretical Computer Science. An EATCS Series – serie

Visar alla böcker i serien Texts in Theoretical Computer Science. An EATCS Series.

84 produkter

Kategorier

84 produkter

Formal Methods for Software Engineering
Languages, Methods, Application Domains
AvMarkus Roggenbach,Antonio Ceronem. fl.
Inbunden, Engelska, 2022
1 189 kr
Skickas inom 10-15 vardagar
Formal Methods for Software Engineering
Languages, Methods, Application Domains
AvMarkus Roggenbach,Antonio Ceronem. fl.
Häftad, Engelska, 2023
889 kr
Skickas inom 10-15 vardagar
Introduction to Concurrency Theory
Transition Systems and CCS
AvRoberto Gorrieri,Cristian Versari
Inbunden, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Introduction to Concurrency Theory
Transition Systems and CCS
AvRoberto Gorrieri,Cristian Versari
Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar
Introduction to Online Computation
Determinism, Randomization, Advice
AvDennis Komm
Inbunden, Engelska, 2016
1 439 kr
Skickas inom 10-15 vardagar
Models of Computation
AvRoberto Bruni,Ugo Montanari
Inbunden, Engelska, 2017
569 kr
Skickas inom 5-8 vardagar
Simulation Algorithms for Computational Systems Biology
AvLuca Marchetti,Corrado Priamim. fl.
Inbunden, Engelska, 2017
829 kr
Skickas inom 10-15 vardagar
Introduction to Online Computation
Determinism, Randomization, Advice
AvDennis Komm
Häftad, Engelska, 2018
1 039 kr
Skickas inom 10-15 vardagar
Models of Computation
AvRoberto Bruni,Ugo Montanari
Häftad, Engelska, 2018
569 kr
Skickas inom 5-8 vardagar
Simulation Algorithms for Computational Systems Biology
AvLuca Marchetti,Corrado Priamim. fl.
Häftad, Engelska, 2018
829 kr
Skickas inom 10-15 vardagar
Verification of Reactive Systems
Formal Methods and Algorithms
AvKlaus Schneider
Inbunden, Engelska, 2003
749 kr
Skickas inom 10-15 vardagar
Finite Model Theory and Its Applications
AvErich Grädel,Phokion G. Kolaitism. fl.
Inbunden, Engelska, 2007
1 339 kr
Skickas inom 10-15 vardagar
Dissemination of Information in Communication Networks
Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
AvJuraj Hromkovič,Ralf Klasingm. fl.
Inbunden, Engelska, 2005
749 kr
Skickas inom 10-15 vardagar
Theoretical Computer Science
Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
AvJuraj Hromkovič
Inbunden, Engelska, 2003
1 639 kr
Skickas inom 10-15 vardagar
Parametric Lambda Calculus
A Metamodel for Computation
AvSimona Ronchi Della Rocca,Luca Paolini
Inbunden, Engelska, 2004
729 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
AvYves Bertot,Pierre Castéran
Inbunden, Engelska, 2004
1 729 kr
Abstract Computing Machines
A Lambda Calculus Perspective
AvWerner Kluge
Inbunden, Engelska, 2005
1 489 kr
Skickas inom 10-15 vardagar
Software Engineering 1
Abstraction and Modelling
AvDines Bjørner
Inbunden, Engelska, 2005
1 489 kr
Skickas inom 10-15 vardagar
Software Engineering 2
Specification of Systems and Languages
AvDines Bjørner
Inbunden, Engelska, 2006
749 kr
Skickas inom 10-15 vardagar
Software Engineering 3
Domains, Requirements, and Software Design
AvDines Bjørner
Inbunden, Engelska, 2006
1 489 kr
Skickas inom 10-15 vardagar
Elements of Finite Model Theory
AvLeonid Libkin
Inbunden, Engelska, 2004
1 449 kr
Skickas inom 10-15 vardagar
Universal Artificial Intelligence
Sequential Decisions Based on Algorithmic Probability
AvMarcus Hutter
Inbunden, Engelska, 2004
1 339 kr
Skickas inom 10-15 vardagar
Complexity Theory and Cryptology
An Introduction to Cryptocomplexity
AvJörg Rothe
Inbunden, Engelska, 2005
719 kr
Skickas inom 10-15 vardagar
Practical Theory of Reactive Systems
Incremental Modeling of Dynamic Behaviors
AvR. Kurki-Suonio
Inbunden, Engelska, 2005
749 kr
Skickas inom 10-15 vardagar
Design and Analysis of Randomized Algorithms
Introduction to Design Paradigms
AvJ. Hromkovic
Inbunden, Engelska, 2005
969 kr
Skickas inom 10-15 vardagar
Parameterized Complexity Theory
AvJ. Flum,M. Grohe
Inbunden, Engelska, 2006
1 779 kr
Skickas inom 10-15 vardagar
Information and Randomness
An Algorithmic Perspective
AvCristian S. Calude
Inbunden, Engelska, 2002
1 159 kr
Skickas inom 10-15 vardagar
Algorithmics for Hard Problems
Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
AvJuraj Hromkovič
Inbunden, Engelska, 2002
1 339 kr
Skickas inom 10-15 vardagar
Communication Complexity and Parallel Computing
AvJuraj Hromkovič
Inbunden, Engelska, 1997
749 kr
Skickas inom 10-15 vardagar
Boolean Functions and Computation Models
AvPeter Clote,Evangelos Kranakis
Inbunden, Engelska, 2002
1 109 kr
Skickas inom 10-15 vardagar

Texts in Theoretical Computer Science. An EATCS Series – serie

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Introduction to Concurrency Theory

Introduction to Concurrency Theory

Introduction to Online Computation

Models of Computation

Simulation Algorithms for Computational Systems Biology

Introduction to Online Computation

Models of Computation

Simulation Algorithms for Computational Systems Biology

Verification of Reactive Systems

Finite Model Theory and Its Applications

Dissemination of Information in Communication Networks

Theoretical Computer Science

Parametric Lambda Calculus

Interactive Theorem Proving and Program Development

Abstract Computing Machines

Software Engineering 1

Software Engineering 2

Software Engineering 3

Elements of Finite Model Theory

Universal Artificial Intelligence

Complexity Theory and Cryptology

Practical Theory of Reactive Systems

Design and Analysis of Randomized Algorithms

Parameterized Complexity Theory

Information and Randomness

Algorithmics for Hard Problems

Communication Complexity and Parallel Computing

Boolean Functions and Computation Models

Texts in Theoretical Computer Science. An EATCS Series – serie

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Introduction to Concurrency Theory

Introduction to Concurrency Theory

Introduction to Online Computation

Models of Computation

Simulation Algorithms for Computational Systems Biology

Introduction to Online Computation

Models of Computation

Simulation Algorithms for Computational Systems Biology

Verification of Reactive Systems

Finite Model Theory and Its Applications

Dissemination of Information in Communication Networks

Theoretical Computer Science

Parametric Lambda Calculus

Interactive Theorem Proving and Program Development

Abstract Computing Machines

Software Engineering 1

Software Engineering 2

Software Engineering 3

Elements of Finite Model Theory

Universal Artificial Intelligence

Complexity Theory and Cryptology

Practical Theory of Reactive Systems

Design and Analysis of Randomized Algorithms

Parameterized Complexity Theory

Information and Randomness

Algorithmics for Hard Problems

Communication Complexity and Parallel Computing

Boolean Functions and Computation Models