Εμφανίζονται 4.441 - 4.460 Αποτελέσματα από 5.062 για την αναζήτηση '"Programming languages"', χρόνος αναζήτησης: 0,94δλ Περιορισμός αποτελεσμάτων
  1. 4441
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 4442
    Empirical Studies on the Development of Executable Business Processes
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 4443
    Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4444
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 4445
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 4446
    Finding Source Code on the Web for Remix and Reuse
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 4447
    Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 4448
    Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 4449
    Introduction to computational physics for undergraduates /
    ανά Zubairi, Omair
    Έκδοση 2018
    Πίνακας περιεχομένων: “…3. The Fortran 90 programming language -- 3.1. Compilers -- 3.2. Program layout -- 3.3. Variable…”
    Λήψη πλήρους κειμένου
    Ηλ. βιβλίο
  10. 4450
    ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Programming Language -- How to Drive a B Machine -- Deriving Software Specifications from Event Based Models…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 4451
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 4452
    Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 4453
    A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 4454
    Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 4455
    Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Placement Strategy for Distributed Big Data Warehouses in Hadoop -- Improved Programming-Language…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 4456
    Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… About Pattern-Based XML Queries -- Answer Set Programming: Language, Applications and Development Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 4457
    AI*IA 97: Advances in Artificial Intelligence 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… for programming languages -- Towards a qualitative Representation of Linguistic Negation of Nuanced Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 4458
    Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Invited Talk 3 -- Explicit Substitutions and Programming Languages -- Session 5(a) -- Approximation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 4459
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Semantics of Programming Languages -- Modal Kleene Algebra and Partial Correctness -- Modularity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 4460
    Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…: MCS: Model-Based Conjecture Searching -- Session 13 -- Embedding Programming Languages in Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email