Visar resultat för...

Texts in Theoretical Computer Science. An EATCS Series

84 produkter
Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Inbunden

Introduction to Concurrency Theory

Av Roberto Gorrieri, Cristian Versari

Inbunden, Engelska, 2015

729 kr

Skickas inom 7-10 vardagar
Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Häftad

Introduction to Concurrency Theory

Av Roberto Gorrieri, Cristian Versari

Häftad, Engelska, 2016

709 kr

Skickas inom 7-10 vardagar
Dennis Komm - Introduction to Online Computation, Inbunden

Introduction to Online Computation

Av Dennis Komm

Inbunden, Engelska, 2016

1 269 kr

Skickas inom 7-10 vardagar
Roberto Bruni, Ugo Montanari - Models of Computation, Inbunden

Models of Computation

Av Roberto Bruni, Ugo Montanari

Inbunden, Engelska, 2017

549 kr

Skickas inom 5-8 vardagar
Luca Marchetti, Corrado Priami, Vo Hong Thanh - Simulation Algorithms for Computational Systems Biology, Inbunden

Simulation Algorithms for Computational Systems Biology

Av Luca Marchetti, Corrado Priami, Vo Hong Thanh

Inbunden, Engelska, 2017

539 kr

Skickas onsdag 24/9
Dennis Komm - Introduction to Online Computation, Häftad

Introduction to Online Computation

Av Dennis Komm

Häftad, Engelska, 2018

949 kr

Skickas inom 7-10 vardagar
Roberto Bruni, Ugo Montanari - Models of Computation, Häftad

Models of Computation

Av Roberto Bruni, Ugo Montanari

Häftad, Engelska, 2018

549 kr

Skickas inom 5-8 vardagar
Luca Marchetti, Corrado Priami, Vo Hong Thanh - Simulation Algorithms for Computational Systems Biology, Häftad

Simulation Algorithms for Computational Systems Biology

Av Luca Marchetti, Corrado Priami, Vo Hong Thanh

Häftad, Engelska, 2018

809 kr

Skickas inom 7-10 vardagar
Klaus Schneider - Verification of Reactive Systems, Inbunden

Verification of Reactive Systems

Av Klaus Schneider

Inbunden, Engelska, 2003

729 kr

Skickas inom 7-10 vardagar
Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic, J. Hromkovic - Theoretical Computer Science, Inbunden

Theoretical Computer Science

Av Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic, J. Hromkovic

Inbunden, Engelska, 2003

1 449 kr

Skickas inom 7-10 vardagar
Simona Ronchi Della Rocca, Luca Paolini - Parametric Lambda Calculus, Inbunden

Parametric Lambda Calculus

Av Simona Ronchi Della Rocca, Luca Paolini

Inbunden, Engelska, 2004

709 kr

Skickas inom 7-10 vardagar
Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Inbunden

Interactive Theorem Proving and Program Development

Av Yves Bertot, Pierre Castéran

Inbunden, Engelska, 2004

1 549 kr

Skickas inom 7-10 vardagar
Werner Kluge - Abstract Computing Machines, Inbunden

Abstract Computing Machines

Av Werner Kluge

Inbunden, Engelska, 2005

1 449 kr

Skickas inom 7-10 vardagar
Dines Bjørner - Software Engineering 1, Inbunden

Software Engineering 1

Av Dines Bjørner

Inbunden, Engelska, 2005

1 449 kr

Skickas inom 7-10 vardagar
Dines Bjørner - Software Engineering 2, Inbunden

Software Engineering 2

Av Dines Bjørner

Inbunden, Engelska, 2006

729 kr

Skickas inom 7-10 vardagar
Dines Bjørner - Software Engineering 3, Inbunden

Software Engineering 3

Av Dines Bjørner

Inbunden, Engelska, 2006

1 449 kr

Skickas inom 7-10 vardagar
Leonid Libkin - Elements of Finite Model Theory, Inbunden

Elements of Finite Model Theory

Av Leonid Libkin

Inbunden, Engelska, 2004

1 269 kr

Skickas inom 7-10 vardagar
Marcus Hutter - Universal Artificial Intelligence, Inbunden

Universal Artificial Intelligence

Av Marcus Hutter

Inbunden, Engelska, 2004

1 309 kr

Skickas inom 7-10 vardagar
Jörg Rothe - Complexity Theory and Cryptology, Inbunden

Complexity Theory and Cryptology

Av Jörg Rothe

Inbunden, Engelska, 2005

699 kr

Skickas inom 7-10 vardagar
R. Kurki-Suonio - Practical Theory of Reactive Systems, Inbunden

Practical Theory of Reactive Systems

Av R. Kurki-Suonio

Inbunden, Engelska, 2005

729 kr

Skickas inom 7-10 vardagar
J. Hromkovic - Design and Analysis of Randomized Algorithms, Inbunden

Design and Analysis of Randomized Algorithms

Av J. Hromkovic

Inbunden, Engelska, 2005

949 kr

Skickas inom 7-10 vardagar
J. Flum, M. Grohe - Parameterized Complexity Theory, Inbunden

Parameterized Complexity Theory

Av J. Flum, M. Grohe

Inbunden, Engelska, 2006

1 549 kr

Skickas inom 7-10 vardagar
Cristian S. Calude - Information and Randomness, Inbunden

Information and Randomness

Av Cristian S. Calude

Inbunden, Engelska, 2002

1 129 kr

Skickas inom 7-10 vardagar
Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic - Algorithmics for Hard Problems, Inbunden

Algorithmics for Hard Problems

Av Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic

Inbunden, Engelska, 2002

1 309 kr

Skickas inom 7-10 vardagar
Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic - Communication Complexity and Parallel Computing, Inbunden

Communication Complexity and Parallel Computing

Av Juraj Hromkovič, Juraj Hromkovič, Juraj Hromkovic

Inbunden, Engelska, 1997

729 kr

Skickas inom 7-10 vardagar
Peter Clote, Evangelos Kranakis - Boolean Functions and Computation Models, Inbunden

Boolean Functions and Computation Models

Av Peter Clote, Evangelos Kranakis

Inbunden, Engelska, 2002

1 089 kr

Skickas inom 7-10 vardagar