Showing 1 - 20 results of 47 for search '"Texts in theoretical computer science."', query time: 0.18s Refine Results
  1. 1
    The resolution calculus /
    by Leitsch, Alexander
    Published 1997
    “…Texts in theoretical computer science (Springer)…”
    Book
  2. 2
    Models of massive parallelism : analysis of cellular automata and neural networks /
    by Garzon, Max, 1953-
    Published 1995
    “…Texts in theoretical computer science (Springer)…”
    Book
  3. 3
    Finite model theory and its applications /
    Published 2007
    “…Texts in theoretical computer science (Springer)…”
    Book
  4. 4
    Introduction to circuit complexity : a uniform approach /
    by Vollmer, Heribert
    Published 1999
    “…Texts in theoretical computer science (Springer)…”
    Book
  5. 5
    Introduction to Concurrency Theory Transition Systems and CCS /
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    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
  7. 7
    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
  8. 8
    Petri Net Synthesis
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    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
  10. 10
    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
  11. 11
    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
  12. 12
    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
  13. 13
    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
  14. 14
    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
  15. 15
    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
  16. 16
    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
  17. 17
    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
  18. 18
    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
  19. 19
    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
  20. 20
    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
Search Tools: RSS Feed – Email Search