Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN:3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN:3540230130
复杂网络环境下访问控制技术 = ACCESS CONTROL TECHNOLOGY FOR COMPLEX NETWORK ENVIRONMENT
李凤华,熊金波著2015 年出版265 页ISBN:711539475X
本书分为四部分:第一部分介绍复杂网络环境下访问控制和安全问题及访问控制的发展趋势;第二部分提出基于行为的访问控制模型;第三部提出复杂网络环境下结构 化文档权限描述机制、以用户为中心的数据创建机制UCD...
Concepts of pattern grading : techniques for manual and computer grading second edition
Kathy K.Mullet carolyn l.moore margaret prevatt young2009 年出版220 页ISBN:1563676970
An Integrated Approach For The Improvement of Flood Control and Drainage Schemes In The Coastal Belt
Md.Liakath Ali2017 年出版220 页ISBN:1138441453
Computer-Mediated Communication for Linguistics and Literacy:Technology and Natural Language Educati
2010 年出版374 页ISBN:9781605668680
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN:
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN:0131630237
MATHEMATICAL STERUCTURES FOR COMPUTER SCIENCE A Modern Approach to Discrete Mathematics SIXTH EDITIO
2007 年出版807 页ISBN:071676864X