The Leading eBooks Store Online

3,863,569 members ⚫ 1,270,059 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

Most popular at the top

  • Programming Languagesby Alberto Pardo; S. Doaitse Swierstra

    Springer International Publishing 2015; US$ 39.13

    This book constitutes the proceedings of the 19 th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015.  The 10 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming... more...

  • Verified Functional Programming in Agdaby Aaron Stump

    Association for Computing Machinery and Morgan & Claypool Publishers 2016; US$ 63.95

    Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural... more...

  • Getting Started with ResearchKitby Edward Cessna; Dhanush Balachandran

    Packt Publishing 2016; US$ 35.99

    Enter the era of medical research using mobile devices with the help of this guide on ResearchKit! About This Book: Create a simple clinical research app using most aspects of ResearchKit; Build a simple survey with various data types with the results printed on the screen.; A step-by-step guide introducing Apple's ResearchKit and techniques to... more...

  • Practical Foundations for Programming Languagesby Robert Harper

    Cambridge University Press 2016; US$ 68.00

    This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics. more...

  • Model-Based Systems Engineering with OPM and SysMLby Dov Dori

    Springer New York 2016; US$ 59.26

    Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM?the new ISO 19450, composed primarily by the author of this book, and OMG... more...

  • Computer Algorithms Using Cby Mansi Bosamia; Artidevi Gohil

    YS Books International 2014; US$ 30.99

    The book titled "Computer Algorithms Using C" is the book that helps to understand the concepts of computer algorithms. The book also helps to understand how to analyze algorithms. The book demonstrates each and every concept with appropriate figures, examples, algorithm and program. It includes various techniques like divide and conquer methods,... more...

  • Python for Everyoneby Cay S. Horstmann; Rance D. Necaise

    Wiley 2016; US$ 52.00 US$ 45.07

    Cay Horstmann's  Python for Everyone, 2nd Edition provides a comprehensive and approachable introduction to fundamental programming techniques and design skills, and helps students master basic concepts and become competent coders. The inclusion of advanced chapters makes the text suitable for a 2 or 3-term sequence, or as a comprehensive reference... more...

  • C++ programmieren lernen f?r Dummiesby Stephen R. Davis

    Wiley 2016; US$ 14.95 US$ 12.96

    Stephen R. Davis f?ngt von vorn an: Wie arbeitet ein Programm? Wie installiert man die Programmierumgebung und den Compiler? Und was ist das ?berhaupt? Als n?chstes lernen Sie grundlegende Programmiertechniken kennen: Variablendeklaration, Schleifen, Funktionen und anderes mehr. F?nf Kapitel widmen sich den unterschiedlichen Variablentypen, sodass... more...

  • Software Reading Techniquesby Yang-Ming Zhu

    Apress 2016; US$ 27.95

    Learn twenty software reading techniques to enhance your effectiveness in reviewing and inspecting software artifacts such as requirements specifications, designs, code files, and usability.   Software review and inspection is the best practice in software development that detects and fixes problems early. Software professionals are trained... more...

  • C programmieren lernen f?r Dummiesby Dan Gookin

    Wiley 2017; US$ 13.50 US$ 11.70

    F?r dieses Buch m?ssen Sie kein Vorwissen mitbringen. Trotzdem werden auch fortgeschrittene C-Themen wie Zeiger und verkettete Listen behandelt - und das alles im aktuellen C11-Standard. Der besondere Clou ist die Verwendung der Programmierumgebung Code::Blocks, die es f?r Windows-, Mac- und Linux-Betriebssysteme gibt. Zahlreiche Beispiele, viele,... more...