Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
PRICE INDEXES IN TIME AND SPACE METHODS AND PRACTICE
2010 年出版264 页ISBN:9783790821390
TIME ZONES COMMUNICATIONS NETWORKS AND INTERNATIONAL AND INTERNATIONAL TRADE
2011 年出版217 页ISBN:9780415593120
Metamorphic phase Equilibria and Pressure-Temperature-Time Paths
1993 年出版799 页ISBN:0939950340
MODERNISM AND TIME The Logic of Abundance in Literature
Science2000 年出版0 页ISBN: