Εμφανίζονται 2.801 - 2.820 Αποτελέσματα από 3.410 για την αναζήτηση '"programming languages"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 2801
    Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
    Έκδοση 2004
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2802
    Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
    Έκδοση 2002
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 2803
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 2804
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 2805
    Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings /
    Έκδοση 2001
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 2806
    FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings /
    Έκδοση 2002
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 2807
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
    Έκδοση 2002
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 2808
    Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
    Έκδοση 1997
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 2809
    Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
    Έκδοση 2003
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 2810
    Programming Constraint Services High-Level Programming of Standard and New Constraint Services /
    ανά Schulte, Christian, Schulte, Christian
    Έκδοση 2002
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 2811
    Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers /
    Έκδοση 2003
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 2812
    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
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 2813
    Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
    Έκδοση 1999
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 2814
    Isabelle/HOL A Proof Assistant for Higher-Order Logic /
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 2815
    Software and Compilers for Embedded Systems 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings /
    Έκδοση 2003
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 2816
    From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
    Έκδοση 2004
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 2817
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings /
    Έκδοση 2001
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 2818
    FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
    Έκδοση 2000
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 2819
    Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
    Έκδοση 2003
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 2820
    Input/Output Intensive Massively Parallel Computing Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems /
    ανά Brezany, Peter, Brezany, Peter
    Έκδοση 1997
    Θέματα: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email