Computer Hardware

Computer Organization
and Design
Petri Nets and Grafcet:
Tools for Modelling
Parallel Computer
Architecture
Transactional
Memory
Multi-Core Cache
Hierarchies
The Art of
Multiprocessor
Principles of Computer
System Design
On-Chip
Networks
The Datacenter as a
Computer
Specification and Design
of Embedded Systems
SPECC: Specification
Language