:: Find: η ενοποιημένη μηχανή αναζήτησης της ΒΚΠ του Παν. Πατρών

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Carson, Tom
Άλλοι συγγραφείς:	Baker, Donna L.
Μορφή:	Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	London Springer-Verlag London Limited 2006
Θέματα:	Computer engineering Engineering Engineering design Computer aided design Architecture Civil engineering Computer Science Electronic and Computer Engineering Construction Management Engineering Design Computer-Aided Engineering (CAD, CAE) and Design Architecture, general Civil Engineering
Διαθέσιμο Online:	http://dx.doi.org/10.1007/1-84628-138-5

Παρόμοια τεκμήρια

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman
Έκδοση: (2006)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O.
Έκδοση: (2006)

Assertion-Based Design
ανά: Foster, Harry
Έκδοση: (2005)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash
Έκδοση: (2005)

Digital Design and Implementation with Field Programmable Devices
Έκδοση: (2005)

New Algorithms, Architectures and Applications for Reconfigurable Computing
ανά: Lysaght, Patrick
Έκδοση: (2005)

Constraint-Based Verification
ανά: Yuan, Jun
Έκδοση: (2006)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao
Έκδοση: (2006)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh
Έκδοση: (2005)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
ανά: Patel, Hiren D.
Έκδοση: (2005)

Innovations in Design & Decision Support Systems in Architecture and Urban Planning
ανά: Leeuwen, Jos P.
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick
Έκδοση: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500β'
ανά: Silva, Francisco
Έκδοση: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
ανά: Sutherland, Stuart
Έκδοση: (2006)

Systemverilog for Verification A Guide to Learning the Testbench Language Features
ανά: Spear, Chris
Έκδοση: (2006)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A.
Έκδοση: (2006)

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

Structural Optimization with Uncertainties
ανά: Banichuk, N. V.
Έκδοση: (2010)

Taxonomies for the Development and Verification of Digital Systems
ανά: Bailey, Brian
Έκδοση: (2005)

Hardware Verification with C++ A Practitionerβs Handbook
ανά: Mintz, Mike
Έκδοση: (2006)

Inverse Problems in Electric Circuits and Electromagnetics
ανά: Chechurin, V. L.
Έκδοση: (2007)

Writing Testbenches using System Verilog
ανά: Bergeron, Janick
Έκδοση: (2006)

Interconnect-Centric Design for Advanced SoC and NoC
ανά: Nurmi, Jari
Έκδοση: (2005)

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G.
Έκδοση: (2006)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (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 20β22, 2005
ανά: Martens, Bob
Έκδοση: (2005)

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
ανά: Rekiek, Brahim
Έκδοση: (2006)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

FIDIC - A Guide for Practitioners
ανά: Jaeger, Axel-Volkmar
Έκδοση: (2010)

Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
ανά: Langdon, Patrick Martin
Έκδοση: (2010)

Structural Sensitivity Analysis and Optimization 1 Linear Systems
ανά: Choi, Kyung K.
Έκδοση: (2005)

Structural Sensitivity Analysis and Optimization 2 Nonlinear Systems and Applications
ανά: Choi, Kyung K.
Έκδοση: (2005)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
ανά: Bosio, Alberto
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

FPGA Design Best Practices for Team-based Design
ανά: Simpson, Philip
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών