ID: 2266
Open
Artikel ID: #2266 is op jouw verlanglijst gezet.
Beschrijving
AMPL - A Modeling Language for Mathematical Programming
Robert Fourer, David M. Gay, Brian W. Kernighan
1. Production Models: Maximizing Profits
2. Diets, Blending and Scheduling: Minimizing Costs
3. Transportation, Assignment and Minimum-Cost Flows
4. Building Larger Models
5. Simple Sets and Indexing
6. Compound Sets and Indexing
7. Parameters and Expressions
8. Linear Programs: Variables, Objectives and Constraints
9. Specifying Data
10. Command Environment
11. Network Linear Programs
12. Columnwise Formulations
13. Nonlinear Programs
14. Piecewise-Linear Programs
15. Integer Linear Programs
Appendix A. APML Reference Manual
Robert Fourer, David M. Gay, Brian W. Kernighan
1. Production Models: Maximizing Profits
2. Diets, Blending and Scheduling: Minimizing Costs
3. Transportation, Assignment and Minimum-Cost Flows
4. Building Larger Models
5. Simple Sets and Indexing
6. Compound Sets and Indexing
7. Parameters and Expressions
8. Linear Programs: Variables, Objectives and Constraints
9. Specifying Data
10. Command Environment
11. Network Linear Programs
12. Columnwise Formulations
13. Nonlinear Programs
14. Piecewise-Linear Programs
15. Integer Linear Programs
Appendix A. APML Reference Manual
Specificaties
- Auteur
- Robert Fourer, David M. Gay, Brian W. Kernighan
- Uitgever
- Boyd & Fraser
- Jaar
- 1993
- Druk
- -
- Aantal pagina's
- 351
- Taal
- Engels
- Doos
- B26
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Statistiek voor het v.h.m.o.
Statistiek voor het v.h.m.o.Dr. L.N.H. BuntI. Inleiding
II. Enkele begrippen uit de beschrijvende statistiek
III. Permutaties en combinaties
IV. Inleiding tot de kansrekening
V. Het beoordelen van een populatie op grond van een steekproef
VI. De normale benadering van kansen
Algemene herhaling
€2,00
Vraagstukken over Analyse en Algebra 1
Vraagstukken over Analyse en Algebra 1W.J.H. Salet e.a.I. Inleiding
II. Complexe getallen
III. Limieten van rijen
IV. Limieten van functies; continuïteit
V. Differentiëren met toepassingen
VI. Integreren
VII. Meetkundige toepassingen van de differentiaal- en integraalrekening
VIII. Reeksen
IX. Differentiaalvergelijkingen
Antwoorden
€2,00
Normalization, Cut-Elimination and the Theory of Proofs
Normalization, Cut-Elimination and the Theory of ProofsA.M. UngarIntroduction
1 Background
2 Comparing NJ with LJ
3 Natural Deduction Revisited
4 The Problem of Substitution
5 A Multiple-Conclusion Calculus
6 Reduction Procedures
7 Correspondence Results
8 Interpretations of Derivations
Appendices
A. A Strong Cut-Elimination Theorem for LJ
B. A Formulation of the Classical Sequent Calculus
C. Proofs and Categories
€2,00
Pythagoras - Jaargang 42
Pythagoras - Jaargang 42Wiskundetijdschrift voor jongeren
De volledige jaargang 42, 2002-2003
€1,00