Imagen de Portada

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

Guardado en:

Autor Principal:	Carson, Tom.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Baker, Donna L.
Formato:	Electrónico
Idioma:	English
Publicado:	London : Springer-Verlag London Limited, 2006.
Materias:	Computer science Computer aided design Architecture Engineering design Civil engineering Engineering Computer Science Computer-Aided Engineering (CAD, CAE) and Design Civil Engineering Engineering Design Architecture, general Electronic and Computer Engineering Construction Management
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Advances in Integrated Design and Manufacturing in Mechanical Engineering II
por: Tichkiewitch, S.
Publicado: (2007)

Full-Chip Nanometer Routing Techniques
por: Ho, Tsung-Yi.
Publicado: (2007)

Abstraction Refinement for Large Scale Model Checking
por: Wang, Chao.
Publicado: (2006)

Constraint-Based Verification
por: Yuan, Jun.
Publicado: (2006)

Direct Transistor-level Layout for Digital Blocks
por: Gopalakrishnan, Prakash.
Publicado: (2005)

Mixed-Signal Layout Generation Concepts
por: Lin, Chieh.
Publicado: (2005)

Designing with video Focusing the user-centred design process /
por: Ylirisku, Salu.
Publicado: (2007)

Assertion-Based Design
por: Foster, Harry.
Publicado: (2005)

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin.
Publicado: (2005)

Rapid Prototyping of Digital Systems
por: Hamblen, James O.
Publicado: (2006)

Thermal and Power Management of Integrated Circuits
por: Vassighi, Arman.
Publicado: (2006)

Design Computing and Cognition 06
por: GERO, JOHN S.
Publicado: (2006)

Embedded System Design
por: Marwedel, P.
Publicado: (2006)

Taxonomies for the Development and Verification of Digital Systems
por: Bailey, Brian.
Publicado: (2005)

Collaborative Product Design and Manufacturing Methodologies and Applications
por: Li, W. D.
Publicado: (2007)

A Practical Introduction to PSL
por: Eisner, Cindy.
Publicado: (2006)

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 /
por: Davidson, Joseph K.
Publicado: (2007)

Distributed Network Systems From Concepts to Implementations /
por: Jia, Weijia.
Publicado: (2005)

New Algorithms, Architectures and Applications for Reconfigurable Computing
por: Lysaght, Patrick.
Publicado: (2005)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
por: Chinnery, David.
Publicado: (2007)

Routing Congestion in VLSI Circuits: Estimation and Optimization
por: Saxena, Prashant.
Publicado: (2007)

Practical Grey-box Process Identification Theory and Applications /
por: Bohlin, Torsten.
Publicado: (2006)

Embedded System Design
por: Marwedel, Peter.
Publicado: (2006)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
por: Mintz, Mike.
Publicado: (2007)

Leakage in Nanometer CMOS Technologies
por: Narendra, Siva G.
Publicado: (2006)

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei.
Publicado: (2007)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
por: Ma, Zhe.
Publicado: (2007)

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 2022, 2005 /
por: Martens, Bob.
Publicado: (2005)

Innovation in Life Cycle Engineering and Sustainable Development
por: Brissaud, Daniel.
Publicado: (2006)

Hardware Verification with C++ A Practitioners Handbook /
por: Mintz, Mike.
Publicado: (2006)

SAT-Based Scalable Formal Verification Solutions
por: Ganai, Malay K.
Publicado: (2007)

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 1517, 2006, Shanghai, China /
por: Wang, Kesheng.
Publicado: (2006)

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria.
Publicado: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart.
Publicado: (2006)

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed A.
Publicado: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren D.
Publicado: (2005)

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris.
Publicado: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart.
Publicado: (2007)

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick.
Publicado: (2006)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
por: CASTRO-LÓPEZ, R.
Publicado: (2006)