Logic Design.

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (書目-電子資源)

The unknown component problem = theory and applications / by: (書目-電子資源)

Adiabatic logic = future trend and system level perspective / by: (書目-電子資源)

Speech processing in embedded systems by: (書目-電子資源)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-電子資源)

Logic Synthesis for Compositional Microprogram Control Units by: (書目-電子資源)

Logic circuit design = selected methods / by: (書目-電子資源)

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Practical Problems in VLSI Physical Design Automation by: (書目-電子資源)

Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings / by: (書目-電子資源)

Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (書目-電子資源)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : = 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings by: (書目-電子資源)

Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers IV by: (書目-電子資源)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (書目-電子資源)

Taxonomies for the Development and Verification of Digital Systems by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers.. II by: (書目-電子資源)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-電子資源)

Logic synthesis for FSM-based control units by: (書目-電子資源)

High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings / by: (書目-電子資源)

Trust networks for recommender systems by: (書目-電子資源)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-電子資源)

High performance embedded architectures and compilers = 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (書目-電子資源)

More than Moore = creating high value micro/nanoelectronics systems / by: (書目-電子資源)

VLSI-SoC = advanced research for systems on chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011 : revised selected papers / by: (書目-電子資源)

VLSI physical design = from graph partitioning to timing closure / by: (書目-電子資源)

Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings / by: (書目-電子資源)

Regular nanofabrics in emerging technologies = design and fabrication methods for nanoscale digital circuits / by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers III by: (書目-電子資源)

Answer set programming for continuous domains = a fuzzy logic approach / by: (書目-電子資源)

Compact models and measurement techniques for high-speed interconnects by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (書目-電子資源)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-電子資源)