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
Mathematical & Statistical Software

Most popular at the top

  • A Recursive Introduction to the Theory of Computationby Carl Smith

    Springer New York 2012; US$ 129.00

    The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for constructing... more...

  • Maple griffbereitby Nancy Blachman; Hans J. Wolters; Michael J. Mossinghoff

    Vieweg+Teubner Verlag 2013; US$ 49.99

    In diesem Buch finden Sie alles, was Sie als Maple-Anwender wissen müssen: Als Neueinsteiger finden Sie eine ausführliche Einführung in die Fähigkeiten des Systems. Als versierter Benutzer können Sie die genaue Bedeutung der verschiedenen Parameter und Optionen für einen bestimmten Befehl nachschauen. Und als "Quereinsteiger" mit Mathematica-Kenntnissen... more...

  • Das Maple Arbeitsbuchby Heinrich Elkedagmar; Hans-D. Janetzko

    Vieweg+Teubner Verlag 2013; Not Available

    Computeralgebra-Pakete finden immer mehr Verbreitung und werden auch in höherem Maße schon in der Mathematik-Ausbildung von Studenten an Fachhochschulen und Universitäten verwendet. Analog zum Lehrbuch derselben Autoren zu Mathematica lernt der Leser das Programmpaket nicht als Selbstzweck, sondern als Werkzeug zum Lösen seiner mathematischen Probleme... more...

  • Greedoidsby Bernhard Korte; Laszlo Lovasz; Rainer Schrader

    Springer Berlin Heidelberg 2012; US$ 129.00

    Oh cieca cupidigia, oh ira folie, Che si ci sproni nella vita corta, E nell' eterna poi si mal c'immolle! o blind greediness and foolish rage, That in our fleeting life so goads us on And plunges us in boiling blood for ever! Dante, The Divine Comedy Inferno, XII, 17, 49/51. On an afternoon hike during the second Oberwolfach conference on Mathematical... more...

  • Abductive Inference Models for Diagnostic Problem-Solvingby Yun Peng; James A. Reggia

    Springer New York 2012; Not Available

    Making a diagnosis when something goes wrong with a natural or m- made system can be difficult. In many fields, such as medicine or electr- ics, a long training period and apprenticeship are required to become a skilled diagnostician. During this time a novice diagnostician is asked to assimilate a large amount of knowledge about the class of systems... more...

  • Algebra für Informatikerby H. Kaiser; R. Mlitz; G. Zeilinger

    Springer Vienna 2013; US$ 44.99

    Das KernstUck des vor1iegenden Suches entstand aus einer einsemestrigen Vor- 1esunH gleichen Namens, die die Autoren seit mehreren Studienjahren an der Technischen Universitat Wien betreuen und die von R.M1itz ausgearbeitet wurde. Es erschien den Autoren notwendig bzw. zweckmaBig,dieses KernstUck zu erHanzen durch 1ineare Algebra - die an der TU Wien... more...

  • Lambda Calculus with Typesby Henk Barendregt; Wil Dekkers; Richard Statman

    Cambridge University Press 2013; US$ 72.00

    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification. more...

  • Formale Sprachenby Heinrich Becker

    Vieweg+Teubner Verlag 2013; Not Available

    I. Einführung in die Theorie der formalen Sprachen.- I.1 Natürliche Sprachen.- I.2 Die grundlegenden Definitionen.- I.3 Auswertung arithmetischer Ausdrücke und (kontextfreie) Grammatiken.- I.4 Definition von Programmiersprachen durch kontextfreie Grammatiken.- I.5 Formale Erreichbarkeit von Prozeduren.- I.6 Fragestellungen.- I.6.1 Wort-und Äquivalenzprobleme.-... more...

  • Mathematische Logik mit Informatik-Anwendungenby E. Bergmann; H. Noll

    Springer Berlin Heidelberg 2013; Not Available

    Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe­ matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab­ gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut... more...

  • Programmsystem MAVAMM zur maschinellen Vorbereitung und Auswertung von Multimoment-Aufnahmenby Otto F. Dall

    VS Verlag für Sozialwissenschaften 2013; Not Available

    Aufbauend auf einer frUheren Untersuchung (vgl. Nr. 2 des Literatur­ Verzeichnisses) wurde am Forschungsinstitut fUr Rationalisierung ein EDV-Programmsystem entwickelt, das in dem vorliegenden Bericht seinen Niederschlag gefunden hat. Aufgabe des Programmsystems ist es, aIle im Zusammenhang mit der DurchfUhrung von Multimoment-Studien (im folgen­ den... more...