Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
SOLVING LINEAR SYSTEMS ON VECTOR AND SHARED MEMORY COMPUTERS
1991 年出版256 页ISBN：089871270X
TRIBOLOGICAL PROCESSES IN THE VALVE TRAIN SYSTEMS WITH LIGHTWEIGHT VALVES NEW RESEARCH AND MODELING
KRZYSZTOF JAN SICZEK2016 年出版285 页ISBN：9780081009567
复杂网络环境下访问控制技术 ＝ ACCESS CONTROL TECHNOLOGY FOR COMPLEX NETWORK ENVIRONMENT
李凤华，熊金波著2015 年出版265 页ISBN：711539475X
本书分为四部分：第一部分介绍复杂网络环境下访问控制和安全问题及访问控制的发展趋势；第二部分提出基于行为的访问控制模型；第三部提出复杂网络环境下结构 化文档权限描述机制、以用户为中心的数据创建机制UCD...
APPLYING SYSTEMIC-STRUCTURAL ACTIVITY THEORY TO DESIGN OF HUMAN-COMPUTER INTERACTION SYSTEMS
GREGORY A.BEDNY WALDEMAR KARWOWSKI INNA BEDNY2015 年出版416 页ISBN：1482258042
METHODS IN ENZYMOLOGY VOLUME 186 OXYGEN RADICALS BILOLGICAL SYSTEMS PART B
LESTER PACKER ALEXANDER N.GLAZER2222 年出版855 页ISBN：0121820874
