The Leading eBooks Store Online

4,011,120 members ⚫ 1,318,789 ebooks

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
Data Modeling & Design

  • Numerical Software Verificationby Alessandro Abate; Sylvie Boldo

    Springer International Publishing 2017; US$ 44.16

    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers... more...

  • Formal Modeling and Analysis of Timed Systemsby Alessandro Abate; Gilles Geeraerts

    Springer International Publishing 2017; US$ 59.68

    This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany,  in September 2017.​  The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines... more...

  • Human Motion Simulationby Karim Abdel-Malek; Jasbir Arora

    Elsevier Science 2013; US$ 99.95

    Simulate realistic human motion in a virtual world with an optimization-based approach to motion prediction. With this approach, motion is governed by human performance measures, such as speed and energy, which act as objective functions to be optimized. Constraints on joint torques and angles are imposed quite easily. Predicting motion in this way... more...

  • Numerical Linear Approximation in Cby Nabih Abdelmalek; William A. Malek

    CRC Press 2008; US$ 139.95

    Illustrating the relevance of linear approximation in a variety of fields, Numerical Linear Approximation in C presents a unique collection of linear approximation algorithms that can be used to analyze, model, and compress discrete data. Developed by the lead author, the algorithms have been successfully applied to several engineering projects at... more...

  • Wireless Sensor Networksby Tarek Abdelzaher; Nuno Pereira; Eduardo Tovar

    Springer International Publishing 2015; US$ 59.68

    This book constitutes the refereed proceedings of the 12 European Conference on Wireless Sensor Networks, EWSN 2015, held in Porto, Portugal, in February 2015.The 14 full papers and 9 short papers presented were carefully reviewed and selected from 85 submissions. They cover a wide range of topics grouped into five sessions: services and applications,... more...

  • Networked Systemsby Parosh Aziz Abdulla; Carole Delporte-Gallet

    Springer International Publishing 2016; US$ 59.68

    This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices... more...

  • R Graphs Cookbookby Jaynal Abedin; Hrishi V. Mittal

    Packt Publishing 2014; US$ 32.99

    Targeted at those with an existing familiarity with R programming, this practical guide will appeal directly to programmers interested in learning effective data visualization techniques with R and a wide-range of its associated libraries. more...

  • Handbook of Massive Data Setsby James Abello; Panos M. Pardalos; Mauricio G.C. Resende

    Springer US 2013; US$ 559.87

    The proliferation of massive data sets brings with it a series of special computational challenges. This "data avalanche" arises in a wide range of scientific and commercial applications. With advances in computer and information technologies, many of these challenges are beginning to be addressed by diverse inter-disciplinary groups, that indude computer... more...

  • Semantic Issues in E-Commerce Systemsby Karl Aberer

    Springer US 2012; US$ 155.18

    E-commerce systems involve a complex interaction between Web Based Internet related software, application software and databases. It is clear that the success of e-commerce systems is going to be dependent not only on the technology of these systems but also on the quality of the underlying databases and supporting processes. Whilst databases have... more...

  • Optimization Techniques in Computer Visionby Mongi A. Abidi; Andrei V. Gribok; Joonki Paik

    Springer International Publishing 2016; US$ 107.43

    This book presents practical optimization techniques used in image processing and computer vision problems. Ill-posed problems are introduced and used as examples to show how each type of problem is related to typical image processing and computer vision problems. Unconstrained optimization gives the best solution based on numerical minimization of... more...