 It often seems that mathematicians regularly provide answers well before the rest of the world finds reasons to ask the questions. The operation of the networks of relays used in the first computers is exactly described by Boolean functions. George Boole thereby made his contribution to computer science in the mid1800s, and Boolean algebra is used today to represent modern TIL (transistortransistor logic) circuits. In the 1930s, Alan Turing formalized the concept of an algorithm with his presentation of an abstract computing device and characterized the limitations of such machines. In the 1950s, the abstraction of the concepts behind natural language grammars provided the theoretical basis for computer languages that today guides the design of compilers.
These three major foundations of computer science, the mathematical description of computational networks, the limitations of mechanical computation, and the formal specification of languages are highly interrelated disciplines, and all require a great deal of mathematical maturity to appreciate. A computer science undergraduate is often expected to deal with all these concepts, typically armed only with a course in discrete mathematics. 


Modern Control Design With MATLAB and SIMULINK
The motivation for writing this book can be ascribed chiefly to the usual struggle of
an average reader to understand and utilize controls concepts, without getting lost in
the mathematics. Many textbooks are available on modern control, which do a fine
job of presenting the control theory....   Pro SQL Database for Windows Azure: SQL Server in the Cloud
Pro SQL Database for Windows Azure, 2nd Edition shows how to create enterpriselevel database deployments without the usual investment in datacenter and other infrastructure. Take advantage instead of Microsoft’s worldwide backbone for cloud computing that delivers all the power of SQL Server in the form of the cloudbased...   Scheduling in Distributed Computing Systems: Analysis, Design and ModelsScheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this book are designed for distributed systems, the same information is applicable for any type of system (i.e., where distributed processing is required).
Scheduling in... 
  Advances in Enterprise Information Technology Security (Premier Reference)In the last decade information and computer security is mainly moving from the confines of academia to the enterprise concerns. As populations become more and more comfortable with the extensive use of networks and the Internet, as our reliance on the knowledgeintensive technology grows, and as progress in the computer software and wireless...   Knowledge, Possibility, and Consciousness (Jean Nicod Lectures)Physicalism is the idea that if everything that goes on in the universe is physical, our consciousness and feelings must also be physical. Ever since Descartes formulated the mindbody problem, a long line of philosophers has found the physicalist view to be preposterous. According to John Perry, the history of the mindbody problem is, in part,... 
