Languages
Subject
Format
Availabity
Authors

Search result

Stasys Jukna - Extremal Combinatorics
Stasys Jukna Extremal Combinatorics English 01.09.2011 Hardback Fr. 123.00 2-3 weeks (title will be printed to order)
Danie Kroening, Daniel Kroening, Ofer Strichman - Decision Procedures
Danie Kroening, Daniel Kroening, Ofer Strichman Decision Procedures English 01.01.2017 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Robert Gorrieri, Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory
Robert Gorrieri, Roberto Gorrieri, Cristian Versari Introduction to Concurrency Theory English 01.01.2015 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Robert Bruni, Roberto Bruni, Ugo Montanari - Models of Computation
Robert Bruni, Roberto Bruni, Ugo Montanari Models of Computation English 01.01.2017 Hardback Fr. 83.00 2-3 weeks (title will be printed to order)
Dennis Komm - An Introduction to Online Computation
Dennis Komm An Introduction to Online Computation English 01.01.2016 Hardback Fr. 123.00 2-3 weeks (title will be printed to order)
Fedor Fomin, Fedor V Fomin, Fedor V. Fomin, Dieter Kratsch - Exact Exponential Algorithms
Fedor Fomin, Fedor V Fomin, Fedor V. Fomin, Dieter Kratsch Exact Exponential Algorithms English 06.10.2010 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Ari Koster, Arie Koster, Arie M. C. A. Koster, Muñoz, Muñoz, Xavier Muñoz - Graphs and Algorithms in Communication Networks
Ari Koster, Arie Koster, Arie M. C. A. Koster, Muñoz, Muñoz, Xavier Muñoz Graphs and Algorithms in Communication Networks English 15.12.2009 Hardback Fr. 188.00 2-3 weeks (title will be printed to order)
Fre Kröger, Fred Kröger, Stefan Merz, Stephan Merz - Temporal Logic and State Systems
Fre Kröger, Fred Kröger, Stefan Merz, Stephan Merz Temporal Logic and State Systems English 31.03.2008 Hardback Fr. 103.00 2-3 weeks (title will be printed to order)
Eric Grädel, Erich Grädel, Phokion Kolaitis, Phokion G Kolaitis, Phokion G. Kolaitis, Leonid Libkin... - Finite Model Theory and Its Applications
Eric Grädel, Erich Grädel, Phokion Kolaitis, Phokion G Kolaitis, Phokion G. Kolaitis, Leonid Libkin... Finite Model Theory and Its Applications English 26.04.2007 Hardback Fr. 123.00 2-3 weeks (title will be printed to order)
Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems English 22.10.2003 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Klaus Weihrauch - Computable Analysis
Klaus Weihrauch Computable Analysis English 15.01.2001 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Wan Fokkink - Introduction to Process Algebra
Wan Fokkink Introduction to Process Algebra English 07.02.2003 Hardback Fr. 69.00 2-3 weeks (title will be printed to order)
Dines Bjorner, D. Björner, Dines Bjørner - Software Engineering 3
Dines Bjorner, D. Björner, Dines Bjørner Software Engineering 3 English 01.01.2006 Hardback Fr. 135.00 6-7 weeks
Wan Fokkink - Modelling Distributed Systems
Wan Fokkink Modelling Distributed Systems English 04.10.2007 Hardback Fr. 70.00 6-7 weeks
Martin Dietzfelbinger - Primality Testing in Polynomial Time
Martin Dietzfelbinger Primality Testing in Polynomial Time English 01.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Juraj Hromkovi, Juraj Hromkovic, Juraj Hromkovič - Theoretical Computer Science
Juraj Hromkovi, Juraj Hromkovic, Juraj Hromkovič Theoretical Computer Science English 09.10.2003 Hardback Fr. 135.00 6-7 weeks
Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran - Interactive Theorem Proving and Program Development
Yve Bertot, Yves Bertot, P. Casteran, Pierre Castéran Interactive Theorem Proving and Program Development English 01.01.2004 Hardback Fr. 147.00 6-7 weeks
Lane Hemaspaandra, Lane A Hemaspaandra, Lane A. Hemaspaandra, Mitsunori Ogihara - The Complexity Theory Companion
Lane Hemaspaandra, Lane A Hemaspaandra, Lane A. Hemaspaandra, Mitsunori Ogihara The Complexity Theory Companion English 07.12.2001 Hardback Fr. 110.00 6-7 weeks
Ernst-Erich Doberkat - Stochastic Coalgebraic Logic
Ernst-Erich Doberkat Stochastic Coalgebraic Logic English 07.12.2009 Hardback Fr. 135.00 6-7 weeks
Eri BADOUEL, Eric Badouel, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau - Petri Net Synthesis
Eri BADOUEL, Eric Badouel, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau Petri Net Synthesis English 01.01.2015 Hardback Fr. 84.00 6-7 weeks