Suggested Topics within your search.
Showing 1 - 20 results of 21 for search '"Constructive mathematics"' Refine Results
  1. 1
    Differential and integral : a constructive introduction to classical analysis / (by) Paul Lorenzen ; translated (from the German) by John Bacon.
    by Lorenzen, Paul
    Published 1971
    Subjects: '; “...Constructive mathematics...”
    Book
    Save to List
    Saved in:
  2. 2
    From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster.
    Published 2005
    Subjects: '; “...Constructive mathematics Congresses...”
    Book
    Save to List
    Saved in:
  3. 3
    Zufalligkeit und Wahrscheinlichkeit eine algorithmische Begrundung der Wahrscheinlichkeitstheorie / Claus Peter Schnoor.
    Subjects: '; “...Constructive mathematics....”
    Get full text
    eBook
    Save to List
    Saved in:
  4. 4
    Predicative arithmetic / by Edward Nelson.
    by Nelson, Edward, 1932-
    Published 1986
    Subjects: '; “...Constructive mathematics...”
    Book
    Save to List
    Saved in:
  5. 5
    Constructive mathematics proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.
    Published 1981
    Subjects: '; “...Constructive mathematics Congresses....”
    Get full text
    eBook
    Save to List
    Saved in:
  6. 6
    Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek.
    by Krajicek, Jan
    Published 1995
    Subjects: '; “...Constructive mathematics....”
    Book
    Save to List
    Saved in:
  7. 7
    Handbook of algorithms for wireless networking and mobile computing / edited by Azzedine Boukerche.
    Published 2006
    Subjects: '; “...Wireless communication systems Design and construction Mathematics...”
    Book
    Save to List
    Saved in:
  8. 8
    Partial interaction analysis of composite beams : a direct stiffness approach / Gianluca Ranzi.
    by Ranzi, Gianluca, 1972-
    Published 2009
    Subjects: '; “...Composite construction Mathematical models....”
    Book
    Save to List
    Saved in:
  9. 9
    A comparative study of cyclic constitutive models for concrete : Hysteretic characteristics of concrete monotonic and cyclic loading nonlinear finite element analysis / Farhad Aslani.
    by Aslani, Farhad
    Published 2012
    Subjects: '; “...Reinforced concrete construction Mathematical models....”
    Book
    Save to List
    Saved in:
  10. 10
    Stressed composite structures : homogenized models for thin-walled nonhomogeneous structures with initial stresses.
    by Kolpakov, A. G.
    Published 2004
    Subjects: '; “...Composite construction Mathematical models...”
    Book
    Save to List
    Saved in:
  11. 11
    Mathematical methods of airfoil design : inverse boundary-value problems of aerohydrodynamics / A.M. Elizarov, N.B. Il'inskiy, A.V. Potashev.
    by Elizarov, A. M.
    Published 1997
    Subjects: '; “...Aerofoils Design and construction Mathematical models...”
    Book
    Save to List
    Saved in:
  12. 12
    Automotive mathematics / Jason C. Rouvel.
    by Rouvel, Jason C.
    Published 2006
    Subjects: '; “...Automobiles Design and construction Mathematics...”
    Book
    Save to List
    Saved in:
  13. 13
    Principles of adaptive filters and self-learning systems / A. Zaknich.
    by Zaknich, Anthony
    Published 2005
    Subjects: '; “...Adaptive filters Design and construction Mathematics...”
    Book
    Save to List
    Saved in:
  14. 14
    Hypersonic aerothermodynamics / John J. Bertin.
    by Bertin, John J
    Published 1994
    Subjects: '; “...Hypersonic planes Design and construction Mathematical models...”
    Book
    Save to List
    Saved in:
  15. 15
    RC elements under cyclic loading state of the art report.
    Published 1996
    Subjects: '; “...Reinforced concrete construction Mathematical models....”
    Get full text
    eBook
    Save to List
    Saved in:
  16. 16
    RC elements under cyclic loading state of the art report.
    Published 1996
    Subjects: '; “...Reinforced concrete construction Mathematical models....”
    Get full text
    eBook
    Save to List
    Saved in:
  17. 17
    Failures in concrete structures case studies in reinforced and prestressed concrete / Robin Whittle.
    by Whittle, Robin
    Published 2013
    Subjects: '; “...Concrete construction Mathematical models....”
    Get full text
    eBook
    Save to List
    Saved in:
  18. 18
    Toward consistent design evaluation of nuclear power piping by nonlinear finite element analysis Lingfu Zeng, Lennart Jansson and Nils-Erik Wiberg.
    Subjects: '; “...Nuclear power plants Piping Design and construction Mathematics....”
    Get full text
    eBook
    Save to List
    Saved in:
  19. 19
    Formal methods in computer-aided design proceedings of : 12-16 November, 2006, San Jose, California, USA / [sponsored by FMCAD Inc., IEEE Council on Electronic Design Automatiion (CECA)].
    Published 2006
    Subjects: '; “...Digital integrated circuits Design and construction Mathematics Congresses....”
    Get full text
    eBook
    Save to List
    Saved in:
  20. 20
    Formal methods in computer-aided design FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas, USA / [Jason Baumgartner, Mary Sheeran, chairs ; sponsored by FMCAD Inc., IEEE Council on Electronic Design Automation (CEDA)].
    Published 2007
    Subjects: '; “...Digital integrated circuits Design and construction Mathematics Congresses....”
    Get full text
    eBook
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search