Faculty colleagues (inside and outside of computer science) often have an emotional preference for a specific language in the introductory course.
This book discusses recent research in the theoretical foundations of several subjects of importance for the design hardware, and for computer science in general.
Time-series analysis is routinely found in physics, electronics, geophysics, astrophysics, climatology, computer science and biometric applications.
There is other work in mainstream computer science appears to be of relevance for multi-agent system specification and verification.
The book is intended for graduate students, researchers, and practitioners in diverse areas of computer science.
He had a wide range of interests and was accomplished in areas outside of computer science.
As a discipline of computer science, term rewriting has two main application areas: functional languages and their semantics; and equational reasoning and mechanical inference.
The authors make very few assumptions indeed about the computer science knowledge and programming skills of their readers.
