Kulisch ulrich (61 Ergebnisse)

Broschiert. Zustand: Gut. 456 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 710. …

Soft cover. Zustand: Fair. Taschenbuch in getragenem Zustand. 241 pages.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9783211835906. …

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Softcover reprint of the original 1st ed. 2002. …

8°, gebundene Ausgabe. Zustand: Sehr gut. 211 Seiten : Ausgetragenes Bibliotheksexemplar, fast top erhalten B05-02-05A Sprache: Deutsch Gewicht in Gramm: 474.

Broschiert. Zustand: Gut. 268 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind leicht bestoßen. Leichte altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 440.

Hardcover. 1. 354 p. Unread book. Very good condition. Minimum traces of storage. 9783540571186 Sprache: Englisch Gewicht in Gramm: 671.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Karton ohne Schutzumschlag. 384 Seiten 24 x 19,5 Sehr gut, fast ungelesen. (Computer Science and Applied Mathematics). 900 Gramm Sprache: Englisch.

Kartoniert. Zustand: Sehr gut. 210 x 140 mm. Informatik. Band 73. 213 S. Okart. Sehr guter Allgemeinzustand. Informatik+Technik+Behörden+Banken+Handel+Handelsbereich+Datenübermittlung+MHS*Risikoanalyse+Telekommunikation+Zivilrecht+Kryptosystem+Krypto [deutsche Bücher+Informatik+Technik+Behörden+Banken+Handel+Handelsbereich+Datenübermittlung, EDV+MHS*Risikoanalyse+Telekommunikation+Zivilrecht+Kryptosystem+Krypto]. ** 10% DESCUENTO/RABATT/DISCOUNT PRIMAVERA * excl. New German Books * * * * 4,50 (original price 5,00) **.…

Paperback. Zustand: Brand New. 1st edition. 141 pages. German language. 9.50x6.50x0.50 inches. In Stock.

Vieweg & Sohn, Braunschweig/Wiesbaden, 1997. 148 S. mit einigen Abb., Beispielen und Diagrammen, kartoniert, quart---- sehr gutes Exemplar - 420 Gramm.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on 'Computer Arithmetic and Scientific Computation'. - - This volume combines edited versions of selected papers presented at this confer ence, including a few which were presented at a similar meeting one year earlier. The selection was made on the basis of relevance to the topic chosen for this volume. All papers are original contributions. In an appendix, we have supplied a short account of the Fortran-SC language which permits the programming of algorithms with result verification in a natural manner. The editors hope that the publication of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volume should convince them that automatic result verification may help them to design more reliable software for their particular tasks. We wish to thank all contributors for adapting their manuscripts to the goals of this volume. We are also grateful to the Publisher, Springer-Verlag of Vienna, for an efficient and quick production.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results, this means they are of the same standard as the rest of mathematics. This book deals with a wide variety of aspects of enclosure methods. All contributions follow the common goal to push the limits of enclosure methods forward. Topics that are treated include basic questions of arithmetic, proving conjectures, bounds for Krylow type linear system solvers, bounds for eigenvalues, the wrapping effect, algorithmic differencing, differential equations, finite element methods, application in robotics, and nonsmooth global optimization.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The number one requirement for computer arithmetic has always been speed. It is the main force that drives the technology. With increased speed larger problems can be attempted. To gain speed, advanced processors and pro gramming languages offer, for instance, compound arithmetic operations like matmul and dotproduct. But there is another side to the computational coin - the accuracy and reliability of the computed result. Progress on this side is very important, if not essential. Compound arithmetic operations, for instance, should always deliver a correct result. The user should not be obliged to perform an error analysis every time a compound arithmetic operation, implemented by the hardware manufacturer or in the programming language, is employed. This treatise deals with computer arithmetic in a more general sense than usual. Advanced computer arithmetic extends the accuracy of the elementary floating-point operations, for instance, as defined by the IEEE arithmetic standard, to all operations in the usual product spaces of computation: the complex numbers, the real and complex intervals, and the real and complex vectors and matrices and their interval counterparts. The implementation of advanced computer arithmetic by fast hardware is examined in this book. Arithmetic units for its elementary components are described. It is shown that the requirements for speed and for reliability do not conflict with each other. Advanced computer arithmetic is superior to other arithmetic with respect to accuracy, costs, and speed.…

Paperback. Zustand: Brand New. reprint edition. 252 pages. 9.61x6.69x0.58 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 354 pages. 9.53x6.69x0.78 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 345 pages. 9.25x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 268 pages. 9.25x6.00x0.61 inches. In Stock.

Taschenbuch. o.A. 467 S. Lager- und Gebrauchsspuren, Kapital und Ecken bestoßen, Einband beschädigt. Ausgeschiedenes Bibliotheksexemplar mit den üblichen Kennzeichnungen. Die Leseseiten sind sauber und ohne Anstreichungen oder Knicke. 9783411015177 Sprache: Deutsch Gewicht in Gramm: 400.

Paperback. Zustand: Brand New. 400 pages. 9.50x7.50x0.91 inches. In Stock.

Hardcover. Zustand: Fair. First Edition. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.

Zustand: Gut. Zustand: Gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". - - This volume combines edited versions of selected papers presented at this confer­ ence, including a few which were presented at a similar meeting one year earlier. The selection was made on the basis of relevance to the topic chosen for this volume. All papers are original contributions. In an appendix, we have supplied a short account of the Fortran-SC language which permits the programming of algorithms with result verification in a natural manner. The editors hope that the publication of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volume should convince them that automatic result verification may help them to design more reliable software for their particular tasks. We wish to thank all contributors for adapting their manuscripts to the goals of this volume. We are also grateful to the Publisher, Springer-Verlag of Vienna, for an efficient and quick production.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 256 | Sprache: Englisch | Produktart: Bücher | Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". - - This volume combines edited versions of selected papers presented at this confer­ ence, including a few which were presented at a similar meeting one year earlier. The selection was made on the basis of relevance to the topic chosen for this volume. All papers are original contributions. In an appendix, we have supplied a short account of the Fortran-SC language which permits the programming of algorithms with result verification in a natural manner. The editors hope that the publication of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volume should convince them that automatic result verification may help them to design more reliable software for their particular tasks. We wish to thank all contributors for adapting their manuscripts to the goals of this volume. We are also grateful to the Publisher, Springer-Verlag of Vienna, for an efficient and quick production.…

Zustand: Gut. Zustand: Gut | Seiten: 354 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Softcover. Zustand: Sehr gut. Braunschweig, Vieweg (1991). Einige Abb. VII, 234 S., 1 Bl. OKart.

Zustand: New. In English.