The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...

New to eBooks.com?

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
Formal methods

  • Delta-Sigma A/D-Convertersby Richard Gaggl

    Springer 2013; US$ 129.00

    The emphasis of this book is on practical design aspects for broadband A/D converters for communication systems. The embedded designs are employed for transceivers in the field of ADSL solutions and WLAN applications. An area- and power-efficient realization of a converter is mandatory to remain competitive in the market. The right choice for the converter... more...

  • Performance Evaluation Softwareby Bahadir Karasulu; Serdar Korukoglu

    Springer 2013; US$ 39.95

    Performance Evaluation Software: Moving Object Detection and Tracking in Videos introduces a software approach for the real-time evaluation and performance comparison of the methods specializing in moving object detection and/or tracking (D&T) in video processing. Digital video content analysis is an important item for multimedia content-based... more...

  • Software Specification Methodsby Henri Habrias; Marc Frappier

    Wiley 2013; US$ 170.00

    This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS. more...

  • Modern Formal Methods and Applicationsby Hossam A. Gabbar

    Springer 2006; US$ 179.00

    Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements, providing a problem solving tool. more...

  • Software Specification Methodsby Henri Habrias; Marc Frappier

    ISTE 2006; US$ 112.00

    This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user. Most specification... more...

  • Computer programming and formal systemsby P. Braffort; D. Hirschberg

    Elsevier Science 2000; US$ 260.00

    Provability, Computability and Reflection more...

  • 1
  • Page