Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program development » product development
m program » 2 program, 1 program, 3 program
https » http
program development » product development
m program » 2 program, 1 program, 3 program
https » http
1
Published 2013
Table of Contents:
“... of the Automorphism Group of the Rado Graph (P. Cameron, C. Laflamme, M. Pouzet, S. Tarzi, R. Woodrow) -- On a...”View full text
Electronic
eBook
2
Table of Contents:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... in Quadratic Programming -- Continuity of the Optimal Value Function in Quadratic Programming -- Directional...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
11
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... of harmonic Maass forms (K. Bringmann and K. Ono) -- 4. On the growth of restricted partition functions (E. R...”View full text
Electronic
eBook
13
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
15
Published 2011
Table of Contents:
“... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...”View full text
Electronic
eBook
16
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
18
Subjects:
“...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...”View full text
Electronic
eBook