熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 7 筆, 頁數 1 / 1
呈現:
Semantics With Applications
This book examines the important role semantics will have in the future development of software syst... more |
|||
Transactions on Computational Systems Biology VII
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully r... more |
|||
Two-Level Functional Languages
The authors describe here a framework in which the type notation of functional languages is extended... more |
|||
Principles of Program Analysis
Program analysis concerns static techniques for computing reliable approximate information about the... more |
|||
Two-Level Functional Languages
The authors describe here a framework in which the type notation of functional languages is extended... more |
|||
Type and Effect Systems: Behaviours for Concurrency
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks ... more |
|||
Theoretical and Applied Ethics
Within the domains of morality, is there a distinction that can be properly drawn by using the conce... more |