Εμφανίζονται 1.201 - 1.220 Αποτελέσματα από 9.893 για την αναζήτηση '"Lecture notes in computer science"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 1201
    Foundations of Computer Science Potential-Theory-Cognition /
    Έκδοση 1997
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1202
    Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
    Έκδοση 1999
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1203
    Integer Programming and Combinatorial Optimization 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001. Proceedings /
    Έκδοση 2001
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1204
    String Processing and Information Retrieval 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings /
    Έκδοση 2004
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1205
    Foundations of Software Technology and Theoretical Computer Science 18th Conference, Chennai, India, December 17-19, 1998, Proceedings /
    Έκδοση 1998
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1206
    Mathematical Foundations of Computer Science 1998 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 /
    Έκδοση 1998
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1207
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings /
    Έκδοση 1998
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1208
    Advances in Learning Software Organizations 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers /
    Έκδοση 2003
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1209
    Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
    Έκδοση 1999
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1210
    Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
    Έκδοση 2003
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1211
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Έκδοση 2001
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1212
    Foundations of Information and Knowledge Systems First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings /
    Έκδοση 2000
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1213
    Intelligence and Security Informatics First NSF/NIJ Symposium, ISI 2003, Tucson, AZ, USA, June 2-3, 2003, Proceedings /
    Έκδοση 2003
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1214
    LATIN 2002: Theoretical Informatics 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings /
    Έκδοση 2002
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1215
    Isabelle/HOL A Proof Assistant for Higher-Order Logic /
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1216
    Next Generation Information Technologies and Systems 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Proceedings /
    Έκδοση 2002
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1217
    Static Analysis 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
    Έκδοση 2001
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1218
    Universal Routing Strategies for Interconnection Networks
    Έκδοση 1998
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1219
    Image Analysis and Processing 9th International Conference, ICIAP'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1 /
    Έκδοση 1997
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1220
    Network-Based Parallel Computing. Communication, Architecture, and Applications Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings /
    Έκδοση 1998
    “…Lecture Notes in Computer Science,…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email