Texts in Theoretical Computer Science. An EATCS Series – serie

Visar alla böcker i serien Texts in Theoretical Computer Science. An EATCS Series. Handla med fri frakt och snabb leverans.
85 produkter
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Inbunden

553 kr

Skickas inom 5-8 vardagar

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh - Formal Methods for Software Engineering, Häftad

422 kr

Skickas inom 5-8 vardagar

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

558 kr

Skickas inom 10-15 vardagar

Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory, Häftad

558 kr

Skickas inom 10-15 vardagar

Dennis Komm - Introduction to Online Computation, Inbunden

1 077 kr

Skickas inom 10-15 vardagar

Roberto Bruni, Ugo Montanari - Models of Computation, Inbunden

422 kr

Skickas inom 5-8 vardagar

Luca Marchetti, Corrado Priami, Vo Hong Thanh - Simulation Algorithms for Computational Systems Biology, Inbunden

617 kr

Skickas inom 10-15 vardagar

Dennis Komm - Introduction to Online Computation, Häftad

778 kr

Skickas inom 10-15 vardagar

Roberto Bruni, Ugo Montanari - Models of Computation, Häftad

421 kr

Skickas inom 5-8 vardagar

Luca Marchetti, Corrado Priami, Vo Hong Thanh - Simulation Algorithms for Computational Systems Biology, Häftad

617 kr

Skickas inom 10-15 vardagar

Klaus Schneider - Verification of Reactive Systems, Inbunden

558 kr

Skickas inom 10-15 vardagar

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Finite Model Theory and Its Applications, Inbunden

999 kr

Skickas inom 10-15 vardagar

Juraj Hromkovič, Ralf Klasing, A. Pelc, Peter Ruzicka, Walter Unger - Dissemination of Information in Communication Networks, Inbunden
Juraj Hromkovič - Theoretical Computer Science, Inbunden
Simona Ronchi Della Rocca, Luca Paolini - Parametric Lambda Calculus, Inbunden

542 kr

Skickas inom 10-15 vardagar

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Inbunden
Werner Kluge - Abstract Computing Machines, Inbunden

1 109 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 1, Inbunden

1 109 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 2, Inbunden

558 kr

Skickas inom 10-15 vardagar

Dines Bjørner - Software Engineering 3, Inbunden

1 109 kr

Skickas inom 10-15 vardagar

Leonid Libkin - Elements of Finite Model Theory, Inbunden

1 077 kr

Skickas inom 10-15 vardagar

Frank Drewes - Grammatical Picture Generation, Övrigt
Marcus Hutter - Universal Artificial Intelligence, Inbunden

999 kr

Skickas inom 10-15 vardagar

Jörg Rothe - Complexity Theory and Cryptology, Inbunden

534 kr

Skickas inom 10-15 vardagar

R. Kurki-Suonio - Practical Theory of Reactive Systems, Inbunden

558 kr

Skickas inom 10-15 vardagar

J. Hromkovic - Design and Analysis of Randomized Algorithms, Inbunden

723 kr

Skickas inom 10-15 vardagar

J. Flum, M. Grohe - Parameterized Complexity Theory, Inbunden

1 330 kr

Skickas inom 10-15 vardagar

Cristian S. Calude - Information and Randomness, Inbunden

863 kr

Skickas inom 10-15 vardagar

Juraj Hromkovič - Algorithmics for Hard Problems, Inbunden
Juraj Hromkovič - Communication Complexity and Parallel Computing, Inbunden

558 kr

Skickas inom 10-15 vardagar