Showing 21 - 40 results of 81 for search '"EATCS"', query time: 0.25s Refine Results
  1. 21
    Software Engineering 3 Domains, Requirements, and Software Design /
    by Bjøner, Dines
    Published 2006
    “…Texts in Theoretical Computer Science An EATC Series…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 22
    Handbook of Weighted Automata
    Published 2009
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 23
    Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
    Published 2010
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 24
    Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
    by Gorrieri, Roberto
    Published 2017
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 25
    Stochastic Coalgebraic Logic
    by Doberkat, Ernst-Erich
    Published 2009
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 26
    Theoretical Aspects of Distributed Computing in Sensor Networks
    Published 2011
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 27
    Deterministic Extraction from Weak Random Sources
    by Gabizon, Ariel
    Published 2011
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 28
    Exact Exponential Algorithms
    by Fomin, Fedor V., Kratsch, Dieter
    Published 2010
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 29
    Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information /
    by Cicalese, Ferdinando
    Published 2013
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 30
    Extremal Combinatorics With Applications in Computer Science /
    by Jukna, Stasys
    Published 2011
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 31
    Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 32
    Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability /
    by Hutter, Marcus
    Published 2005
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 33
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    by Kurki-Suonio, Reino
    Published 2005
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 34
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    “…Texts in Theoretical Computer Science, An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 35
    Design and Analysis of Randomized Algorithms Introduction to Design Paradigms /
    by HromkoviČ, Juraj
    Published 2005
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 36
    Parameterized Complexity Theory
    by Flum, Jörg, Grohe, Martin
    Published 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 37
    Fundamentals of Algebraic Graph Transformation
    “…Monographs in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 38
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published 2006
    “…Texts in Theoretical Computer Science an EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 39
    Modelling Distributed Systems
    by Fokkink, Wan
    Published 2007
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 40
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2008
    “…Texts in Theoretical Computer Science, An Eatcs Series,…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search