Showing 4,441 - 4,460 results of 5,062 for search '"programming languages"', query time: 0.15s Refine Results
  1. 4441
    Logic Based Program Synthesis and Transformation 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  2. 4442
    Empirical Studies on the Development of Executable Business Processes
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  3. 4443
    Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  4. 4444
    Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 4445
    Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  6. 4446
    Finding Source Code on the Web for Remix and Reuse
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  7. 4447
    Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  9. 4449
    Introduction to computational physics for undergraduates /
    by Zubairi, Omair
    Published 2018
    Table of Contents: “…3. The Fortran 90 programming language -- 3.1. Compilers -- 3.2. Program layout -- 3.3. Variable…”
    Get full text
    eBook
  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 /
    Published 2000
    Table of Contents: “… Programming Language -- How to Drive a B Machine -- Deriving Software Specifications from Event Based Models…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 4451
    Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
    Published 2002
    Table of Contents: “…Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 4452
    Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings /
    Published 2000
    Table of Contents: “… Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 2008
    Table of Contents: “… Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4454
    Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Programming Languages for Logspace and Ptime -- Opaque Predicates Detection by Abstract Interpretation -- DO…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4455
    Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019, Proceedings /
    Published 2019
    Table of Contents: “… Placement Strategy for Distributed Big Data Warehouses in Hadoop -- Improved Programming-Language…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4456
    Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings /
    Published 2013
    Table of Contents: “… About Pattern-Based XML Queries -- Answer Set Programming: Language, Applications and Development Tools…”
    Full Text via HEAL-Link
    Electronic eBook
  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 /
    Published 1997
    Table of Contents: “… for programming languages -- Towards a qualitative Representation of Linguistic Negation of Nuanced Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4458
    Foundations of Software Technology and Theoretical Computer Science 19th Conference, Chennai, India, December 13-15, 1999 Proceedings /
    Published 1999
    Table of Contents: “… -- Invited Talk 3 -- Explicit Substitutions and Programming Languages -- Session 5(a) -- Approximation…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4459
    Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
    Published 2004
    Table of Contents: “… Semantics of Programming Languages -- Modal Kleene Algebra and Partial Correctness -- Modularity…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4460
    Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
    Published 1999
    Table of Contents: “…: MCS: Model-Based Conjecture Searching -- Session 13 -- Embedding Programming Languages in Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search