Computation Engineering Applied Automata Theory and Logic
Main Author: | Gopalakrishnan, Ganesh |
---|---|
Format: | Electronic Kit Book |
Language: | English |
Published: |
Boston, MA
Springer Science+Business Media LLC
2006
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/0-387-32520-4 |
Similar Items
-
A Roadmap for Formal Property Verification
by: DasGupta, Pallab
Published: (2006) -
Coordination of Large-Scale Multiagent Systems
by: Scerri, Paul
Published: (2006) -
High-Frequency Oscillator Design for Integrated Transceivers
by: Tang, Johan
Published: (2005) -
AmIware Hardware Technology Drivers of Ambient Intelligence
by: Mukherjee, Satyen
Published: (2006) -
CPU Design: Answers to Frequently Asked Questions
by: Thimmannagari, Chandra M. R.
Published: (2005)