The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

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
Computer software

Most popular at the top

  • Formal Methods: Foundations and Applicationsby Márcio Cornélio; Bill Roscoe

    Springer International Publishing 2016; US$ 60.00

    This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics;... more...

  • Formal Techniques for Safety-Critical Systemsby Cyrille Artho; Peter Csaba Ölveczky

    Springer International Publishing 2016; US$ 84.00

    This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized... more...

  • Formale Grundlagen der Programmierungby Markus Nebel

    Vieweg+Teubner Verlag 2012; US$ 29.95

    Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt. more...

  • FreeBSD 6 Unleashedby Brian Tiemann

    Pearson Education 2006; US$ 39.99

    This is the eBook version of the printed book. If the print book includes a CD-ROM, this content is not included within the eBook version. FreeBSD is extremely robust and powers some of the largest internet sites in world including Yahoo!. FreeBSD 6 Unleashed  provides complete coverage of everything you need to know to use FreeBSD to its full... more...

  • Git Recipesby Wlodzimierz Gajda

    Apress 2014; US$ 49.99

    Whether you're relatively new to git or you need a refresher, or if you just need a quick, handy reference for common tasks in git, Git Recipes is just the reference book you need. With recipes to cover any task you can think of, including working with GitHub and git on BitBucket, ... more...

  • GitLab Repository Managementby Jonathan Hethey

    Packt Publishing 2013; US$ 19.99

    A simple, easy to understand tutorial guide on how to build teams and efficiently use version control, using GitLab.If you are a system administrator in a company that writes software or are in charge of an infrastructure, this book will show you the most important features of GitLab, including how to speed up the overall process more...

  • Handbook of Software Engineering and Knowledge Engineering, Vol 3by S.K. Chang

    World Scientific Publishing Company 2005; US$ 196.00

    The book covers the recent new advances in software engineering and knowledge engineering. It is intended as a supplement to the two-volume handbook of software engineering and knowledge engineering. The editor and authors are well-known international experts in their respective fields of expertise. Each chapter in the book is entirely self-contained... more...

  • Hybrid Soft Computing Approachesby Siddhartha Bhattacharyya; Paramartha Dutta; Susanta Chakraborty

    Springer India 2015; US$ 179.00

    The book provides a platform for dealing with the flaws and failings of the soft computing paradigm through different manifestations. The different chapters highlight the necessity of the hybrid soft computing methodology in general with emphasis on several application perspectives in particular. Typical examples include (a) Study of Economic Load... more...

  • The Impact of Case Technology on Software Processesby Daniel E. Cooke

    World Scientific Publishing Company 1994; US$ 116.00

    This review volume consists of articles concerning CASE technology and research as discussed from two perspectives.For the most part, the available CASE technology is intended to automate certain phases of the software development life cycle. The book contains articles which focus on how the current technology alters the nature of software engineering... more...

  • Industrie 4.0 und Echtzeitby Wolfgang A. Halang; Herwig Unger

    Springer Berlin Heidelberg 2014; Not Available

    Mit seinem Workshop 2014 zum Thema "Industrie 4.0 und Echtzeit" bietet der GI/GMA/ITG-Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Hype, Innovation oder Déjà-vu, Echtzeitfähigkeit, Echtzeitkommunikation, Hardware, Software,... more...