在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
computation programming » communication programming, computation programmatic, computing programming
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
computation programming » communication programming, computation programmatic, computing programming
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
reasoning basic » reasoning based, reasoning case, reasoning ais
1
出版 2005
书本目录:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”获取全文
电子
电子书
2
出版 2010
书本目录:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”获取全文
电子
电子书
3
出版 2006
书本目录:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”获取全文
电子
电子书
4
出版 2006
书本目录:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”获取全文
电子
电子书
5
6
出版 2008
书本目录:
“... Semantics -- SESA Services -- Reasoning -- Discovery -- Selection -- Mediation -- Storage and Internal...”获取全文
电子
电子书
7
书本目录:
“...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
获取全文
获取全文
电子
电子书
8
出版 2007
书本目录:
“... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”获取全文
电子
电子书
9
出版 2005
书本目录:
“... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”获取全文
电子
电子书
10
由 El-Harbawi, Mohanad M-A.
出版 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”出版 2006
获取全文
Thesis
11
由 El-Harbawi, Mohanad M-A.
出版 2006
“.... The applications of these models require competency in mathematics and computer programming. Therefore...”出版 2006
获取全文
Thesis