This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

As we progress into the second decade of the 21st century, it’s becoming increasingly obvious how the computers of the previous 30 years have begun to look not just old but archaic. The massive CRT monitors of the 1980s and 1990s have given way to pencil-thin displays of the 2000s. The...

This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

Don’t feel bad—I’ve given you an impossible exercise, but I promise the book will be filled with practical instead of ridiculous exercises from here on out. That’s because we’re going to...

This work is an introduction to mathematical analysis at an elementary level. Emphasis is given to the construction of national and then real numbers, using the method of equivalence classes and of Cauchy sequences. The text includes the presentation of: sequences of real numbers, infinite numerical series, continuous functions, deriviatives...

More than 40 million students have trusted Schaum's to help them succeed in the classroom and on exams. Schaum's is the key to faster learning and higher grades in every subject. Each Outline presents all...

Essentials of Computational Chemistry provides a balanced introduction to this dynamic subject.  Suitable for both experimentalists and theorists, a wide range of samples and applications are included drawn from all key areas.  The book carefully leads the reader thorough the necessary equations providing information explanations...

As responsive design evolves, we have a critical need to think about design challenges beyond mobile, tablet, and desktop. When properly designed and planned, design patterns-small, reusable modules-help your responsive layout reach more devices (and people) than ever before. Ethan Marcotte shows you just how that's done, focusing on...