Showing 1 - 20 results of 2,158 for search '', query time: 0.09s Refine Results
  1. 1
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    A Software Process Model Handbook for Incorporating People’s Capabilities
    by Acuna, Silvia T.
    Published 2005
    Get full text
    Electronic Kit Book
  3. 3
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Abstract Computing Machines A Lambda Calculus Perspective
    by Kluge, William S.
    Published 2005
    Get full text
    Electronic Kit Book
  5. 5
    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
  6. 6
    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
  7. 7
    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
  8. 8
    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
  9. 9
    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
  10. 10
    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
  11. 11
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Get full text
    Electronic Kit Book
  13. 13
    Accelerated C# 2010
    by Nash, Trey
    Published 2010
    Get full text
    Electronic Kit Book
  14. 14
    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
  15. 15
    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
  16. 16
    Ada 2005 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    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
  18. 18
    Ada 2012 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search