Εμφανίζονται 1 - 20 Αποτελέσματα από 70 για την αναζήτηση '"Lecture Notes in Computer Science / G. Goos and J. Hartmanis"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 1
    Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
    ανά Sudan, Madhu
    Έκδοση 1995
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  2. 2
    Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
    Έκδοση 1995
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  3. 3
    Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996
    Έκδοση 1996
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  4. 4
    Research and Advanced Technology for Digital Libraries 2nd European Conference, ECDL'98 Heraklion, Crete,Greece September 21-23, 1998 Proceedings
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  5. 5
    Treewidth Computations and Approximations
    ανά Kloks, Ton
    Έκδοση 1994
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  6. 6
    Efficient Graph Rewriting and its Implementation
    ανά Dorr, Heiko
    Έκδοση 1995
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  7. 7
    Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
    Έκδοση 1996
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  8. 8
    Mobile Agents and Security
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  9. 9
    Temporal Databases:Research and Practice
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  10. 10
    Foundations of inductive logic programming
    ανά Nienhuys-Cheng, Shan-Hwei, Wolf de, Ronald
    Έκδοση 1997
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  11. 11
    Structures in logic and computer science A selection of essays in honor of A. Ehrenfeucht
    Έκδοση 1997
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  12. 12
    Semantics in databases
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  13. 13
    New trends in formal languages Control,cooperation and combinatorics
    ανά Paun, Gheorghe, Salomaa, Arto
    Έκδοση 1997
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  14. 14
    Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
    Έκδοση 1991
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  15. 15
    Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
    ανά Godefroid, Patrice
    Έκδοση 1996
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  16. 16
    Online Algorithms The state of the art [Proceedings} of the Workshop 1996
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  17. 17
    VLSI algorithms and architectures Proceedings of the Aeagean Workshop on Computing Loutraki, Greece, July 8-11,1986
    Έκδοση 1986
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  18. 18
    VLSI algorithms and architectures Proceeedings of the 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece June 28- July 1, 1988
    Έκδοση 1988
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  19. 19
    Graph-theoretic concepts in computer science Proceedings. International Workshop WG"88. Amsterdam, June 15-17, 1988
    Έκδοση 1989
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  20. 20
    Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985
    Έκδοση 1985
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email