The Leading eBooks Store Online

3,757,227 members ⚫ 1,221,934 ebooks

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
Mathematical & Statistical Software

  • Mathematik für die Informatikby Rudolf Berghammer

    Springer Fachmedien Wiesbaden 2017; US$ 20.53

    Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und -verifikation und dem Entwurf von generischen Programmen.... more...

  • Unifying Theories of Programmingby Jonathan P. Bowen; Huibiao Zhu

    Springer International Publishing 2017; US$ 45.68

    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions.... more...

  • Verification, Model Checking, and Abstract Interpretationby Ahmed Bouajjani; David Monniaux

    Springer International Publishing 2017; US$ 148.74

    This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including:... more...

  • Approximation and Online Algorithmsby Klaus Jansen; Monaldo Mastrolilli

    Springer International Publishing 2017; US$ 45.68

    This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as part of ALGO 2016.  The 16 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions.... more...

  • Advanced Finite Element Simulation with MSC Marcby Zia Javanbakht; Andreas Öchsner

    Springer International Publishing 2017; US$ 116.86

    This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature... more...

  • Educational Measurement for Applied Researchersby Margaret Wu; Hak Ping Tam; Tsung-Hau Jen

    Springer Singapore 2017; US$ 95.61

    This book is a valuable read for a diverse group of researchers and practitioners who analyze assessment data and construct test instruments. It focuses on the use of classical test theory (CTT) and item response theory (IRT), which are often required in the fields of psychology (e.g. for measuring psychological traits), health (e.g. for measuring... more...

  • Model Choice in Nonnested Familiesby Basilio de Bragança Pereira; Carlos Alberto de Bragança Pereira

    Springer Berlin Heidelberg 2016; US$ 45.68

    This book discusses the problem of model choice when the statistical models are separate, also called nonnested. Chapter 1 provides an introduction, motivating examples and a general overview of the problem. Chapter 2 presents the classical or frequentist approach to the problem as well as several alternative procedures and their properties. Chapter... more...

  • Business Analytics Using R - A Practical Approachby Umesh Hodeghatta Rao; Umesh Nayak

    Apress 2016; US$ 35.05

    Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization. This book explains practical business analytics through examples, covers the steps involved in using it correctly, and shows you the context in which a particular technique... more...

  • Algorithms for Data Scienceby Brian Steele; John Chandler; Swarna Reddy

    Springer International Publishing 2016; US$ 63.74

    This textbook on practical data analytics unites fundamental principles, algorithms, and data. Algorithms are the keystone of data analytics and the focal point of this textbook. Clear and intuitive explanations of the mathematical and statistical foundations make the algorithms transparent. But practical data analytics requires more than just the... more...

  • Logic and Its Applicationsby Sujata Ghosh; Sanjiva Prasad

    Springer Berlin Heidelberg 2016; US$ 45.68

    This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference.   The aim of this conference series is to bring together researchers from a wide variety... more...