熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 6 筆, 頁數 1 / 1
呈現:
Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings
ThisvolumecontainstheproceedingsofFM2003, the12thInternationalFormal Methods Europe Symposium which ... more |
|||
Modeling Time in Computing
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, eng... more |
|||
Modeling Time in Computing
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, eng... more |
|||
Cultural Heritage and Aerobiology: Methods and Measurement Techniques for Biodeterioration Monitoring
Aerobiology is the science that studies the biological component of the atmosphere and its effects o... more |
|||
Fundamentals of Software Engineering
Appropriate for both undergraduate and graduate introductory software engineering courses found in C... more |
|||
The Art and Craft of Computing
|