Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Finite Precision Number Systems and Arithmetic
  • Language: en
  • Pages: 717

Finite Precision Number Systems and Arithmetic

This comprehensive reference volume, suitable for graduate teaching, includes problems, exercises, solutions and an extensive bibliography.

Smallest-last Ordering and Clustering and Graph Coloring Algorithms
  • Language: en
  • Pages: 21

Smallest-last Ordering and Clustering and Graph Coloring Algorithms

  • Type: Book
  • -
  • Published: 1981*
  • -
  • Publisher: Unknown

None

Network Analysis
  • Language: en
  • Pages: 481

Network Analysis

‘Network’ is a heavily overloaded term, so that ‘network analysis’ means different things to different people. Specific forms of network analysis are used in the study of diverse structures such as the Internet, interlocking directorates, transportation systems, epidemic spreading, metabolic pathways, the Web graph, electrical circuits, project plans, and so on. There is, however, a broad methodological foundation which is quickly becoming a prerequisite for researchers and practitioners working with network models. From a computer science perspective, network analysis is applied graph theory. Unlike standard graph theory books, the content of this book is organized according to methods for specific levels of analysis (element, group, network) rather than abstract concepts like paths, matchings, or spanning subgraphs. Its topics therefore range from vertex centrality to graph clustering and the evolution of scale-free networks. In 15 coherent chapters, this monograph-like tutorial book introduces and surveys the concepts and methods that drive network analysis, and is thus the first book to do so from a methodological perspective independent of specific application areas.

Breadth-minimum Search and Clustering and Graph Coloring Algorithms
  • Language: en
  • Pages: 28

Breadth-minimum Search and Clustering and Graph Coloring Algorithms

  • Type: Book
  • -
  • Published: 1975
  • -
  • Publisher: Unknown

None

Computer Arithmetic
  • Language: en
  • Pages: 486

Computer Arithmetic

This is the new edition of the classic book Computer Arithmetic in three volumes published originally in 1990 by IEEE Computer Society Press. As in the original, the book contains many classic papers treating advanced concepts in computer arithmetic, which is very suitable as stand-alone textbooks or complementary materials to textbooks on computer arithmetic for graduate students and research professionals interested in the field. Told in the words of the initial developers, this book conveys the excitement of the creators, and the implementations provide insight into the details necessary to realize real chips. This second volume presents topics on error tolerant arithmetic, digit on-line ...

The Mathematical-Function Computation Handbook
  • Language: en
  • Pages: 1145

The Mathematical-Function Computation Handbook

  • Type: Book
  • -
  • Published: 2017-08-20
  • -
  • Publisher: Springer

This highly comprehensive handbook provides a substantial advance in the computation of elementary and special functions of mathematics, extending the function coverage of major programming languages well beyond their international standards, including full support for decimal floating-point arithmetic. Written with clarity and focusing on the C language, the work pays extensive attention to little-understood aspects of floating-point and integer arithmetic, and to software portability, as well as to important historical architectures. It extends support to a future 256-bit, floating-point format offering 70 decimal digits of precision. Select Topics and Features: references an exceptionally...

Theorem Proving in Higher Order Logics
  • Language: en
  • Pages: 405

Theorem Proving in Higher Order Logics

  • Type: Book
  • -
  • Published: 2003-06-30
  • -
  • Publisher: Springer

This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001). This was held 4–7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banqu...

The Art of Computer Programming
  • Language: en
  • Pages: 1092

The Art of Computer Programming

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming. –Byte, September 1995 I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up. –Charles Long If you think you're a really good programmer... read [Knuth's] Art of Computer Programming... You should definitely send me a resume if you can read the whole thing. –Bill Gates It's always a pleasure when a problem is hard enough that you have to get the Knuths off the sh...

Summary of Awards
  • Language: en
  • Pages: 90

Summary of Awards

  • Type: Book
  • -
  • Published: 1981
  • -
  • Publisher: Unknown

None