Luther wolfram (35 Ergebnisse)

Broschiert. Zustand: Gut. 2., verb. Aufl. 290 Seiten; graph. Darst. ; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 440.…

Zustand: Gebraucht / Used. Paperback. Good. Xii,422pp.

paperback. Zustand: New. 1st.

paperback. Zustand: New. 1st.

paperback. Zustand: New. 1st.

Gr.-8°, Broschiert. Zustand: Sehr gut. 422 Seiten : Ausgesondertes Bibliotheksexemplar mit den zugehörigen Kennzeichnungen, ansonsten sehr guter Zustand und nur sehr leicht lagerspurig B07-03-04C Sprache: Deutsch Gewicht in Gramm: 584.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

21 x 15. GF D. Gaier, G. Pickert. 87 Seiten. OKart. Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 200.

21 x 15. GF D. Gaier, G. Pickert. 87 Seiten. OKart. Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 200.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing interval we compute. If the enclosure is narrow, we are certain that the result can be used. Otherwise, we have a clear warning that the uncertainty of input values might be large and the algorithm and the model have to be improved. The use of interval data types and al- rithms with controlled rounding and result veri cation capture uncertainty in modeling and problem formulation, in model parameter estimation, in algorithm truncation, in operation round-o , and in model interpretation. The techniques of validated computing have proven their merits in many scienti c and engineering applications. They are based on solid and interesting theoretical studies in mathematics and computer science. Contributions from elds including real, complex and functional analysis, semigroups, probability, statistics,fuzzyintervalanalysis,fuzzylogic,automaticdi erentiation,computer hardware, operating systems, compiler construction, programming languages, object-oriented modeling, parallel processing, and software engineering are all essential.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri edor reliablecomputations. Since real numbersare objects c- taining an in nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri ed - plementations of real number algorithms using nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on 'Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,' which took place January 8-13, 2006. It was intended to stimulate an exchange of ideas between the di erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di erent countries and many di erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di erent theoretical models and practical - proaches for reliable real number computations.…

Paperback. Zustand: Brand New. 312 pages. 9.50x6.75x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. Numerical Validation in Current Hardware Architectures | International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers | Annie A. M. Cuyt (u. a.) | Taschenbuch | xii | Englisch | 2009 | Springer | EAN 9783642015908 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Reliable Implementation of Real Number Algorithms: Theory and Practice | International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers | Peter Hertling (u. a.) | Taschenbuch | xi | Englisch | 2008 | Springer | EAN 9783540855200 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. 2010. Paperback. . . . . . Books ship from the US and Ireland.

Paperback. Zustand: Brand New. 200 pages. 6.61x0.51x9.41 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | A large amount of the capacity of today¿s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical mathematics, there are also several scienti?c communities in computer science that are dealing with this problem. This book is a follow-up of the Dagstuhl Seminar 06021 on ¿Reliable Imp- mentation of Real Number Algorithms: Theory and Practice,¿ which took place January 8¿13, 2006. It was intended to stimulate an exchange of ideas between the di?erent communities that deal with the problem of reliable implementation of real number algorithms either from a theoretical or from a practical point of view. Forty-eight researchers from many di?erent countries and many di?erent disciplines gathered in the castle of Dagstuhl to exchange views and ideas, in a relaxed atmosphere. The program consisted of 35 talks of 30 minutes each, and of three evening sessions with additional presentations and discussions. There were also lively discussions about di?erent theoretical models and practical - proaches for reliable real number computations.…

Zustand: New. 2020. Paperback. . . . . . Books ship from the US and Ireland.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 276 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.…

Softcover. 1. XIII, 234 S. : Ill., graph. Darst., Kt. ; 24 cm Unread book. Like new! --- Ungelesenes Buch im neuwertigen Zustand. 9783540634324 Sprache: Deutsch Gewicht in Gramm: 463.

Zustand: New. In English.

