Showing 61 - 80 results of 635 for search '"Logic design."', query time: 0.06s Refine Results
  1. 61
    Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  2. 62
    Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings /
    by Paillier, Pascal
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 63
    Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
    by Goubin, Louis
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 64
    Cryptographic Hardware and Embedded Systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
    by Rao, Josyula R.
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 65
    A Roadmap for Formal Property Verification
    by DasGupta, Pallab
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 66
    Krister Segerberg on Logic of Actions
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  7. 67
    Transactions on Petri Nets and Other Models of Concurrency VII
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  8. 68
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  9. 69
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  10. 70
    New Algorithms, Architectures and Applications for Reconfigurable Computing
    by Lysaght, Patrick
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 71
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    by Emerson, E. Allen
    Published in Springer e-books (2006)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 72
    Implementation and Application of Functional Languages (vol. # 3474) 16th International Workshop, IFL 2004, LГјbeck, Germany, September 8-10, 2004, Revised Selected Papers
    by Grelck, Clemens
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 73
    Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
    by Cerioli, Maura
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  14. 74
    Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    by Cousot, Radhia
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 75
    Model-Based Testing of Reactive Systems Advanced Lectures
    by Broy, Manfred
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  16. 76
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    by Caromel, Denis
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 77
    Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  18. 78
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  19. 79
    CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  20. 80
    Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed