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