1
出版 2005
書本目錄: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
獲取全文
電子 電子書
4
書本目錄: ...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...
獲取全文
電子 電子書
5
出版 2007
書本目錄: ... Computational Model of the Equivalence Class Formation Psychological Phenomenon -- Data Security Analysis Using...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
獲取全文
電子 電子書
7
出版 2015
書本目錄: ... Structure of Law. A Conceptual Toolkit For Legislators; Jaap Hage -- 2 Conflict of Legal Norms: Definition...
獲取全文
電子 電子書
8
Wright, H.G., Wright, H.G.
出版 2007
書本目錄: ...Cognitive Semantic Structures in Informal Means/Ends Reasoning -- Health and Disease: Fluid...
獲取全文
電子 電子書
9
出版 2013
書本目錄: ... learning progression about structure and motion of matter -- MARIANNE WISER, KATHRYN E. FRAZIER...
獲取全文
電子 電子書