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
Compilers (Computer programs)

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

  • Languages, Applications and Technologiesby José-Luis Sierra-Rodríguez; José-Paulo Leal; Alberto Simőes

    Springer International Publishing 2016; US$ 84.00

    This bookconstitutes the refereed proceedings of the 4th International Symposium onLanguages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, inJune 2015. The 17 revised full papers presented werecarefully reviewed and selected from 57 submissions. The papers are organizedin topical sections on human-human languages; human-computer... 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...

  • Java als erste Programmierspracheby Joachim Goll; Cornelia Heinisch

    Springer Fachmedien Wiesbaden 2016; US$ 29.99

    Dieses Buch bietet einen systematischen Einstieg in die Programmiersprache Java. Es setzt keine Kenntnisse in anderen Programmiersprachen voraus. Es richtet sich an diejenigen Studenten, welche das Ziel haben, die Grundlagen der Sprache Java und der Objektorientierung in fundierter Weise zu erlernen. Alle Programmbeispiele und alle Bilder des Buchs... more...

  • Python For ArcGISby Laura Tateosian

    Springer International Publishing 2016; US$ 99.00

    This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: ? Write and run Python in the ArcGIS Python... 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...

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

  • Mathematica®: A Problem-Centered Approachby Roozbeh Hazrat

    Springer International Publishing 2016; US$ 49.99

    An introduction to the vast array of features and powerful mathematical functions of Mathematica that uses a multitude of clearly presented examples and worked-out problems that enable the reader to learn from the codes and avoids lengthy explanations. more...