Showing 1 - 20 results of 1,985 for search '', query time: 0.10s Refine Results
  1. 1
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Published 2004
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Published 2000
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Ada 2005 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 /
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Ada 2012 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Advanced Finite Element Simulation with MSC Marc Application of User Subroutines /
    by Javanbakht, Zia, Öchsner, Andreas
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search