01755nam--2200517---450-99000066103020331620100218111844.088-15-06381-10066103USA010066103(ALEPH)000066103USA01006610320011001d1998----km-y0itay0103----baitaIT||||||||001yy<<L'>> economia mondiale dal 1945 a oggiAndré Gauthier[traduzione di Vittorio Beonio Brocchieri]BolognaIl mulino1998638 p.22 cm<<Le>> vie della civiltà2001Le vie della civiltà2001<<L'>>économie mondiale depuis la fin du 19. siècle14977001-------2001Economia internazionale1945-1995330.9045GAUTHIER,André375080BEONIO BROCCHIERI,VittorioITsalbcISBD990000661030203316330.9 GAU 1 (XV F 55 BIS)143846 LMXV F00207808330.9 GAU 1a (XV F 55 A )143847 LMXV F00207803330.9 GAU 1b (XV F 55)143848 LMXV F00207799III E GAU 18144 DBCIII EBKECODBCPATTY9020011001USA01172220020403USA011715PATRY9020040406USA011645RSIAV39020090430USA011424RSIAV39020090430USA011427RSIAV39020090430USA011431DBC9020100121USA011241DBC9020100218USA011118Économie mondiale depuis la fin du 19. siècle14977UNISA04211nam 2200709 a 450 991045284460332120200520144314.03-11-030179-210.1515/9783110301793(CKB)2550000001096894(EBL)1130308(OCoLC)851970604(SSID)ssj0000916704(PQKBManifestationID)11466131(PQKBTitleCode)TC0000916704(PQKBWorkID)10877488(PQKB)11593715(MiAaPQ)EBC1130308(DE-B1597)179444(OCoLC)953308478(OCoLC)990725657(DE-B1597)9783110301793(PPN)175495246(Au-PeEL)EBL1130308(CaPaEBR)ebr10728884(CaONFJC)MIL503428(EXLCZ)99255000000109689420130419d2013 uy 0engur|n|---|||||txtccrComputer arithmetic and validity[electronic resource] theory, implementation, and applications /Ulrich Kulisch2nd ed.Berlin De Gruyter20131 online resource (434 p.)De Gruyter Studies in Mathematics ;33De Gruyter studies in mathematics,0179-0986 ;33Description based upon print version of record.3-11-030173-3 1-299-72177-X Includes bibliographical references and index. Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- IndexThis is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics. De Gruyter Studies in MathematicsComputer arithmeticComputer arithmetic and logic unitsFloating-point arithmeticElectronic books.Computer arithmetic.Computer arithmetic and logic units.Floating-point arithmetic.005.101/5113Kulisch Ulrich1040684MiAaPQMiAaPQMiAaPQBOOK9910452844603321Computer arithmetic and validity2463748UNINA00856nam0-2200265 --450 991059470140332120230914092847.020221003d1964----kmuy0itay5050 bagerAT 001yyUntersuchungen zum romischen Begnadigungsrechtabolitio, indulgentia, veniaWolfgang WaldsteinInnsbruckUniversitatsverlag Wagner1964255 p.25 cmCommentationes aenipontanae18470.523itaWaldstein,Wolfgang230389ITUNINAREICATUNIMARCBK9910594701403321FONDO PROFESSOR ANTONIO GUARINO IV M 110G/1093FGBCIV M 233 (18)77345FGBCFGBCUntersuchungen zum romischen Begnadigungsrecht2916230UNINA