Mathematics of Discrete Structures for Computer Science

This survey of the important types of inorganic and organic crystal structures treats its subject thoroughly and in sufficient depth for undergraduate modules in chemistry courses. Features of this bo

NSTI’s nanotechnology conferences have built a tradition of being the most prestigious forum in the world for leading nano scientists, and Nanotech 2014 is no exception. Top nano scientists offer an u

This book tackles the question: how can an engineer with a powerful finite element program but modest background knowledge of mechanics solve unfamiliar problems? Engineering educators will find this book to be a new and exciting approach to helping students engage with complex ideas. Practising engineers who use finite element methods to solve problems in solids and structures will extend the range of problems they can solve as well as accelerate their learning on new problems. This book's special strengths include: • A thoroughly modern approach to learning and understanding mechanics problems • Comprehensive coverage of a large collection of problems ranging from static to dynamic and from linear to nonlinear, applied to a variety of structures and components • Accompanying software that is sophisticated and versatile and is available for free from the book's website • Ability to complement any standard finite element textbook.

Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions to selected e

This book discusses gritty issues that society faces every day: food and water security, environmental services provided by farmers, almost accidentally, and taken for granted by everyone else, the ca

This volume in the highly respected Cambridge History of Science series is devoted to the history of science in the Middle Ages from the North Atlantic to the Indus Valley. Medieval science was once universally dismissed as non-existent - and sometimes it still is. This volume reveals the diversity of goals, contexts and accomplishments in the study of nature during the Middle Ages. Organized by topic and culture, its essays by distinguished scholars offer the most comprehensive and up-to-date history of medieval science currently available. Intended to provide a balanced and inclusive treatment of the medieval world, contributors consider scientific learning and advancement in the cultures associated with the Arabic, Greek, Latin and Hebrew languages. Scientists, historians and other curious readers will all gain a new appreciation for the study of nature during an era that is often misunderstood.

This book constitutes the revised selected papers of the 13th International CSI Computer Conference, CSICC 2008 held on Kish Island, Iran, in March 2008. The 84 regular papers presented together with

Humans constantly search for and use information to solve a wide range of problems related to survival, social interactions, and learning. While it is clear that curiosity and the drive for knowledge occupies a central role in defining what being human means to ourselves, where does this desire to know the unknown come from? What is its purpose? And how does it operate? These are some of the core questions this book seeks to answer by showcasing new and exciting research on human information-seeking. The volume brings together perspectives from leading researchers at the cutting edge of the cognitive sciences, working on human brains and behavior within psychology, computer science, and neuroscience. These vital connections between disciplines will continue to lead to further breakthroughs in our understanding of human cognition.

The second edition of this accepted reference work has been updated to reflect the rapid developments in the field and now covers both 2D and 3D imaging. Written by expert practitioners from leading c

This volume, sixth in a series of collected works by world-renowned computer scientist Donald E. Knuth, assembles approximately two dozen of his pioneering contributions to the field of computer lang

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revis

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, It

This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Buda

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008.The volume pr

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full

This volume elucidates the design rules for connections in steel and composite structures which are set out in Eurocode 3 and 4. Numerous examples illustrate the application of the respective design r

Catalysis by Materials with Well-Defined Structures examines the latest developments in the use of model systems in fundamental catalytic science. A team of prominent experts provides authoritative, f