Formal Methods: Industrial Use from Model to the Code
- Length: 384 pages
- Publication Date: 2012-06-18
WLAN Positioning Systems
- Length: 160 pages
- Publication Date: 2012-03-19
Highest Duty: My Search for What Really Matters
- Length: 368 pages
- Publication Date: 2010-05-11
Computers in Railways XII
- Length: 1024 pages
- Publication Date: 2010-07-22
Railroads Across North America: An Illustrated History
- Length: 256 pages
- Publication Date: 2007-09-15