1
出版 2010
書本目錄: ... -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... on September 11, 2001 -- Free speed distributions — Based on empirical data in different traffic conditions...
獲取全文
電子 電子書