Showing 1 - 20 results of 382 for search '', query time: 0.06s Refine Results
  1. 1
    A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
    by Dovier, Agostino
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    by Kurki-Suonio, Reino
    Published 2005
    Get full text
    Electronic Kit Book
  3. 3
    A Roadmap for Formal Property Verification
    by DasGupta, Pallab
    Published 2006
    Get full text
    Electronic Kit Book
  4. 4
    A Theory of Distributed Objects Asynchrony β€” Mobility β€” Groups β€” Components
    by Caromel, Denis
    Published 2005
    Get full text
    Electronic Kit Book
  5. 5
    Abstract Computing Machines A Lambda Calculus Perspective
    by Kluge, William S.
    Published 2005
    Get full text
    Electronic Kit Book
  6. 6
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Get full text
    Electronic Kit Book
  7. 7
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Get full text
    Electronic Kit Book
  8. 8
    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
  9. 9
    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
  10. 10
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Adiabatic Logic Future Trend and System Level Perspective /
    by Teichmann, Philip
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
    Published 2018
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog /
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Advanced Lectures on Software Engineering LASER Summer School 2007/2008
    by MΓΌller, Peter
    Published 2010
    Get full text
    Electronic Kit Book
  15. 15
    Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings /
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    Published 2007
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Advances in Computer Systems Architecture 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings /
    Published 2003
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search