Filter
Datorarkitektur & logisk design
Filter
The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key …
In mathematics, it simply is not true that 'you can't prove a negative'. Many revolutionary impossibility theorems reveal profound properties of logic, computation, fairness and …
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science …
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to …
When several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need ‘recipes’ (i.e. protocols) to tell them what to do. Unfortunately, human …
This textbook provides a clear and concise introduction to computer architecture and implementation. Two important themes are interwoven throughout the book. The first is an …
Intellectual property (IP) laws were drafted for tangible objects, but 3D printing technology, which digitizes objects and offers manufacturing capacity to anyone, is disrupting …
What makes some computers slow? Why do some digital systems operate reliably for years while others fail mysteriously every few hours? How can some systems dissipate kilowatts …
This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and …
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets …