The Leading eBooks Store Online

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

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
Mobile computing

  • Inductive Logic Programmingby Jesse Davis; Jan Ramon

    Springer International Publishing 2016; US$ 72.00

    This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs,... more...

  • Formal Aspects of Component Softwareby Christiano Braga; Peter Csaba Ölveczky

    Springer International Publishing 2016; US$ 84.00

    This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely... more...

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

  • A Polynomial Translation of Mobile Ambients into Safe Petri Netsby Susanne Göbel

    Springer Fachmedien Wiesbaden 2016; US$ 79.99

    The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application area of networks where processes pass hierarchical protection domains like firewalls.... more...

  • Software Engineeringby Bertrand Meyer; Martin Nordio

    Springer International Publishing 2016; US$ 60.00

    TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field.  Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering... more...

  • Hybrid Systems Biologyby Alessandro Abate; David ?afránek

    Springer International Publishing 2016; US$ 72.00

    This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop... more...

  • Models of Strategic Reasoningby Johan van Benthem; Sujata Ghosh; Rineke Verbrugge

    Springer Berlin Heidelberg 2016; US$ 129.00

    Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants? aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding... more...

  • Practical Aspects of Declarative Languagesby Marco Gavanelli; John Reppy

    Springer International Publishing 2016; US$ 60.00

    This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewedand selected from 17 initial submissions for inclusion in the book. PADL is a forumfor researchers and... more...

  • Semantics, Logics, and Calculiby Christian W. Probst; Chris Hankin; René Rydhof Hansen

    Springer International Publishing 2016; US$ 84.00

    This Festschrift volume is published in honorof Hanne Riis Nielson and Flemming Nielson on the occasion of their 60thbirthdays in 2014 and 2015, respectively. The papers included in this volumedeal with the wide area of calculi, semantics, and analysis. The book features contributions fromcolleagues, who have worked together with Hanne and Flemming... more...

  • Hybrid Systems Biologyby Oded Maler; Ádám Halász; Thao Dang; Carla Piazza

    Springer International Publishing 2015; US$ 60.00

    This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.... more...