X, 290 S. mit zahlreichen Abbildungen, 3528063025 Sprache: Deutsch Gewicht in Gramm: 400 Groß 8°, Original-Karton (Softcover), Bibliotheks-Exemplar (ordnungsgemäß entwidmet), Stempel auf Titel, insgesamt gutes und innen sauberes Exemplar.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Dieses Buch gibt Studierenden der Mathematik und Informatik, aber auch interessierten Ingenieurstudenten eine moderne und geschlossene Sichtweise der Computergrafik mit wichtigen Aspekten aus der Bildverarbeitung.Die mathematischen und informatischen Hilfsmittel aus den Teildisziplinen Diskrete Geometrie, Effiziente Algorithmen, Grafikprogrammierung, Analysis und Differentialgeometrie, aber auch die Hardwareaspekte der Plattformen PC und Grafikworkstation werden in nachvollziehbarer Weise integriert, so dass Nichtmathematiker nicht von vornherein ausgegrenzt werden.Das Buch ist praxisorientiert und als Begleittext zu Vorlesungen aus dem Studienabschnitt viertes bis achtes Semester auch für das Selbststudium geeignet. Es enthält eine Vielzahl von gelösten Übungsaufgaben und Abbildungen einschließlich einiger Farbtafeln.Zur Vermittlung der Computergrafik bedarf es einer integrierten Darstellung, die nicht nur die theoretischen Grundlagen vermittelt, sondern anhand von Programmen einen direkten Einblick in die Auswirkungen und Leistungsfähigkeit der Algorithmen ermöglicht. Auf einer CD-ROM sind dem Buch Programme für die Rechnerplattform IBM-kompatible DOS- und Windows-Rechner, Apple-Macintosh und Grafik-Workstations in den Programmiersprachen Assembler, PASCAL und C sowohl im Quelltext wie auch in ausführbarer Form beigefügt, die die wichtigsten Algorithmen direkt, in ihrer Wirkungsweise oft verlangsamt oder mit Zoom vorstellen.…

Zustand: New. In English.

Zustand: New. 2012. Paperback. . . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ais zu Beginn der achtziger Jahre die ersten 64K Computer mit hochauflo sender Bildschirmgraphik ihren Einzug in die mathematischen Institute und die Arbeitszimmer der Studenten nahmen, konnte man nur ahnen, welch unent behrliches Hilfsmittel hier entstanden war, urn mathematische und naturwis senschaftliche Phanomene graphisch sichtbar zu machen und ihre Strukturen aufzudecken. Wenn in Windeseile ein Funktionsgraph oder das Drahtmodell eines Korpers am Bildschirm erscheint, verschoben, gedreht oder vergroJ3ert wird, Kurven oder Flachen in ein Gitternetz eingepaJ3t oder Datenmengen in Bildern veranschaulicht werden, dann liegen in allen Fallen mathematische Algorithmen zugrunde, deren Verstandnis fUr ein sinnvolles Arbeiten mit fertigen oder selbsterstellten Programmen der Computergraphik eine groJ3e Hilfe ist. So verfolgt dieses Buch mehrere Ziele. Zum einen sollen einige wichtige Algorithmen zur Erzeugung der graphischen Grundelemente vorge stellt und exemplarisch in Prozeduren einer Standard-Hochsprache umgesetzt werden. Die mathematischen Grundlagen, die zum groJ3en Teil aus der linea ren Algebra, Analysis und Geometrie stammen, werden im Text mitentwickelt oder zitiert. So wendet sich das Buch an Studierende der Angewandten Ma thematik, Informatik und der Ingenieurwissenschaften, ist aber auch dem interessierten Laien zuganglich. Andererseits haben wir besonderes Gewicht auf die vielfaltigen Einsatzmoglichkeiten der Graphik zur Veranschauli chung von Kurvenverlaufen, Oberflachenformen und Bewegungsablaufen aus den Bereichen der Ingenieurwissenschaften gelegt, die in den Grundkursen der Hoheren Mathematik abgedeckt werden. Die gewahlten Beispiele stammen zum groJ3en Teil aus Veranstaltungen, die von den Autoren an der RWTH Aachen gehalten wurden.…