The Leading eBooks Store Online

3,629,807 members ⚫ 1,172,494 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

Most popular at the top

  • Automatische Synthese rekursiver Programme als Beweisverfahrenby Susanne Biundo

    Springer Berlin Heidelberg 2013; US$ 54.99

    In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k|nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm... more...

  • Logic in Computer Scienceby Michael Huth; Mark Ryan

    Cambridge University Press 2004; US$ 72.00 US$ 59.04

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

  • Integrierte Digitale Schaltungenby Heinrich Klar; Tobias Noll

    Springer Berlin Heidelberg 2015; US$ 129.00

    Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, für die jeweilige Anwendung die günstigste Schaltungstechnik auszuwählen und anzuwenden und so das optimale Ergebnis zu erzielen. In deutscher Sprache wird erstmalig die technologieorientierte und die systemorientierte Schaltungstechnik gemeinsam... more...

  • Testfreundliche Synthese hochintegrierter Schaltungenby Bernhard Eschermann

    Springer Berlin Heidelberg 2013; US$ 54.99

    Hochkomplexe elektronische Schaltungen werden in immer mehrBereichen der Technik eingesetzt, in denen es auf eine hoheZuverl{ssigkeit ankommt, wie z.B. der Medizin und derVerkehrstechnik. Eine effiziente ]berpr}fung dieserSchaltungen, m|glichst in Form eines "Selbsttests", istdeshalb von entscheidender Bedeutung.Das Buch beschreibt zun{chst... more...

  • Die Kunst des Entwurfs elektronischer Schaltungenby Thomas H. O'Dell; Jürgen Krehnke; Wolfgang Mathis

    Springer Berlin Heidelberg 2013; US$ 54.99

    Dieses Lehrbuch beschäftigt sich mit den praktischen Elementen des Entwurfs elektronischer Schaltungen. Es liefert dabei aber nicht bibliotheksartig eine Aufzählung der verschiedenen Schaltungen, sondern behandelt systematische, grundsätzliche Überlegungen, die zu einem gezielten Entwurf führen, der sich an den speziellen konkreten Anforderungen orientiert.... more...

  • Petrinetzeby Wolfgang Reisig

    Springer Berlin Heidelberg 2013; US$ 54.99

    1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und... more...

  • Logikkalküle in der Informatikby Michael Schenke

    Springer Fachmedien Wiesbaden 2013; US$ 29.99

    Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt:... 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 Annotated Logicsby Jair M Abe; Seiki Akama; Kazumi Nakamatsu

    Springer International Publishing 2015; US$ 99.00

    This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology... more...

  • Principles of Program Analysisby Flemming Nielson; Hanne R. Nielson; Chris Hankin

    Springer Berlin Heidelberg 2015; US$ 79.99

    Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the... more...