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