Εμφανίζονται 1 - 20 Αποτελέσματα από 47 για την αναζήτηση '"Texts in theoretical computer science"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 1
    The resolution calculus /
    ανά Leitsch, Alexander
    Έκδοση 1997
    “…Texts in theoretical computer science (Springer)…”
    Βιβλίο
  2. 2
    Models of massive parallelism : analysis of cellular automata and neural networks /
    ανά Garzon, Max, 1953-
    Έκδοση 1995
    “…Texts in theoretical computer science (Springer)…”
    Βιβλίο
  3. 3
    Finite model theory and its applications /
    Έκδοση 2007
    “…Texts in theoretical computer science (Springer)…”
    Βιβλίο
  4. 4
    Introduction to circuit complexity : a uniform approach /
    ανά Vollmer, Heribert
    Έκδοση 1999
    “…Texts in theoretical computer science (Springer)…”
    Βιβλίο
  5. 5
    Introduction to Concurrency Theory Transition Systems and CCS /
    ανά Gorrieri, Roberto, Versari, Cristian
    Έκδοση 2015
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    An Introduction to Online Computation Determinism, Randomization, Advice /
    ανά Komm, Dennis
    Έκδοση 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Petri Net Synthesis
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Models of Computation
    ανά Bruni, Roberto, Montanari, Ugo
    Έκδοση 2017
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Grammatical Picture Generation A Tree-Based Approach /
    ανά Drewes, Frank
    Έκδοση 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Software Engineering 2 Specification of Systems and Languages /
    ανά Bjørner, Dines
    Έκδοση 2006
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Software Engineering 3 Domains, Requirements, and Software Design /
    ανά Bjøner, Dines
    Έκδοση 2006
    “…Texts in Theoretical Computer Science An EATC Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
    Έκδοση 2010
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Exact Exponential Algorithms
    ανά Fomin, Fedor V., Kratsch, Dieter
    Έκδοση 2010
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Extremal Combinatorics With Applications in Computer Science /
    ανά Jukna, Stasys
    Έκδοση 2011
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability /
    ανά Hutter, Marcus
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    ανά Kurki-Suonio, Reino
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Abstract Computing Machines A Lambda Calculus Perspective /
    ανά Kluge, W.
    Έκδοση 2005
    “…Texts in Theoretical Computer Science, An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Design and Analysis of Randomized Algorithms Introduction to Design Paradigms /
    ανά HromkoviČ, Juraj
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email