Filter
Datavetenskap
Filter
By the time students have done some programming in one or two languages and have learnt the common ways of representing information in a computer, they will want to embark upon …
Computing is an exact science and the systematic study of any aspect necessarily involves the use of mathematical models. Moreover, the rate at which the subject is evolving …
Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for …
Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for …
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged …
This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. …