1
出版 2005
書本目錄: ... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
獲取全文
電子 電子書
4
Lee, Kent D., Lee, Kent D.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
獲取全文
電子 電子書
6
Barker, Philip., Barker, Philip.
出版 2007
主題: ...Computer programming....
獲取全文
電子 電子書
7
出版 2007
書本目錄: ... i* Models: Experiences with a Complex Airport Operations System -- Structuring the Co-design...
獲取全文
電子 電子書
8
出版 2012
書本目錄: ...Preface -- Blowings-up of Vector Fields (F. Cano) -- Basics of o-Minimality and Hardy Fields (C...
獲取全文
電子 電子書
9
書本目錄: ...Introduction -- Installing and Updating R -- Running R -- Help and Documentation -- Programming...
獲取全文
電子 電子書
10
Spear, Chris., Spear, Chris.
出版 2008
書本目錄: ... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...
獲取全文
電子 電子書
11
書本目錄: ...Introduction -- Basic Arrangements -- Queries and Free Functions -- Arrangements of Unbounded...
獲取全文
電子 電子書
12
書本目錄: ... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...
獲取全文
電子 電子書
13
出版 2007
書本目錄: ... Function as Cardiac Lactic Acid Sensors During Myocardial Ischemia -- Molecular Components of Neural...
獲取全文
電子 電子書