The Leading eBooks Store Online

3,597,636 members ⚫ 1,163,417 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
Computer logic

  • Functional and Logic Programmingby Oleg Kiselyov; Andy King

    Springer International Publishing 2016; US$ 72.00

    This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing;... more...

  • Verified Software: Theories, Tools, and Experimentsby Arie Gurfinkel; Sanjit A. Seshia

    Springer International Publishing 2016; US$ 72.00

    This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference... more...

  • Graphical Models for Securityby Sjouke Mauw; Barbara Kordy; Sushil Jajodia

    Springer International Publishing 2016; US$ 60.00

    This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions.... more...

  • Formal Techniques for Safety-Critical Systemsby Cyrille Artho; Peter Ö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...

  • Formal Aspects of Component Softwareby Christiano Braga; Peter Ö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...

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