搜索替代词:
mathematical basics » mathematical basis, mathematical physics, mathematical topics
programs » program
1
出版 2006
书本目录: ... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...
获取全文
电子 电子书
2
Li, Wei., Li, Wei.
出版 2014
书本目录: ...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...
获取全文
电子 电子书
3
出版 2005
书本目录: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
获取全文
电子 电子书
4
出版 2007
书本目录: ...? -- Properties Complementary to Program Self-reference -- Algorithms I -- Dobrushin Conditions for Systematic...
获取全文
电子 电子书
5
Teh, Christopher Boon Sung.
出版 2015
... VBA (Visual Basic for Applications) programming language and yet allows agriculturists to build simple...
获取全文
图书
6
Chambers, John., Chambers, John.
出版 2008
书本目录: ...Introduction: Principles and Concepts -- Using R -- Programming with R: The Basics -- R Packages...
获取全文
电子 电子书
7
Raynal, Michel., Raynal, Michel.
出版 2013
主题: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
获取全文
电子 电子书
8
出版 2007
书本目录: ... Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here...
获取全文
电子 电子书
9
书本目录: ...1 Basic Terminology -- 2 Matchings and 1-Factors -- 3 Regular Factors and f-Factors -- 4 (g, f...
获取全文
电子 电子书
10
书本目录: ... -- Perturbation and Variational Methods -- Introduction -- The Basic Ideas of the Perturbation Analysis...
获取全文
电子 电子书
11
书本目录: ...Basic R Programming -- Random Variable Generation -- Monte Carlo Integration -- Controlling...
获取全文
电子 电子书
12
书本目录: ...Fundamentals of Functional Analysis -- Convex Functions -- Convex Programming -- Convex Control...
获取全文
电子 电子书
13
Erickson, Martin J., 1963-.
出版 2013
书本目录: ...Machine generated contents note: Preface xi1 Basic Counting Methods 11.1 The multiplication...
Cover image
图书
14
书本目录: ... Properties -- Appendix E: Fluid Property Data -- Appendix F: Basic Equations....
获取全文
电子 电子书
15
出版 2015
书本目录: ... -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications....
获取全文
电子 电子书
16
书本目录: ... -- Measuring Poverty -- Estimating Poverty Lines -- Measuring Progressivity and Vertical Equity -- Horizontal...
获取全文
电子 电子书
17
出版 2006
书本目录: ... of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs -- Object-Oriented Specification...
获取全文
电子 电子书
18
出版 2005
书本目录: ... Platform and Open Source Environments -- Progress on Crossing Number Problems -- Full Contributed Papers...
获取全文
电子 电子书
19
出版 2010
书本目录: ... Software -- Parallel Cellular Programming for Emergent Computation....
获取全文
电子 电子书
20
书本目录: ... Criteria Quadratic Programming.-A General Multiple Mathematical Programming -- Multi-criteria Convex...
获取全文
电子 电子书