This introduction to computational geometry is designed for beginners. It emphasizes simple randomized methods, developing basic principles with the help of planar applications, beginning with deterministic algorithms and shifting to randomized algorithms as the problems become more complex. It also explores higher dimensional advanced...

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

This book presents a systematic treatment of the formal theory of the relational model of data, which is the foundation of current database management systems. It can be used as a text for a graduate course in database theory, or as an additional reference for an undergraduate course on data management. It will also be useful to researchers...

The theory of computing provides computer science with concepts, models, and formalisms for reasoning about both the resources needed to carry out computations and the efficiency of the computations that use these resources. It provides tools to measure the difficulty of combinatorial problems both absolutely and in comparison with other...

The purpose of Top-Down Network Design, Third Edition, is to help you design networks that meet a customer’s business and technical goals. Whether your customer is another department within your own company or an external client, this book provides you with tested processes and tools to help you understand traffic...

This book is an introduction to semiconductor devices for undergraduate electrical engineers, other interested students, and practicing engineers and scientists whose understanding of modern electronics needs updating. The book is organized to bring students with a background in sophomore physics to a level of understanding which will allow...

Few people ever read a preface, and those who do often just glance at the first few lines. So we begin by answering the question most frequently asked by the readers of our manuscript: "What does [BB] mean?" Like most undergraduate texts in mathematics these days, answers to some of our exercises appear at the back of the book....

Optical Scanning Holography is an exciting new field with many potential novel applications. This book contains tutorials, research materials, as well as new ideas and insights that will be useful for those working in the field of optics and holography. The book has been written by one of the leading researchers in the field. It covers the...

In the last two decades, cosmology, particle physics, high energy astrophysics and gravitational physics have become increasingly interwoven. The intense activity taking place at the intersection of these disciplines is constantly progressing, with the advent of major cosmic ray, neutrino, gamma ray and gravitational wave observatories for...

If you are preparing for any version of the TOEFL, you are not alone. Almost a million people all over the world took the TOEFL last year. A high score on this test is an essential step in being admitted to graduate or undergraduate programs at almost all colleges and universities in North America. But preparing for this test can be a...

Discussing the characteristics that distinguish embodied cognitive science from classical cognitive science, the book places a renewed emphasis on sensing and acting,...

Ideal for graduate and senior undergraduate level courses in computer arithmetic and advanced digital design, Computer Arithmetic: Algorithms and Hardware Designs provides a balanced, comprehensive treatment of computer arithmetic, covering topics in arithmetic unit design and circuit implementation that complement the architectural...