Showing 21 - 40 results of 635 for search '"Logic design."', query time: 0.09s Refine Results
  1. 21
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  2. 22
    Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers /
    by Frachtenberg, Eitan
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  3. 23
    Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
    by Frachtenberg, Eitan
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  4. 24
    High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
    by Stenström, Per
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  5. 25
    High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  6. 26
    High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
    by Bosschere, Koen
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  7. 27
    Transactions on High-Performance Embedded Architectures and Compilers I
    by Stenström, Per
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  8. 28
    Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logic design....”
    Get full text
    eBook
  9. 29
    Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
    Published in Springer eBooks (2015)
    Subjects: “...Logic design....”
    Get full text
    eBook
  10. 30
    Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
    by Feitelson, Dror
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  11. 31
    Adapting Proofs-as-Programs The Curry-Howard Protocol /
    by Poernomo, Iman Hafiz
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  12. 32
    Logic Synthesis for Compositional Microprogram Control Units
    by Barkalov, Alexander
    Published in Springer eBooks (2008)
    Subjects: “...Logic design...”
    Get full text
    eBook
  13. 33
    Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
    by Choi, Lynn
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  14. 34
    Job Scheduling Strategies for Parallel Processing (vol. # 3277) 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
    by Feitelson, Dror
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  15. 35
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Subjects: “...Logic design....”
    Get full text
    eBook
  16. 36
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
    by Azémard, Nadine
    Published in Springer e-books (2007)
    Subjects: “...Logic design...”
    Get full text
    eBook
  17. 37
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  18. 38
    Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2009)
    Subjects: “...Logic design...”
    Get full text
    eBook
  19. 39
    High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
    by Conte, Tom
    Published in Springer e-books (2005)
    Subjects: “...Logic design...”
    Get full text
    eBook
  20. 40
    Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logic design....”
    Get full text
    eBook
Search Tools: Get RSS Feed