Computation Engineering Applied Automata Theory and Logic

Computation Engineering Applied Automata Theory and Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gopalakrishnan, Ganesh
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer Science+Business Media LLC 2006
Θέματα:	Computer engineering Information theory Computer science Systems engineering Computer Science Electronic and Computer Engineering Theory of Computation Mathematical Logic and Formal Languages Circuits and Systems
Διαθέσιμο Online:	http://dx.doi.org/10.1007/0-387-32520-4

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

High-Frequency Oscillator Design for Integrated Transceivers
ανά: Tang, Johan
Έκδοση: (2005)

Coordination of Large-Scale Multiagent Systems
ανά: Scerri, Paul
Έκδοση: (2006)

Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23β24, 2006, Santiago, Chile
ανά: Navarro, Gonzalo
Έκδοση: (2006)

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
ανά: Pastre, Marc
Έκδοση: (2006)

Physical Design Essentials An ASIC Design Implementation Perspective
ανά: Golshan, Khosrow
Έκδοση: (2006)

CPU Design: Answers to Frequently Asked Questions
ανά: Thimmannagari, Chandra M. R.
Έκδοση: (2005)

Sub-threshold Design for Ultra Low-Power Systems
ανά: Wang, Alice
Έκδοση: (2007)

A Practical Guide for SystemVerilog Assertions
ανά: Vijayaraghavan, Srikanth
Έκδοση: (2005)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ανά: Bollig, Benedikt
Έκδοση: (2006)

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

Design of Wireless Autonomous Datalogger ICβs
ανά: Claes, Wim
Έκδοση: (2005)

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

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

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

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

Turbo Code Applications A Journey from a Paper to Realization
ανά: Sripimanwat, Keattisak
Έκδοση: (2005)

FPGA Implementations of Neural Networks
ανά: Omondi, Amos R.
Έκδοση: (2006)

Analog and Digital Signals and Systems
ανά: Yarlagadda, R. K. Rao
Έκδοση: (2010)

Advanced BDD Optimization
ανά: Ebendt, RΓΌdiger
Έκδοση: (2005)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering
ανά: U, Seng-Pan
Έκδοση: (2006)

Wide-Bandwidth High-Dynamic Range D/A Converters
ανά: Doris, Konstantinos
Έκδοση: (2006)

Effective Functional Verification Principles and Processes
ανά: Vasudevan, Srivatsa
Έκδοση: (2006)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
ανά: Steyaert, Michiel
Έκδοση: (2006)

Calibration techniques in nyquist A/D converters
ανά: Ploeg, Hendrik
Έκδοση: (2006)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna
Έκδοση: (2006)

Ξ£Ξ A/D CONVERSION FOR SIGNAL CONDITIONING
ανά: Philips, Kathleen
Έκδοση: (2006)

Fault Diagnosis of Analog Integrated Circuits
ανά: Kabisatpathy, Prithviraj
Έκδοση: (2005)

Transient Analysis of Electric Power Circuits Handbook
ανά: Shenkman, Arieh L.
Έκδοση: (2005)

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

Modeling and Simulation Tools for Emerging Telecommunication Networks Needs, Trends, Challenges and Solutions
ανά: Nejat Ince, A.
Έκδοση: (2006)

AmIware Hardware Technology Drivers of Ambient Intelligence
ανά: Mukherjee, Satyen
Έκδοση: (2006)

Computer Engineering in Applied Electromagnetism
ανά: Wiak, S.
Έκδοση: (2005)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

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

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

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

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

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
ανά: Vachoux, A.
Έκδοση: (2006)

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
ανά: Sakurai, Takayasu
Έκδοση: (2006)

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

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