Showing 4,401 - 4,420 results of 5,062 for search '"programming languages"', query time: 0.18s Refine Results
  1. 4401
    Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications /
    by O'Regan, Gerard
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  2. 4402
    Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  3. 4403
    Software Product Lines in Action The Best Industrial Practice in Product Line Engineering /
    Full Text via HEAL-Link
    Electronic eBook
  4. 4404
    Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  5. 4405
    Beginning Databases with PostgreSQL From Novice to Professional /
    by Matthew, Neil, Stones, Richard
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  6. 4406
    2020_Book_ComputerAidedVerification.pdf
    Published 2020
    Get full text
  7. 4407
    Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  8. 4408
    Applications and Innovations in Intelligent Systems XIV Proceedings of AI-2006, the Twenty-sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence /
    Published 2007
    Table of Contents: “… of Open Learner Models -- Adding question answering to an e-tutor for programming languages -- Speech…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 4409
    1007322.pdf
    Published 2020
    Get full text
  10. 4410
    1007058.pdf
    Published 2020
    “… in demographic outcomes. The calculations are easily and accurately implemented in matrix-oriented programming…”
    Get full text
  11. 4411
    Μια σύγχρονη προσέγγιση στη γλώσσα C
    Get full text
    Get full text
    1
  12. 4412
    Software architecture perspectives on an emerging disciplne
    Table of Contents: “…7.3 adding Implicit Invoication to Traditional Programming Languages…”
    Book
  13. 4413
    Mathematics Education and Language Diversity The 21st ICMI Study /
    Published 2016
    Table of Contents: “…-language diversity in mathematics teacher education programs -- Language diversity and new media: issues…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 4414
    Hybrid Systems IV
    Published 1997
    Table of Contents: “… and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 4415
    System Specification and Design Languages Selected Contributions from FDL 2010 /
    Published 2012
    Table of Contents: “… Specifications in CλaSH -- SyReC: A Programming Language for Synthesis of Reversible Circuits -- Logical Time…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 4416
    Emergent Web Intelligence: Advanced Semantic Technologies
    Published 2010
    Table of Contents: “… Information Systems and Formal Semantics of Programming Languages -- Applications and Case Studies -- Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 4417
    Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
    Published 1997
    Table of Contents: “… for functional programming languages -- An extension of models of Axiomatic Domain Theory to models of Synthetic…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 4418
    Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings /
    Published 2009
    Table of Contents: “… Structures and Their Complexity -- The Graph Programming Language GP -- Canonical Reduction Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 4419
    Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Multi-Agent Systems -- SmartResource Platform and Semantic Agent Programming Language (S-APL) -- Multi…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 4420
    Foundations and Applications of Mis A Model Theory Approach /
    by Takahara, Yasuhiko, Liu, Yongmei
    Published 2006
    Table of Contents: “… for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search