ID: 4153
Open
Artikel ID: #4243 is op jouw verlanglijst gezet.
Beschrijving
Vlieg er eens in: Goniometrie en Vektor; docentenboekje
Specificaties
- Auteur
- T. Konings; H. Krabbendam
- Uitgever
- APS
- Jaar
- 1997
- Druk
- 1
- Aantal pagina's
- 74
- Taal
- Nederlands
- Doos
- B19
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Qualitative Theory of Differential Equations
I. Existence and Continuity TheoremsII. Integral Curves of a System of Two Differential EquationsIII. Systems of n Differential Equations (the Asymptotic Behaviour of Solutions)IV. A Study of Neighborhoods of Singular Points and of Periodic Solutions of Systems of n Differential EquationsV. General Theory of Dynamical SystemsVI. Systems with an Integral Invariant
€2,00
Operating Systems Concepts
Clear presentation of fundamental operating systems concepts and algorithms
€4,00
Normalization; Cut-Elimination and the Theory of Proofs
Introduction1 Background2 Comparing NJ with LJ3 Natural Deduction Revisited4 The Problem of Substitution5 A Multiple-Conclusion Calculus6 Reduction Procedures7 Correspondence Results8 Interpretations of DerivationsAppendicesA. A Strong Cut-Elimination Theorem for LJB. A Formulation of the Classical Sequent CalculusC. Proofs and Categories
€2,00