Showing 3,121 - 3,140 results of 5,062 for search '"programming languages"', query time: 0.24s Refine Results
  1. 3121
    Optimizing oracle performance /
    by Millsap, Cary
    Published 2003
    Subjects: “…SQL (Computer program language)…”
    Book
  2. 3122
    Database systems : a practical approach to design, implementation and management.
    by Connolly, Thomas M.
    Published 1997
    Subjects: “…Computer programming languages mipfesd…”
    Book
  3. 3123
    Hardware Verification with C++ A Practitioner’s Handbook
    by Mintz, Mike
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  4. 3124
    IEC 61131-3: programming industrial automation systems concepts and programming languages, requirements for programming systems, aids to decision-making tools
    by John, Karl-Heinz 1955-
    Published 2001
    Book
  5. 3125
    Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
    by Silva, Vladimir, Silva, Vladimir
    Published 2018
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 3126
    Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
    Published 2002
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 3127
    Generative Programming and Component Engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “…: A Multi-stage, Object-Oriented Programming Language -- Optimising Embedded DSLs Using Template…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 3128
    Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
    Published 2001
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 3129
    Modular Compiler Verification A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
    Table of Contents: “… real-time programming language -- A hierarchy of views -- Compiling-correctness relations…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 3130
    UML 2004 - The Unified Modeling Language Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 3131
    Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
    Published 1999
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 3132
    Extreme Programming and Agile Methods - XP/Agile Universe 2002 Second XP Universe and First Agile Universe Conference Chicago, IL, USA, August 4-7, 2002.Proceedings /
    Published 2002
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 3133
    Reliable Software Technologies - Ada-Europe '97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings /
    Published 1997
    Table of Contents: “… implementation -- An Ada 95 sort race construction set -- Computer aided teaching of programming languages…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 3134
    Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings /
    Published 2001
    Table of Contents: “… -- Nominal Logic: A First Order Theory of Names and Binding -- Session 4 -- A Logic Programming Language…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 3135
    Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
    Published 2004
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 3136
    Evaluation of Cross-Language Information Retrieval Systems Second Workshop of the Cross-Language Evaluation Forum, CLEF 2001, Darmstadt, Germany, September 3-4, 2001. Revised Papers /
    Published 2002
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 3137
    Types for Proofs and Programs International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers /
    Published 1998
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 3138
    Languages, Compilers, and Tools for Embedded Systems ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings /
    Published 1998
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 3139
    Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
    Published 1997
    Table of Contents: “… with the ELAN rule-based programming language -- The invariant package of MAS -- Opal: A system for computing…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 3140
    Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /
    Published 2019
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search