Showing 1 - 20 results of 39 for search '"Texts in Theoretical Computer Science An EATCS Series"', query time: 0.07s Refine Results
  1. 1
    Introduction to Concurrency Theory Transition Systems and CCS /
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Decision Procedures An Algorithmic Point of View /
    by Kroening, Daniel, Strichman, Ofer
    Published 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    An Introduction to Online Computation Determinism, Randomization, Advice /
    by Komm, Dennis
    Published 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Petri Net Synthesis
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Models of Computation
    by Bruni, Roberto, Montanari, Ugo
    Published 2017
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Grammatical Picture Generation A Tree-Based Approach /
    by Drewes, Frank
    Published 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Software Engineering 2 Specification of Systems and Languages /
    by Bjørner, Dines
    Published 2006
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    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
  9. 9
    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
  10. 10
    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
  11. 11
    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
  12. 12
    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
  13. 13
    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
  14. 14
    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
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    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. 19
    Modelling Distributed Systems
    by Fokkink, Wan
    Published 2007
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    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