The proliferation of personal computers in the home and in schools has meant that there are large numbers of people who have had exposure to using computers...

The goal of this book is to teach you to think like a computer scientist. 1 like the way computer scientists think because they combine some of the best fea tures of Mathematics, Engineering, and Natural Science. Like mathematicians, computer scientists use formal languages to denote ideas (specifically computa tions). Like engineers,...

Parallel complexity theory, the study of resource-bounded parallel computation, is surely one of the fastest-growing areas of theoretical Computer Science. In the light of this, it would be foolish to attempt an encyclopedic coverage of the field. However, it is the belief of the author that its foundations are becoming increas ingly...

I know you are interested in programming and using PIC microcontrollers. If not, you would not have picked up this book and be reading this preface. The first question one usually asks when choosing one book over another is, "Which book offers me something more?" Since everyone is looking for some thing a little different in...

Native applications get almost all of the press these days, especially given the financial success of the iTunes App Store...

A constraint is a restriction on a space of possibilities; it is a piece of knowledge that narrows the scope of this space. Because constraints arise naturally in most areas of human endeavor, they are the most general means for formulating regularities that govern our computational, physical, biological, and social worlds. Some...

This book is for anyone who wants to implement large-scale software reuse through object-oriented (00) application frameworks. Its purpose is to help the reader understand one of the hottest technologies related to software reuse-frameworks-and provide guidelines for making decisions about this technology. Decision makers such as...

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...

The history of software development paradigms suggests that a new paradigm often has its genesis in programming languages and then moves up to design and analysis (e.g., structured programming preceded structured design and analysis, and objectoriented programming predated object-oriented design and modeling). This same pattern can...