Showing 1 - 20 results of 2,303 for search '', query time: 0.07s Refine Results
  1. 1
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Accelerating Development Velocity Using Docker Docker Across Microservices /
    by Jangla, Kinnary, Jangla, Kinnary
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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
  6. 6
    Active Technologies for Network and Service Management 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999, Proceedings /
    Published 1999
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Ada 2005 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    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
  10. 10
    Ada 2012 Rationale The Language, The Standard Libraries /
    by Barnes, John
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Adaptive Processing of Sequences and Data Structures International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures /
    Published 1998
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Advanced Applied Deep Learning Convolutional Neural Networks and Object Detection /
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Advanced Audio Visualization Using ThMAD Creating Amazing Graphics with Open Source Software /
    by Späth, Peter, Späth, Peter
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search