Theory of Digital Automata

Theory of Digital Automata

This book serves a dual purpose: firstly to combine the treatment of circuits and digital electronics, and secondly, to establish a strong connection with the contemporary world of digital systems. The need for this approach arises from the observation that introducing digital electronics through a...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Borowik, Bohdan (Συγγραφέας), Karpinskyy, Mykola (Συγγραφέας), Lahno, Valery (Συγγραφέας), Petrov, Oleksandr (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Σειρά:	Intelligent Systems, Control and Automation: Science and Engineering, 63
Θέματα:	Engineering. Logic design. Information theory. Electronic circuits. Circuits and Systems. Logic Design. Information and Communication, Circuits.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Logic Circuit Design Selected Methods /
ανά: Vingron, Shimon P.
Έκδοση: (2012)

Compact Models and Measurement Techniques for High-Speed Interconnects
ανά: Sharma, Rohit, κ.ά.
Έκδοση: (2012)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
ανά: Taraate, Vaibbhav
Έκδοση: (2016)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ανά: Czerwinski, Robert, κ.ά.
Έκδοση: (2013)

High-Level Synthesis From Algorithm to Digital Circuit /
Έκδοση: (2008)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

The Unknown Component Problem Theory and Applications /
ανά: Villa, Tiziano, κ.ά.
Έκδοση: (2012)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
ανά: Palchaudhuri, Ayan, κ.ά.
Έκδοση: (2016)

Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
ανά: Shi, Guoyong, κ.ά.
Έκδοση: (2014)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (2017)

Testing of Interposer-Based 2.5D Integrated Circuits
ανά: Wang, Ran, κ.ά.
Έκδοση: (2017)

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Fundamentals of Electronic Systems Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Practical Problems in VLSI Physical Design Automation
ανά: Lim, Sung Kyu
Έκδοση: (2008)

Electronics System Design Techniques for Safety Critical Applications
ανά: Sterpone, Luca
Έκδοση: (2009)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Logic Synthesis for FSM-Based Control Units
ανά: Barkalov, Alexander, κ.ά.
Έκδοση: (2009)

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

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

More than Moore Creating High Value Micro/Nanoelectronics Systems /
Έκδοση: (2009)

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

Speech Processing in Embedded Systems
ανά: Sinha, Priyabrata
Έκδοση: (2010)

Systems with Hidden Attractors From Theory to Realization in Circuits /
ανά: Pham, Viet-Thanh, κ.ά.
Έκδοση: (2017)

Essential Knowledge for Transistor-Level LSI Circuit Design
ανά: Nakura, Toru
Έκδοση: (2016)

Fractional-Order Devices
ανά: Biswas, Karabi, κ.ά.
Έκδοση: (2017)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Design, Analysis and Test of Logic Circuits Under Uncertainty
ανά: Krishnaswamy, Smita, κ.ά.
Έκδοση: (2013)

High-Performance Computing Using FPGAs
Έκδοση: (2013)

Adiabatic Logic Future Trend and System Level Perspective /
ανά: Teichmann, Philip
Έκδοση: (2012)

Reversible Logic Synthesis Methodologies with Application to Quantum Computing
ανά: Taha, Saleem Mohammed Ridha
Έκδοση: (2016)

Digital circuit boards : mach 1 ghz /
ανά: Morrison, Ralph
Έκδοση: (2012)

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /
ανά: Gokhale, Maya, κ.ά.
Έκδοση: (2005)

On the Mathematical Modeling of Memristor, Memcapacitor, and Meminductor
ανά: Radwan, Ahmed G., κ.ά.
Έκδοση: (2015)

Degital design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1991)

Robustness and Usability in Modern Design Flows
ανά: Fey, Görschwin, κ.ά.
Έκδοση: (2008)

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits /
ανά: Ben Jamaa, M. Haykel
Έκδοση: (2011)

Logic Synthesis for Compositional Microprogram Control Units
Έκδοση: (2008)

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

Cannot write session to /tmp/vufind_sessions/sess_nqtfd7jqlauf6dl2rim41g9bfu