You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
In this substantive yet accessible book, pioneering software designer Alexander Stepanov and his colleague Daniel Rose illuminate the principles of generic programming and the mathematical concept of abstraction on which it is based, helping you write code that is both simpler and more powerful. If you’re a reasonably proficient programmer who can think logically, you have all the background you’ll need. Stepanov and Rose introduce the relevant abstract algebra and number theory with exceptional clarity. They carefully explain the problems mathematicians first needed to solve, and then show how these mathematical solutions translate to generic programming and the creation of more effecti...
Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like other areas of science and engineering, must be based on a solid mathematical foundation. This book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation algorithm is defined to work with any associative operation. Using abstract algorithms leads to efficient, reliable, secure, and economical software.
Defines the template classes and functions of the standard template library (STL) component of the C++ programming language. A chapter is devoted to each of the 13 headers, providing a functional description of the header contents, suggestions for how best to use the facilities defined in the header, and the C++ code itself. Additional chapters introduce STL as a whole and discuss three overarching topics--iterators, algorithms, and containers. c. Book News Inc.
This book constitutes the thoroughly refereed post-proceedings of the International Seminar on Generic Programming held in Dagstuhl Castle, Germany in April/May 1998.The 20 revised full papers were carefully reviewed for inclusion in the book. As the first book entirely devoted to the new paradigm of generic programming, this collection offers topical sections on foundations and methodology comparisons, programming methodology, language design, and applications.
Numerous color and b & w reproductions from mostly European and a few US museums, reinforce the commentary of Stepanov (St. Petersburg Institute of Art History) on Cranach the Elder as a German Renaissance master. Though not as well known as his Catholic Italian contemporaries, Protestant Cranach bequeathed a legacy of diverse works on religious and secular subjects (hunting scenes are notable) and painting techniques which influenced generations of artists. As a court artist (for Frederick the Wise, Saxony), he also designed costumes, furniture, and parade-ground arms. Includes a chronology of the works of Cranach and his notable peers, but no index. 9.5x12.5" c. Book News Inc
This book presents a systematic view of the cooperative sector of the economy from the standpoint of sustainable development. On the one hand, the book reveals the consequences of business cooperation for the implementation of global sustainable development goals, primarily in terms of environmental protection and food security. On the other hand, the book defines the essence of sustainable development of the cooperative sector of the economy as a demonstrative economic practice that reflects the general state of socio-economic systems. Scientific, methodological, and applied recommendations for the systemic optimization of the management of the cooperative sector of the economy in the inter...
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics,...
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that in...
When programmers list their favorite books, Jon Bentley’s collection of programming pearls is commonly included among the classics. Just as natural pearls grow from grains of sand that irritate oysters, programming pearls have grown from real problems that have irritated real programmers. With origins beyond solid engineering, in the realm of insight and creativity, Bentley’s pearls offer unique and clever solutions to those nagging problems. Illustrated by programs designed as much for fun as for instruction, the book is filled with lucid and witty descriptions of practical programming techniques and fundamental design principles. It is not at all surprising that Programming Pearls has ...
Multi-core chips from Intel and AMD offer a dramatic boost in speed and responsiveness, and plenty of opportunities for multiprocessing on ordinary desktop computers. But they also present a challenge: More than ever, multithreading is a requirement for good performance. This guide explains how to maximize the benefits of these processors through a portable C++ library that works on Windows, Linux, Macintosh, and Unix systems. With it, you'll learn how to use Intel Threading Building Blocks (TBB) effectively for parallel programming -- without having to be a threading expert. Written by James Reinders, Chief Evangelist of Intel Software Products, and based on the experience of Intel's develo...