Showing 1,561 - 1,580 results of 5,062 for search '"programming languages"', query time: 0.22s Refine Results
  1. 1561
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published 2015
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1562
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published 2015
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1563
    The Verillog® Hardware Description Language
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1564
    System Specification & Design Languages Best of FDL’02 /
    Published 2003
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1565
    Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1566
    Numerical Computations with GPUs
    Published 2014
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1567
    Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1568
    Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1569
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1570
    Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1571
    OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1572
    Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1573
    Rigorous Development of Complex Fault-Tolerant Systems
    Published 2006
    Table of Contents: “… Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1574
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
    Published 2006
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1575
    FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1576
    Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1577
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1578
    Pattern Calculus Computing with Functions and Structures /
    by Jay, Barry
    Published 2009
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1579
    Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
    Published 2008
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1580
    Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming languages (Electronic computers).…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search