Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analog and digital electronic circuits : fundamentals, analysis, and applications / / R. Prasad
| Analog and digital electronic circuits : fundamentals, analysis, and applications / / R. Prasad |
| Autore | Prasad R (Emeritus Professor of Physics) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVIII, 965 p. 838 illus., 276 illus. in color.) |
| Disciplina | 621.3815 |
| Collana | Undergraduate lecture notes in physics |
| Soggetto topico | Digital integrated circuits |
| ISBN | 3-030-65129-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part- I: Circuit Analysis -- Chapter 1 - Electrical Network Thorems and Their Applications -- Chapter 2 - Circuit analyses using Laplace transform -- Chapter 3 - First and second order circuits, Phasor and Fourier analysis -- Part- II: Analog Electronics -- Chapter 4 - Electrical properties of materials -- Chapter 5 - p-n junction diode: a basic non-linear device- Chapter 6 - Bipolar Junction (BJT) and Field Effect (FET) Transistor -- Chapter 7 - Feedback in amplifiers -- Chapter 8 - Operational Amplifier -- Part - III: Digital Electronics -- Chapter 9 - Electronic Signals and Logic Gates -- Chapter 10 - Some Applications of Logic Gates -- Chapter 11 -Special Circuits and Devices. |
| Record Nr. | UNINA-9910484383003321 |
Prasad R (Emeritus Professor of Physics)
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analog and digital electronic circuits : fundamentals, analysis, and applications / / R. Prasad
| Analog and digital electronic circuits : fundamentals, analysis, and applications / / R. Prasad |
| Autore | Prasad R (Emeritus Professor of Physics) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (XVIII, 965 p. 838 illus., 276 illus. in color.) |
| Disciplina | 621.3815 |
| Collana | Undergraduate lecture notes in physics |
| Soggetto topico | Digital integrated circuits |
| ISBN | 3-030-65129-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part- I: Circuit Analysis -- Chapter 1 - Electrical Network Thorems and Their Applications -- Chapter 2 - Circuit analyses using Laplace transform -- Chapter 3 - First and second order circuits, Phasor and Fourier analysis -- Part- II: Analog Electronics -- Chapter 4 - Electrical properties of materials -- Chapter 5 - p-n junction diode: a basic non-linear device- Chapter 6 - Bipolar Junction (BJT) and Field Effect (FET) Transistor -- Chapter 7 - Feedback in amplifiers -- Chapter 8 - Operational Amplifier -- Part - III: Digital Electronics -- Chapter 9 - Electronic Signals and Logic Gates -- Chapter 10 - Some Applications of Logic Gates -- Chapter 11 -Special Circuits and Devices. |
| Record Nr. | UNISA-996466731203316 |
|
Prasad R (Emeritus Professor of Physics)
|
||
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Continuous-time digital front-ends for multistandard wireless transmission / / Pieter A.J. Nuyts, Patrick Reynaert, Wim Dehaene
| Continuous-time digital front-ends for multistandard wireless transmission / / Pieter A.J. Nuyts, Patrick Reynaert, Wim Dehaene |
| Autore | Nuyts Pieter A. J |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , 2014 |
| Descrizione fisica | 1 online resource (xxv, 309 pages) : illustrations |
| Disciplina | 621.39732 |
| Collana | Analog Circuits and Signal Processing |
| Soggetto topico | Digital integrated circuits |
| ISBN | 3-319-03925-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Digital Transmitter Architectures: Overview -- High-Level Analysis of Fully Digital PWM Transmitters -- Continuous-time Digital Design Techniques -- A 65-nm CMOS Fully Digital Reconfigurable Transmitter Front-End for Class-E PA based on Baseband PWM -- A 40-nm CMOS Fully Digital Reconfigurable Transmitter with Class-D Pas using Baseband and RF PWM -- Conclusions and Future Work. |
| Record Nr. | UNINA-9910299481703321 |
|
Nuyts Pieter A. J
|
||
| Cham, Switzerland : , : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital design [[electronic resource]] : with a introduction to the verilog hdl / / M. Morris Mano, Michael D. Ciletti ; international edition contributions by B.R. Chandavarkar
| Digital design [[electronic resource]] : with a introduction to the verilog hdl / / M. Morris Mano, Michael D. Ciletti ; international edition contributions by B.R. Chandavarkar |
| Autore | Mano M. Morris <1927-> |
| Edizione | [Fifth edition, International edition.] |
| Pubbl/distr/stampa | Upper Saddle River, New Jersey : , : Pearson Prentice Hall, , [2013] |
| Descrizione fisica | 1 online resource (564 pages) |
| Disciplina | 621.395 |
| Soggetto topico |
Electronic digital computers - Circuits
Logic circuits Logic design Digital integrated circuits |
| ISBN | 0-273-77546-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- Contents -- Preface -- 1 Digital Systems and Binary Numbers -- 1.1 Digital Systems -- 1.2 Binary Numbers -- 1.3 Number-Base Conversions -- 1.4 Octal and Hexadecimal Numbers -- 1.5 Complements of Numbers -- 1.6 Signed Binary Numbers -- 1.7 Binary Codes -- 1.8 Binary Storage and Registers -- 1.9 Binary Logic -- 2 Boolean Algebra and Logic Gates -- 2.1 Introduction -- 2.2 Basic Definitions -- 2.3 Axiomatic Definition of Boolean Algebra -- 2.4 Basic Theorems and Properties of Boolean Algebra -- 2.5 Boolean Functions -- 2.6 Canonical and Standard Forms -- 2.7 Other Logic Operations -- 2.8 Digital Logic Gates -- 2.9 Integrated Circuits -- 3 Gate-Level Minimization -- 3.1 Introduction -- 3.2 The Map Method -- 3.3 Four-Variable K-Map -- 3.4 Product-of-Sums Simplification -- 3.5 Don't-Care Conditions -- 3.6 NAND and NOR Implementation -- 3.7 Other Two-Level Implementations -- 3.8 Exclusive-OR Function -- 3.9 Hardware Description Language -- 4 Combinational Logic -- 4.1 Introduction -- 4.2 Combinational Circuits -- 4.3 Analysis Procedure -- 4.4 Design Procedure -- 4.5 Binary Adder-Subtractor -- 4.6 Decimal Adder -- 4.7 Binary Multiplier -- 4.8 Magnitude Comparator -- 4.9 Decoders -- 4.10 Encoders -- 4.11 Multiplexers -- 4.12 HDL Models of Combinational Circuits -- 5 Synchronous Sequential Logic -- 5.1 Introduction -- 5.2 Sequential Circuits -- 5.3 Storage Elements: Latches -- 5.4 Storage Elements: Flip-Flops -- 5.5 Analysis of Clocked Sequential Circuits -- 5.6 Synthesizable HDL Models of Sequential Circuits -- 5.7 State Reduction and Assignment -- 5.8 Design Procedure -- 6 Registers and Counters -- 6.1 Registers -- 6.2 Shift Registers -- 6.3 Ripple Counters -- 6.4 Synchronous Counters -- 6.5 Other Counters -- 6.6 HDL for Registers and Counters -- 7 Memory and Programmable Logic -- 7.1 Introduction -- 7.2 Random-Access Memory.
7.3 Memory Decoding -- 7.4 Error Detection and Correction -- 7.5 Read-Only Memory -- 7.6 Programmable Logic Array -- 7.7 Programmable Array Logic -- 7.8 Sequential Programmable Devices -- 8 Design at the Register Transfer Level -- 8.1 Introduction -- 8.2 Register Transfer Level Notation -- 8.3 Register Transfer Level in HDL -- 8.4 Algorithmic State Machines (ASMs) -- 8.5 Design Example (ASMD Chart) -- 8.6 HDL Description of Design Example -- 8.7 Sequential Binary Multiplier -- 8.8 Control Logic -- 8.9 HDL Description of Binary Multiplier -- 8.10 Design with Multiplexers -- 8.11 Race-Free Design (Software Race Conditions) -- 8.12 Latch-Free Design (Why Waste Silicon?) -- 8.13 Other Language Features -- 9 Laboratory Experiments with Standard ICs and FPGAs -- 9.1 Introduction to Experiments -- 9.2 Experiment 1: Binary and Decimal Numbers -- 9.3 Experiment 2: Digital Logic Gates -- 9.4 Experiment 3: Simplification of Boolean Functions -- 9.5 Experiment 4: Combinational Circuits -- 9.6 Experiment 5: Code Converters -- 9.7 Experiment 6: Design with Multiplexers -- 9.8 Experiment 7: Adders and Subtractors -- 9.9 Experiment 8: Flip-Flops -- 9.10 Experiment 9: Sequential Circuits -- 9.11 Experiment 10: Counters -- 9.12 Experiment 11: Shift Registers -- 9.13 Experiment 12: Serial Addition -- 9.14 Experiment 13: Memory Unit -- 9.15 Experiment 14: Lamp Handball -- 9.16 Experiment 15: Clock-Pulse Generator -- 9.17 Experiment 16: Parallel Adder and Accumulator -- 9.18 Experiment 17: Binary Multiplier -- 9.19 Verilog HDL Simulation Experiments and Rapid Prototyping with FPGAs -- 10 Standard Graphic Symbols -- 10.1 Rectangular-Shape Symbols -- 10.2 Qualifying Symbols -- 10.3 Dependency Notation -- 10.4 Symbols for Combinational Elements -- 10.5 Symbols for Flip-Flops -- 10.6 Symbols for Registers -- 10.7 Symbols for Counters -- 10.8 Symbol for RAM -- Appendix. Answers to Selected Problems -- Index. |
| Record Nr. | UNINA-9910150213903321 |
|
Mano M. Morris <1927->
|
||
| Upper Saddle River, New Jersey : , : Pearson Prentice Hall, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital system design : use of microcontroller / / Dawoud Shenouda Dawoud, R. Peplow, University of Kwa-Zulu, Natal
| Digital system design : use of microcontroller / / Dawoud Shenouda Dawoud, R. Peplow, University of Kwa-Zulu, Natal |
| Autore | Dawoud Shenouda Dawoud |
| Pubbl/distr/stampa | Aalborg, Denmark : , : River Publishers, , [2010] |
| Descrizione fisica | 1 online resource (570 p.) |
| Altri autori (Persone) | PeplowR |
| Collana | River Publishers series in signal, image & speech processing |
| Soggetto topico |
Microcontrollers
Digital integrated circuits Microprocessors |
| Soggetto genere / forma | Electronic books. |
| ISBN | 87-93102-29-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cover""; ""Contents""; ""List of Abbreviations""; ""1 Processor Design Metrics""; ""1.1 Introduction""; ""1.2 Common Design Metrics""; ""1.3 Performance Design Metrics""; ""1.3.1 Characteristics of a Good Performance Metric""; ""1.3.2 Some Popular Performance Metrics""; ""1.3.3 Analysing Algorithms""; ""1.4 Economic Design Metrics""; ""1.4.1 Time-to-Market""; ""1.4.2 Design Economics""; ""1.5 Power Design Metrics""; ""1.5.1 Reducing Power Consumption""; ""1.6 System Effectiveness Metrics""; ""1.6.1 Reliability, Maintainability and Availability Metrics""; ""1.7 Summary of the Chapter""
""1.8 Review Questions""""2 A System Approach to Digital System Design""; ""2.1 Introduction""; ""2.2 System Design Flow""; ""2.2.1 Requirement Analysis""; ""2.2.2 Specifications""; ""2.2.3 Functional Design: System Architecture""; ""2.2.4 Hardware Overview""; ""2.2.5 Software Overview""; ""2.2.6 Target System and Solution""; ""2.3 Technologies Involved in the Design Process""; ""2.4 Design Technology""; ""2.4.1 Design Partitioning""; ""2.4.2 Use of Multiple Views (Multiple Description Domains): The Y-Chart"" ""2.4.3 Use of Structured Design: Functional Block-Structured Top-Down Design (Structural Hierarchy)""""2.4.4 Design Procedure Based on Top-Down Approach""; ""2.4.5 Programmable Digital Systems Design Using Block Structured Design""; ""2.5 IC-Technology; Implementation Technology""; ""2.5.1 Programmable Logic Device (PLD)""; ""2.6 Processor Technology""; ""2.6.1 Use of General-Purpose Processor (GPP)""; ""2.6.2 Single-Purpose Processor""; ""2.6.3 Application Specific Processor (e.g. Use of Microcontroller and DSP)""; ""2.6.4 Summary of IC Technology and Processor Technology"" ""2.7 Summary of the Chapter""""2.8 Review Questions""; ""3 Introduction to Microprocessors and Microcontrollers""; ""3.1 Introduction""; ""3.1.1 Processor Architecture and Microarchitecture""; ""3.2 The Microprocessor""; ""3.2.1 General-Purpose Registers""; ""3.2.2 Arithmetic and Logic Unit (ALU)""; ""3.2.3 Control Unit""; ""3.2.4 I/O Control Section (Bus Interface Unit)""; ""3.2.5 Internal Buses""; ""3.2.6 System Clocks""; ""3.2.7 Basic Microprocessor Organization""; ""3.3 Microcontrollers""; ""3.3.1 Microcontroller Internal Structure"" ""3.4 Microprocessor-Based and Microcontroller-Based Systems""""3.4.1 Microprocessor-based and Microcontroller-based Digital Systems Design Using Top-Down Technique""; ""3.5 Practical Microcontrollers""; ""3.5.1 AVR ATmega8515 Microcontroller""; ""3.5.2 Intel 8051 Microcontroller""; ""3.6 Summary of the Chapter""; ""3.7 Review Questions""; ""4 Instructions And Instruction Set""; ""4.1 Introduction""; ""4.2 Instruction Format""; ""4.2.1 Expressing Numbers""; ""4.2.2 Basic Instruction Cycle; Execution Path of an Instruction""; ""4.2.3 Clock Cycle and Instruction Cycle""; ""4.2.4 Labels"" ""4.3 Describing the Instruction Cycle: Use of Register Transfer Language (RTL)"" |
| Record Nr. | UNINA-9910464195003321 |
|
Dawoud Shenouda Dawoud
|
||
| Aalborg, Denmark : , : River Publishers, , [2010] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital system design : use of microcontroller / / Dawoud Shenouda Dawoud, R. Peplow, University of Kwa-Zulu, Natal
| Digital system design : use of microcontroller / / Dawoud Shenouda Dawoud, R. Peplow, University of Kwa-Zulu, Natal |
| Autore | Dawoud Shenouda Dawoud |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Taylor & Francis, 2010 |
| Descrizione fisica | 1 online resource (570 p.) |
| Altri autori (Persone) | PeplowR |
| Collana | River Publishers series in signal, image & speech processing |
| Soggetto topico |
Microcontrollers
Digital integrated circuits Microprocessors |
| Soggetto non controllato |
Energy
Communications engineering / telecommunications |
| ISBN |
1-00-333794-5
1-003-33794-5 87-93102-29-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Cover""; ""Contents""; ""List of Abbreviations""; ""1 Processor Design Metrics""; ""1.1 Introduction""; ""1.2 Common Design Metrics""; ""1.3 Performance Design Metrics""; ""1.3.1 Characteristics of a Good Performance Metric""; ""1.3.2 Some Popular Performance Metrics""; ""1.3.3 Analysing Algorithms""; ""1.4 Economic Design Metrics""; ""1.4.1 Time-to-Market""; ""1.4.2 Design Economics""; ""1.5 Power Design Metrics""; ""1.5.1 Reducing Power Consumption""; ""1.6 System Effectiveness Metrics""; ""1.6.1 Reliability, Maintainability and Availability Metrics""; ""1.7 Summary of the Chapter""
""1.8 Review Questions""""2 A System Approach to Digital System Design""; ""2.1 Introduction""; ""2.2 System Design Flow""; ""2.2.1 Requirement Analysis""; ""2.2.2 Specifications""; ""2.2.3 Functional Design: System Architecture""; ""2.2.4 Hardware Overview""; ""2.2.5 Software Overview""; ""2.2.6 Target System and Solution""; ""2.3 Technologies Involved in the Design Process""; ""2.4 Design Technology""; ""2.4.1 Design Partitioning""; ""2.4.2 Use of Multiple Views (Multiple Description Domains): The Y-Chart"" ""2.4.3 Use of Structured Design: Functional Block-Structured Top-Down Design (Structural Hierarchy)""""2.4.4 Design Procedure Based on Top-Down Approach""; ""2.4.5 Programmable Digital Systems Design Using Block Structured Design""; ""2.5 IC-Technology; Implementation Technology""; ""2.5.1 Programmable Logic Device (PLD)""; ""2.6 Processor Technology""; ""2.6.1 Use of General-Purpose Processor (GPP)""; ""2.6.2 Single-Purpose Processor""; ""2.6.3 Application Specific Processor (e.g. Use of Microcontroller and DSP)""; ""2.6.4 Summary of IC Technology and Processor Technology"" ""2.7 Summary of the Chapter""""2.8 Review Questions""; ""3 Introduction to Microprocessors and Microcontrollers""; ""3.1 Introduction""; ""3.1.1 Processor Architecture and Microarchitecture""; ""3.2 The Microprocessor""; ""3.2.1 General-Purpose Registers""; ""3.2.2 Arithmetic and Logic Unit (ALU)""; ""3.2.3 Control Unit""; ""3.2.4 I/O Control Section (Bus Interface Unit)""; ""3.2.5 Internal Buses""; ""3.2.6 System Clocks""; ""3.2.7 Basic Microprocessor Organization""; ""3.3 Microcontrollers""; ""3.3.1 Microcontroller Internal Structure"" ""3.4 Microprocessor-Based and Microcontroller-Based Systems""""3.4.1 Microprocessor-based and Microcontroller-based Digital Systems Design Using Top-Down Technique""; ""3.5 Practical Microcontrollers""; ""3.5.1 AVR ATmega8515 Microcontroller""; ""3.5.2 Intel 8051 Microcontroller""; ""3.6 Summary of the Chapter""; ""3.7 Review Questions""; ""4 Instructions And Instruction Set""; ""4.1 Introduction""; ""4.2 Instruction Format""; ""4.2.1 Expressing Numbers""; ""4.2.2 Basic Instruction Cycle; Execution Path of an Instruction""; ""4.2.3 Clock Cycle and Instruction Cycle""; ""4.2.4 Labels"" ""4.3 Describing the Instruction Cycle: Use of Register Transfer Language (RTL)"" |
| Record Nr. | UNINA-9910535304403321 |
|
Dawoud Shenouda Dawoud
|
||
| Taylor & Francis, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Electromagnetics for high-speed analog and digital communication circuits / / Ali M. Niknejad [[electronic resource]]
| Electromagnetics for high-speed analog and digital communication circuits / / Ali M. Niknejad [[electronic resource]] |
| Autore | Niknejad Ali M. <1972-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2007 |
| Descrizione fisica | 1 online resource (xi, 452 pages) : digital, PDF file(s) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Electromagnetic compatibility Digital integrated circuits Linear integrated circuits Electromagnetism |
| ISBN |
1-107-16562-8
1-280-75044-8 9786610750443 0-511-26953-6 0-511-27009-7 0-511-26861-0 0-511-32075-2 1-60119-741-1 0-511-80573-X 0-511-26928-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Preface; Acknowledgments; 1 Introduction; 2 Capacitance; 3 Resistance; 4 Ampère, Faraday, and Maxwell; 5 Inductance; 6 Passive device design and layout; 7 Resonance and impedance matching; 8 Small-signal high-speed amplifiers; 9 Transmission lines; 10 Transformers; 11 Distributed circuits; 12 High-speed switching circuits; 13 Magnetic and electrical coupling and isolation; 14 Electromagnetic propagation and radiation; 15 Microwave circuits; References; Index |
| Altri titoli varianti | Electromagnetics for High-Speed Analog & Digital Communication Circuits |
| Record Nr. | UNINA-9910457758503321 |
|
Niknejad Ali M. <1972->
|
||
| Cambridge : , : Cambridge University Press, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Electromagnetics for high-speed analog and digital communication circuits / / Ali M. Niknejad [[electronic resource]]
| Electromagnetics for high-speed analog and digital communication circuits / / Ali M. Niknejad [[electronic resource]] |
| Autore | Niknejad Ali M. <1972-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2007 |
| Descrizione fisica | 1 online resource (xi, 452 pages) : digital, PDF file(s) |
| Disciplina | 621.3815 |
| Soggetto topico |
Electronic circuits
Electromagnetic compatibility Digital integrated circuits Linear integrated circuits Electromagnetism |
| ISBN |
1-107-16562-8
1-280-75044-8 9786610750443 0-511-26953-6 0-511-27009-7 0-511-26861-0 0-511-32075-2 1-60119-741-1 0-511-80573-X 0-511-26928-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover; Half-title; Title; Copyright; Contents; Preface; Acknowledgments; 1 Introduction; 2 Capacitance; 3 Resistance; 4 Ampère, Faraday, and Maxwell; 5 Inductance; 6 Passive device design and layout; 7 Resonance and impedance matching; 8 Small-signal high-speed amplifiers; 9 Transmission lines; 10 Transformers; 11 Distributed circuits; 12 High-speed switching circuits; 13 Magnetic and electrical coupling and isolation; 14 Electromagnetic propagation and radiation; 15 Microwave circuits; References; Index |
| Altri titoli varianti | Electromagnetics for High-Speed Analog & Digital Communication Circuits |
| Record Nr. | UNINA-9910784343703321 |
|
Niknejad Ali M. <1972->
|
||
| Cambridge : , : Cambridge University Press, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
| Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2008 |
| Disciplina | 621.39/2 |
| Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) - Mathematics - Design and construction Digital integrated circuits Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| ISBN |
1-5090-7875-4
1-4244-2736-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996204380203316 |
| [Place of publication not identified], : IEEE, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings
| Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2008 |
| Disciplina | 621.39/2 |
| Soggetto topico |
Digital integrated circuits - Computer-aided design
Integrated circuits - Verification Formal methods (Computer science) - Mathematics - Design and construction Digital integrated circuits Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| ISBN |
9781509078752
1509078754 9781424427369 1424427363 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145395803321 |
| [Place of publication not identified], : IEEE, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
