Filter
Datorer: maskinvara
Filter
This book was originally published in 1995. At the time of publication, distributed file systems were monolithic and only supported single file abstractions. Network storage …
Intellectual property (IP) laws were drafted for tangible objects, but 3D printing technology, which digitizes objects and offers manufacturing capacity to anyone, is disrupting …
The Cambridge Extra Mural Board, which celebrated its centenary in 1973, was the first extra-mural department in any university, and is important both as a pioneer, much copied …
This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new …
Originally published in 1960, as the second edition of a 1957 original, this textbook is aimed at those without advanced mathematical training and provides a comprehensive …
Various problems in computer science are 'hard', that is NP-complete, and so not realistically computable; thus in order to solve them they have to be approximated. This book is a …
Simulating a continuous process on a (computer) model provides a means of understanding how a system will behave when it is subject to particular constraints. Computers are of …
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program …