The Leading eBooks Store Online

4,034,055 members ⚫ 1,328,001 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
Algorithms

  • Numerical Software Verificationby Alessandro Abate; Sylvie Boldo

    Springer International Publishing 2017; US$ 43.69

    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.05

    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...

  • 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.05

    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.05

    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...

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

    Springer US 2013; US$ 553.98

    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$ 153.54

    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$ 106.30

    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...

  • Evolutionary Multiobjective Optimizationby Ajith Abraham; Robert Goldberg

    Springer London 2006; US$ 165.36

    Evolutionary Multiobjective Optimization is a rare collection of the latest state-of-the-art theoretical research, design challenges and applications in the field of multiobjective optimization paradigms using evolutionary algorithms. It includes two introductory chapters giving all the fundamental definitions, several complex test functions and... more...

  • Knowledge Discovery for Business Information Systemsby Witold Abramowicz; Jozef M Zurada

    Springer US 2006; US$ 224.42

    Current database technology and computer hardware allow us to gather, store, access, and manipulate massive volumes of raw data in an efficient and inexpensive manner. In addition, the amount of data collected and warehoused in all industries is growing every year at a phenomenal rate. Nevertheless, our ability to discover critical, non-obvious... more...