Computation Engineering Applied Automata Theory and Logic /

Computation Engineering Applied Automata Theory and Logic /

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

"This classroom-tested undergraduate textbook is unique in presenting logic and automata theory as a single subject...I highly recommend this book to you as the best route I know into the concepts underlying modern industrial formal verification." - Dr. Michael J.C. Gordon FRS, The Univers...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gopalakrishnan, Ganesh (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2006.
Θέματα:	Computer science. Computers. Mathematical logic. Electrical engineering. Electronic circuits. Computer Science. Theory of Computation. Circuits and Systems. Mathematical Logic and Formal Languages. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

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

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

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

Computational Intelligence for Engineering and Manufacturing /
Έκδοση: (2007)

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

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

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /
Έκδοση: (2004)

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

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
Έκδοση: (2006)

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Έκδοση: (2008)

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

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
Έκδοση: (2006)

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
Έκδοση: (2007)

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
Έκδοση: (2005)

Algorithms for VLSI Physical Design Automation
ανά: Sherwani, Naveed A.
Έκδοση: (1999)

Automatic Layout Modification Including design reuse of the Alpha CPU in 0.13 micron SOI technology.
ανά: Reinhardt, Michael
Έκδοση: (2002)

The e Hardware Verification Language
ανά: Iman, Sasan, κ.ά.
Έκδοση: (2004)

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Έκδοση: (2007)

Surviving the SOC Revolution A Guide to Platform-Based Design /
ανά: Chang, Henry, κ.ά.
Έκδοση: (1999)

Memory Architecture Exploration for Programmable Embedded Systems
ανά: Grun, Peter, κ.ά.
Έκδοση: (2002)

Computational Intelligence in Digital and Network Designs and Applications
Έκδοση: (2015)

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
ανά: Caromel, Denis, κ.ά.
Έκδοση: (2005)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
Έκδοση: (2005)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
Έκδοση: (2007)

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Έκδοση: (2009)

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design
Έκδοση: (2015)

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Έκδοση: (2014)

Design of System on a Chip Devices & Components /
Έκδοση: (2004)

Embedded Software for SoC
Έκδοση: (2003)

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings /
Έκδοση: (2005)

AmIware Hardware Technology Drivers of Ambient Intelligence
Έκδοση: (2006)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /
Έκδοση: (2007)

Logic Functions and Equations Examples and Exercises /
ανά: Steinbach, Bernd, κ.ά.
Έκδοση: (2009)

SystemC Methodologies and Applications /
Έκδοση: (2003)

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

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

Cannot write session to /tmp/vufind_sessions/sess_jmgmhg4idkjuql5ei0pk1h38qt