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 logic

  • Handbook of Formal Languagesby

    Springer Berlin Heidelberg 2012; US$ 99.00

    The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when the book Formal Languages by the second­ quite feasible to write a comprehensive mentioned editor appeared, it was still book with that title and include also topics of current... more...

  • Collaborative Design for Embedded Systemsby

    Springer Berlin Heidelberg 2014; US$ 129.00

    This book presents a framework that allows the very different kinds of design models ? discrete-event models of software and continuous time models of the physical environment ? to be analyzed and simulated jointly, based on common scenarios. more...

  • The Calculus of Computationby Aaron R. Bradley; Zohar Manna

    Springer Berlin Heidelberg 2007; US$ 49.95

    This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software. more...

  • Formale Sprachenby Hans-Joachim Böckenhauer; Juraj Hromkovic

    Springer Fachmedien Wiesbaden 2012; US$ 29.95

    Dieses Lehrbuch mit detailliert ausgearbeiteten Erklärungen und auf die Zielsetzungen fein abgestimmtem Training bietet einen einfachen Einstieg in die Theorie der formalen Sprachen. Es eignet sich gut für den Unterricht und das Selbststudium. Neben Gymnasiasten und Studienanfängern an Hochschulen richtet es sich auch an Lehramtsstudierende, insbesondere... more...

  • Logic for Computer Science and Artificial Intelligenceby Ricardo Caferra

    Wiley 2013; US$ 212.00

    Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified... more...

  • Semantics of Probabilistic Processesby Yuxin Deng

    Springer Berlin Heidelberg 2015; US$ 109.00

    This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in... more...

  • Design of Experiments for Reinforcement Learningby Christopher Gatti

    Springer International Publishing 2014; US$ 129.00

    This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge. The author approaches these entities using design of experiments not commonly employed to study machine learning methods. The... more...

  • Introduction to Formal Grammarsby Maurice Gross; Noam Chomsky; Andre Lentin

    Springer Berlin Heidelberg 2012; US$ 99.00

    The present work originates in a course given by the authors during the last few years in various university departments and institutions, among which we should like to mention: the Centre de Linguistique Quantitative of the Faculte des Sciences de Paris, created at the instance of the late Professor Favard; the Chaire d'Analyse Numerique of the Faculte... more...

  • Logic in Computer Scienceby Michael Huth; Mark Ryan

    Cambridge University Press 2004; US$ 72.00

    Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. more...

  • The Correctness-by-Construction Approach to Programmingby Derrick G. Kourie; Bruce W. Watson

    Springer Berlin Heidelberg 2012; US$ 99.00

    Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields. more...