The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books

  • The Future of Design Methodologyby

    Springer London 2011; US$ 209.00

    Gives a holistic overview on perspectives for design methodology Addresses trends for developing a powerful methodical support for design practice Provides a starting point for future design research more...

  • The Best of ICCADby

    Springer US 2012; US$ 252.00

    Foreword. Preface. - Part I: Functional Verification. Formal Methods for Functional Verification; R.E. Bryant, J.H. Kukula. Automating the Diagnosis and the Rectification of Design Errors with PRIAM; J.C. Madre, et al. Functional Comparison of Logic Designs for VLSI Circuits; C.L. Berman, L.H. Trevillyan. A Unified Framework for the Formal Verification... more...

  • The MPEG Representation of Digital Mediaby

    Springer New York 2011; US$ 119.00

    Offers an overview of what?s behind MP3, digital television, online movies and why these innovations changed the world; Provides a comprehensive treatment of all aspects of signal digitization; Presents not only the state-of-the-art, but also what are the drivers of what is coming next and what is developing in key R&D labs; Provides examples... more...

  • Process Variations and Probabilistic Integrated Circuit Designby

    Springer New York 2011; US$ 129.00

    Trains IC designers to recognize problems caused by parameter variations during manufacturing and to choose the best methods available to mitigate these issues during the design process Offers both qualitative and quantitative insight into critical effects of process variation from perspectives of manufacturing, electronic design automation and circuit... more...

  • Scalable Multi-core Architecturesby

    Springer New York 2011; US$ 119.00

    Describes trends towards distributed memory architectures and distributed power management Integrates Network on Chip with distributed, shared memory architectures Demonstrates novel design methodologies and frameworks for multi-core design space exploration Shows how midlleware services (dynamic data management) can be integrated into and support... more...

  • Power-Aware Testing and Test Strategies for Low Power Devicesby

    Springer US 2010; US$ 199.00

    Is the only comprehensive book on power-aware test for (low power) circuits and systems Instructs readers how low-power devices can be tested safely without affecting yield and reliability Includes necessary background information on design for test and low-power design Incorporates detailed coverage of all levels of abstraction for power-aware... more...

  • Design and Verification of Microprocessor Systems for High-Assurance Applicationsby

    Springer US 2010; US$ 199.00

    Offers practical case studies of the successful application of formal methods at several different levels of microprocessor system design Discusses high-robustness design techniques that support formal verification Shows how "Design for Verification" can become "Design With Verification" Features chapters written by practitioners who have achieved... more...

  • Applications of Geometric Algebra in Computer Science and Engineeringby

    Birkhäuser Boston 2012; US$ 166.00

    State-of-the-art survey chapters by leading researchers covering geometric algebra---a powerful mathematical tool for solving problems in computer science, engineering, physics, and mathematics. Focus is on interdisciplinary applications and techniques. Self-contained assuming only a knowledge of linear algebra and calculus. Professionals and... more...

  • Soft Computing in Engineering Design and Manufacturingby

    Springer London 2012; US$ 149.00

    * Some 47 contributions cover state-of-the-art techniques and applications of soft computing which will stimulate further advances * With cross references between the various topics and a keyword index more...

  • Advances in Soft Computingby

    Springer London 2013; US$ 209.00

    New and highly advanced research results in the field of soft computing are explored in this collection of papers from world-renowned experts A wide range of applications are dealt with including evolutionary design, data mining, bio-inspired systems, intelligent information retrieval, fault diagnosis and fuzzy control more...