The Leading eBooks Store Online

3,508,729 members ⚫ 2,065,349 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
Logic programming

  • Mathematical Aspects of Logic Programming Semanticsby Pascal Hitzler; Anthony Seda

    CRC Press 2016; US$ 109.95

    Covering the authors? own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods... more...

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

  • Embedded System Technologyby Xing Zhang; Zhonghai Wu; Xingmian Sha

    Springer Singapore 2016; US$ 72.00

    This book constitutes the refereed proceedings of the 13thNational Conference on Embedded System Technology, ESTC 2015, held in Beijing,China, in October 2015. The 18 revised full papers presented werecarefully reviewed and selected from 63 papers. The topics cover a broad rangeof fields focusing on research about embedded system technologies, such... 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; Not Available

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