Mathematics of Discrete Structures for Computer Science

Limited signed leatherbound edition of Book 6 in the internationally best-selling Honor Harrington science fiction series.Limited Signed Leatherbound Edition KNOW THY ENEMY For Captain Honor Harringto

As a kid, Neil deGrasse Tyson was star-struck when he first visited a planetarium. The universe was calling him. Tyson pursued his interest in astronomy and studied to be an astrophysicist. In 1996, he became the director of New York's Hayden Planetarium.Tyson is passionate about teaching people about the universe. Known for making science fun and easy to understand, he has hosted and appeared on TV shows such as Nova ScienceNow and The Daily Show with Jon Stewart. He even has more than one million Twitter followers! But how did he get there? Science-savvy readers will want to learn about his extraordinary career.

The definitive guide to the art and science of lens design—fully updated to reflect the latest advancesThis benchmark optical engineering resource offers an encyclopedic overview of all forms of lenses and optical systems. Revised from start to finish, this new edition brings all existing content up to date and adds new sections on design advances from the last 10 years. With this book in hand, there's no lens that you can't design.Modern Lens Design, Third Edition, leads you through the fundamentals and hands-on practices of optical engineering, covering time-tested methods for designing top-quality lenses. Long a paragon of design instruction, the book provides clear explanations, examples, and hands-on instruction and fully covers the latest software and optimization techniques.Features new coverage of cell phone cameras, panoramic and 360-degree lenses, and large-format focal planesClarifies and consolidates a wide range of crucial lens design informationTwo industry-recognized exp

Computer science and artificial intelligence in particular have no curriculum in research methods, as other sciences do. This book presents empirical methods for studying complex computer programs: ex

What biological and cognitive forces have shaped humankind's musical behaviour and the rich global repertoire of musical structures? What is music for, and why does every human culture have it? What a

Cleo and Evan have a secret. A collection of books so dangerous they are locked up tight. And only they can find the keys to release the magic inside! THE FUTURE IS UNDER ATTACK!A super-smart, super-evil computer network has taken over the world. And Cleo and Evan are the only ones who can take it down. But the network has sent robots, drones, and cyborgs to stop them. If they can find a way to pull the plug -- and find their next key -- Cleo and Evan just might survive this science fiction showdown!

This monograph provides an intensive course for graduate students in computer science, as well as others interested in extensions of logic programming, on the theoretical foundations of disjunctive lo

The Nobel Prize in Economics was awarded to Herbert Simon in 1978. At Carnegie-Mellon University he holds the title of Professor of Computer Science and Psychology. These two facts together delineate

"In recent years Aharon Katchalsky became deeply interested in the theory of dynamic patterns, dissipative structures, and other nonequilibrium phenomena because of their significance for theoretical

A renewed interest in the study of vision has attracted scholars from such diverse fields as neuroscience, computer science, mathematics, physics and philosophy. At the same time, the development of i

An introductory level text for students who are not majoring in computer science, as well as for computer science majors with no prior programming experience. This text teaches computer science from a

Large-scale optimization is becoming increasingly important for students and professionals in electrical and industrial engineering, computer science, management science and operations research, and a

How do social structures and group behaviours arise from the interaction of individuals? "Growing Artificial Societies" approaches this question with computer simulation techniques. Fundamental collec

Intentions in Communication brings together major theorists from artificial intelligence and computer science, linguistics, philosophy, and psychology whose work develops the foundations for an accoun

One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on o

Winner, 1988, category of Computer Science, Professional/Scholarly Publishing Annual Awards Competition presented by the Association of American Publishers, Inc. "Optical Computing "provides the first

Oscar Zariski, one of the most eminent mathematicians of our time, climaxed a distinguished career by receiving the National Medal of Science. He has enriched mathematics, particularly in algebraic ge

This collection of original research papers assesses and summarizes the impact of types on logic programming. Type theory is a well-established branch of theoretical computer science that has played a

This first translation of d'Ocagne's Le Calcul Simplifie makes a classic work on the early art of computation available to historians of computer science. In the days before the sophisticated mechan

Software metrics is a new area of computer science designed to enable programmers and other practitioners to assign quantitative indexes of merit to software. In this volume, "software" is defined bro

The thirty original contributions in this book provide a working definition of "computational neuroscience" as the area in which problems lie simultaneously within computer science and neuroscience. T

Computer science as an engineering discipline has been spectacularly successful. Yet it is also a philosophical enterprise in the way it represents the world and creates and manipulates models of real

George Boole, for whom Boolean logic is named, developed the idea of expressing any idea as a mathematical or logical statement. Today, Boolean logic is foundational to computer programs and computer

"Concurrent Prolog" brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describe

"The Paralation Model "introduces a way of programming parallel computers that is easy to use for general problem solving, and will work for many different parallel computer architectures with any num

A series of lectures on the role of nonlinear processes in physics, mathematics, electrical engineering, physiology, and communication theory. From the preface: "For some time I have been interested i

This book provides students of mathematics with the minimum amount of knowledge in logic and set theory needed for a profitable continuation of their studies. There is a chapter on statement calculus, followed by eight chapters on set theory.

"The Network Nation" has become a standard reference for the field of computer mediated communication (CMC). This revised edition adds a substantial new chapter on "superconnectivity" (invented and de

What is the bottom line on Artificial Intelligence? "The AI Business offers a comprehensive summary of the commercial picture, present and future, for Artificial Intelligence in the computer industry,

"If the automobile and airplane business had developed like the computer business, a Rolls Royce would cost $2.75 and would run for 3 million miles on one gallon of gas. And a Boeing 767 would cost ju

A theory of expectations is used to explain how music evokes various emotions for readers interested in cognitive science and evolutionary psychology as well as music. The psychological theory of expe

In this text Slava Gerovitch argues that Soviet cybernetics was not just an intellectual trend but a social movement for radical reform in science and society as a whole. Followers of cybernetics view