Mathematics of Discrete Structures for Computer Science

Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and

The Puzzle Universe is intended for general readers and devoted puzzlers. It is about the latent beauty of mathematics, its history, and the puzzles that have advanced and emerged from the science of

The P-NP problem is the most important open problem in computer science, if not all of mathematics. "The Golden Ticket" provides a nontechnical introduction to P-NP, its rich history, and its algorith

A new-generation reference book about the cool technology of our world, for kids used to surfing and swiping.Our world is full of funky gadgets and technological gizmos. Within the next hour, you will probably use a computer, the internet, a hand-held game, or a cell phone. Technology is not only playing an ever-increasing role in our everyday lives, but also in the way we explore the world around us. Cool technology is useful, but what do we know about how it works? This book investigates the science behind technology, taking readers on a journey of discovery that they will never forget. It uncovers the smart tech of mobile phones, wi-fi, and GPS, as well as the inner workings of game consoles. It examines the world of movement--how cars, airplanes, and other vehicles run. It delves into nanotechnology, spy gadgets, cyborgs, building in space, and the eco house. Explore the pages of this book to discover how the coolest technology of today really works!

Written by the director of ARM’s worldwide academic program, this volume gives computer science professionals and students an edge, regardless of their preferred coding language. For those with some b

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying methodology. Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose. It's an introduction to constraint programming, appropriate for one-semester courses for upper undergraduate or graduate students in computer science or for programmers wishing to master the practical aspects of constraint programming. By the end of the book, the reader will be able to understand and write constraint programs that solve complex problems. Second, it provides a systematic introduction to the Eclipse system through carefully-chosen examples that guide the reader throu