Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN：1615207299
MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN：9780470823071
INTRODUCTION TO NETWORK SECURITY THEORY AND PRACTICE=网络安全导论理论与实践（英文版）
JIE WANG2015 年出版417 页ISBN：7040421941
网络安全的理论与实践主要有两个大的方面。一是以计算机密码学为根基而建立起来的各种网络安全协议、相应的工业化标准及其软件的开发和芯片的研制，以算法设计为主导；二是为弥补系统和软件漏洞而发展出来的方...
Lecture Notes in Computer Science 3796 Cryptography and Coding 10th IMA International Conference
2005 年出版460 页ISBN：354030276X
