Εμφανίζονται 1 - 20 Αποτελέσματα από 40 για την αναζήτηση '"Texts in Theoretical Computer Science An EATCS Series"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    An Introduction to Online Computation Determinism, Randomization, Advice /
    ανά Komm, Dennis
    Έκδοση 2016
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Petri Net Synthesis
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Models of Computation
    ανά Bruni, Roberto, Montanari, Ugo
    Έκδοση 2017
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Grammatical Picture Generation A Tree-Based Approach /
    ανά Drewes, Frank
    Έκδοση 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Exact Exponential Algorithms
    ανά Fomin, Fedor V., Kratsch, Dieter
    Έκδοση 2010
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Extremal Combinatorics With Applications in Computer Science /
    ανά Jukna, Stasys
    Έκδοση 2011
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Abstract Computing Machines A Lambda Calculus Perspective /
    ανά Kluge, W.
    Έκδοση 2005
    “…Texts in Theoretical Computer Science, An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Parameterized Complexity Theory
    ανά Flum, Jörg, Grohe, Martin
    Έκδοση 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Software Engineering 1 Abstraction and Modelling /
    ανά Bjørner, Dines
    Έκδοση 2006
    “…Texts in Theoretical Computer Science an EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Modelling Distributed Systems
    ανά Fokkink, Wan
    Έκδοση 2007
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Decision Procedures An Algorithmic Point of View /
    ανά Kroening, Daniel, Strichman, Ofer
    Έκδοση 2008
    “…Texts in Theoretical Computer Science, An Eatcs Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email