Εμφανίζονται 21 - 40 Αποτελέσματα από 47 για την αναζήτηση '"Texts in theoretical computer science."', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 21
    Software Engineering 1 Abstraction and Modelling /
    ανά Bjørner, Dines
    Έκδοση 2006
    “…Texts in Theoretical Computer Science an EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 22
    Modelling Distributed Systems
    ανά Fokkink, Wan
    Έκδοση 2007
    “…Texts in Theoretical Computer Science An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    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
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 24
    Simulation Algorithms for Computational Systems Biology
    ανά Marchetti, Luca, Priami, Corrado, Thanh, Vo Hong
    Έκδοση 2017
    “…Texts in Theoretical Computer Science. An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 25
    Temporal Logic and State Systems
    ανά Kröger, Fred, Merz, Stephan
    Έκδοση 2008
    “…Texts in Theoretical Computer Science, An EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 26
    Finite Model Theory and Its Applications
    “…Texts in Theoretical Computer Science an EATCS Series,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Design and Analysis of Randomized Algorithms : Introduction to design paradigms /
    ανά Hromkovic, Juraj
    Έκδοση 2005
    “…Texts in theoretical computer science an EATCS Series / Springer…”
    Λήψη πλήρους κειμένου
    Εργαλειοθήκη Βιβλίο
  8. 28
    Complexity Theory and Cryptology An Introduction to Cryptocomplexity /
    ανά Rothe, Jörg
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 29
    Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing /
    ανά Bandyopadhyay, Subir
    Έκδοση 2008
    “…Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 30
    The complexity theory companion
    ανά Hemaspaandra, Lane A.
    Έκδοση 2002
    “…Texts in theoretical computer science…”
    Βιβλίο
  11. 31
    Public-key cryptography
    ανά Salomaa, Arto
    Έκδοση 1996
    “…Texts in theoretical computer science…”
    Βιβλίο
  12. 32
    DNA computing new computing paradigms
    ανά Paun, G.
    Έκδοση 1998
    “…Texts in theoretical computer science…”
    Βιβλίο
  13. 33
    Structural complexity /
    ανά Balcázar, José Luis
    Έκδοση 1995
    “…Texts in theoretical computer science…”
    Βιβλίο
  14. 34
    Design and analysis of randomized algorithms : introduction to design paradigms /
    ανά Hromkovic, Juraj
    Έκδοση 2005
    “…Texts in theoretical computer science.…”
    Βιβλίο
  15. 35
    Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
    ανά Hromkovic, Juraj
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  16. 36
    Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability
    ανά Hutter, Marcus
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  17. 37
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    ανά Kurki-Suonio, Reino
    Έκδοση 2005
    “…Texts in Theoretical Computer Science An EATCS Series…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  18. 38
    Abstract Computing Machines A Lambda Calculus Perspective
    ανά Kluge, William S.
    Έκδοση 2005
    “…Texts in Theoretical Computer Science, An EATCS Series…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  19. 39
    Parameterized Complexity Theory
    ανά Flum, JΓΆrg
    Έκδοση 2006
    “…Texts in Theoretical Computer Science. An EATCS Series…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  20. 40
    Finite model theory and its applications
    “…Texts in theoretical computer science : an EATCS series…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email