熱門搜尋
您輸入的關鍵字: Sangiorgi
搜尋結果共 13 筆, 頁數 1 / 1
呈現:
Service design is the activity of planning and organizing people, infrastructure, communication and ... more
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... more
Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning... more
Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. ... more
Mobile systems, whose components communicate and change their structure, now pervade the information... more
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2... more
Carotid Atherosclerotic Disease: Pathologic Basis for Treatment reviews the natural history of carot... more