Computation Engineering Applied Automata Theory and Logic

Computation Engineering Applied Automata Theory and Logic

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Genetic Programming IV Routine Human-Competitive Machine Intelligence
ανά: Koza, John R.
Έκδοση: (2005)

Turbo Code Applications A Journey from a Paper to Realization
ανά: Sripimanwat, Keattisak
Έκδοση: (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)

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

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

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

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)

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

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

Feedforward Amplifiers for Wideband Communication Systems
ανά: Legarda, Jon
Έκδοση: (2006)

TRANSISTOR LEVEL MODELING FOR ANALOG/RF IC DESIGN
ανά: GRABINSKI, WLADYSLAW
Έκδοση: (2006)

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

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

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

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)

Digital Phase Lock Loops Architectures and Applications
ανά: Al-araji, Saleh R.
Έκδοση: (2006)

Broadband Fixed Wireless Access A System Perspective
ανά: Engels, Marc
Έκδοση: (2006)

Ultra-Low Power Wireless Technologies for Sensor Networks
ανά: Otis, Brian
Έκδοση: (2007)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

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

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

Cannot write session to /tmp/vufind_sessions/sess_q1r9gnhiqnverff5lb37m3aq3i