search for books and compare prices
Chao Wang has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: Reconfigurable computing techniques and adaptive systems are some of the most promising architectures for microprocessors. Reconfigurable and Adaptive Computing: Theory and Applications explores the latest research activities on hardware architecture for reconfigurable and adaptive computing systems...read more
Hardcover:
9781498731751 | Chapman & Hall, November 24, 2015, cover price $149.95 | About this edition: Reconfigurable computing techniques and adaptive systems are some of the most promising architectures for microprocessors.
Product Description: Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles. The first three chapters provide introduction and background on sliding mode control theory, sensor models, and vehicle kinematics...read more
Paperback:
9780128037300 | Butterworth-Heinemann, September 1, 2015, cover price $130.00 | About this edition: Safe Robot Navigation Among Moving and Steady Obstacles is the first book to focus on reactive navigation algorithms in unknown dynamic environments with moving and steady obstacles.
Product Description: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs...read more
Hardcover:
9780387341552 | Springer-Verlag New York Inc, September 30, 2006, cover price $149.00
Paperback:
9781489993953 | Springer Verlag, December 6, 2014, cover price $169.00 | About this edition: This book summarizes recent research on abstraction techniques for model checking large digital system.
displaying 1 to 3 |
at end