Εμφανίζονται 9.821 - 9.840 Αποτελέσματα από 9.893 για την αναζήτηση '"Lecture Notes in Computer Science"', χρόνος αναζήτησης: 0,07δλ Περιορισμός αποτελεσμάτων
  1. 9821
    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…”
    Βιβλίο
  2. 9822
    Treewidth Computations and Approximations
    ανά Kloks, Ton
    Έκδοση 1994
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  3. 9823
    Efficient Graph Rewriting and its Implementation
    ανά Dorr, Heiko
    Έκδοση 1995
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  4. 9824
    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…”
    Βιβλίο
  5. 9825
    Mobile Agents and Security
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  6. 9826
    Temporal Databases:Research and Practice
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  7. 9827
    Foundations of inductive logic programming
    ανά Nienhuys-Cheng, Shan-Hwei, Wolf de, Ronald
    Έκδοση 1997
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  8. 9828
    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…”
    Βιβλίο
  9. 9829
    Semantics in databases
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  10. 9830
    New trends in formal languages Control,cooperation and combinatorics
    ανά Paun, Gheorghe, Salomaa, Arto
    Έκδοση 1997
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  11. 9831
    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…”
    Βιβλίο
  12. 9832
    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…”
    Βιβλίο
  13. 9833
    Online Algorithms The state of the art [Proceedings} of the Workshop 1996
    Έκδοση 1998
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  14. 9834
    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…”
    Βιβλίο
  15. 9835
    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…”
    Βιβλίο
  16. 9836
    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…”
    Βιβλίο
  17. 9837
    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…”
    Βιβλίο
  18. 9838
    Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
    Έκδοση 1986
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  19. 9839
    Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
    Έκδοση 1986
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
  20. 9840
    Mathematical methods of specification and synthesis of software systems '85 Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985
    Έκδοση 1986
    “…Lecture Notes in Computer Science / G. Goos and J. Hartmanis…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email