Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Gokhale, Maya (Συγγραφέας), Graham, Paul S. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2005.
Θέματα:	Engineering. Computer programming. Mathematical logic. Applied mathematics. Engineering mathematics. Engineering design. Electrical engineering. Electronic circuits. Circuits and Systems. Mathematical Logic and Formal Languages. Appl.Mathematics/Computational Methods of Engineering. Engineering Design. Programming Techniques. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

VLSI Analog Filters Active RC, OTA-C, and SC /
ανά: Mohan, P.V. Ananda
Έκδοση: (2013)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011 /
Έκδοση: (2013)

Computation Engineering Applied Automata Theory and Logic /
ανά: Gopalakrishnan, Ganesh
Έκδοση: (2006)

Circuit Simulation with SPICE OPUS Theory and Practice /
ανά: Tuma, Tadej, κ.ά.
Έκδοση: (2009)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
ανά: Kumm, Martin
Έκδοση: (2016)

Computational Techniques for Voltage Stability Assessment and Control
Έκδοση: (2007)

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

An Introduction to Python and Computer Programming
ανά: Zhang, Yue
Έκδοση: (2015)

Bond Graphs for Modelling, Control and Fault Diagnosis of Engineering Systems
Έκδοση: (2017)

Modern Formal Methods and Applications
Έκδοση: (2006)

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology /
ανά: Stanković, Radomir S., κ.ά.
Έκδοση: (2011)

An Introduction to Modelling of Power System Components
ανά: Krishna, S.
Έκδοση: (2014)

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

IAENG Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2012 /
Έκδοση: (2014)

Filtering Theory With Applications to Fault Detection, Isolation, and Estimation /
Έκδοση: (2007)

Advances in Electric and Electronics
Έκδοση: (2012)

Geometrical Methods for Power Network Analysis
ανά: Bellucci, Stefano, κ.ά.
Έκδοση: (2013)

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

Synthesis of Computational Structures for Analog Signal Processing
ανά: Popa, Cosmin Radu
Έκδοση: (2012)

Ingredients for Successful System Level Design Methodology
ανά: Patel, Hiren D., κ.ά.
Έκδοση: (2008)

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014 /
Έκδοση: (2015)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

Finite Difference Computing with Exponential Decay Models
ανά: Langtangen, Hans Petter
Έκδοση: (2016)

The Cell Method for Electrical Engineering and Multiphysics Problems An Introduction /
ανά: Alotto, Piergiorgio, κ.ά.
Έκδοση: (2013)

Adapting Proofs-as-Programs The Curry-Howard Protocol /
ανά: Poernomo, Iman Hafiz, κ.ά.
Έκδοση: (2005)

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support /
Έκδοση: (2011)

Linear and Integer Programming Made Easy
ανά: Hu, T. C., κ.ά.
Έκδοση: (2016)

Intelligent Computer Techniques in Applied Electromagnetics
Έκδοση: (2008)

Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings /
Έκδοση: (2005)

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

Model Reduction for Circuit Simulation
Έκδοση: (2011)

Transactions on Petri Nets and Other Models of Concurrency III
Έκδοση: (2009)

High-Rise Buildings under Multi-Hazard Environment Assessment and Design for Optimal Performance /
ανά: Huang, Mingfeng
Έκδοση: (2017)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Έκδοση: (2005)

Control and Adaptation in Telecommunication Systems Mathematical Foundations /
ανά: Popovskij, Vladimir, κ.ά.
Έκδοση: (2011)

Generating Analog IC Layouts with LAYGEN II
ανά: Martins, Ricardo M. F., κ.ά.
Έκδοση: (2013)

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

Cannot write session to /tmp/vufind_sessions/sess_gmt24s7e8hfuva971m44nc6mkk