Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(14)
Kaufmann, A. (Arnold), 1911-1994.
(3)
SpringerLink (Online service)
(3)
Taha, Hamdy A.
(3)
Attaway, Stormy.
(2)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(71)
Programming (Mathematics)
(30)
MATHEMATICS -- Linear & Nonlinear Programming.
(15)
Mathematical optimization.
(12)
Dynamic programming.
(11)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
98 Results Found Subscribe to search results
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Robot manipulators : mathematics, programming and control
      1. 
      Robot manipulators : mathematics, programming and control
      by 
      Paul, Richard P.
      Format: 
      Excerpt: 
      Robot manipulators : mathematics, programming and control / Paul, Richard P.
      Cover image for Some vistas of modern mathematics : dynamic programming, invariant imbedding, and the mathematical biosciences
      2. 
      Some vistas of modern mathematics : dynamic programming, invariant imbedding, and the mathematical biosciences
      by 
      Bellman, Richard, 1920-1984, author.
      Click to View
      Format: 
      Excerpt: 
      Some vistas of modern mathematics : dynamic programming, invariant imbedding, and the mathematical
      Cover image for Mathematics for computer graphics and game programming : a self-teaching introduction
      3. 
      Mathematics for computer graphics and game programming : a self-teaching introduction
      by 
      Kothari, D. P., author.
      Click to View
      Format: 
      Excerpt: 
      Mathematics for computer graphics and game programming : a self-teaching introduction / Kothari, D
      Cover image for Mathematical programming : theory and methods
      4. 
      Mathematical programming : theory and methods
      by 
      Sinha, S. M.
      ScienceDirect http://www.sciencedirect.com/science/book/9788131203767
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for BigNum math : implementing cryptographic multiple precision arithmetic
      5. 
      BigNum math : implementing cryptographic multiple precision arithmetic
      by 
      St. Denis, Tom.
      ScienceDirect https://www.sciencedirect.com/science/book/9781597491129
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Mathematical programming proceedings of an Advanced Seminar.
      6. 
      Mathematical programming proceedings of an Advanced Seminar.
      by 
      Advanced Seminar on Mathematical Programming (1972 : Madison, Wis.)
      ScienceDirect https://www.sciencedirect.com/science/book/9780123583505
      Format: 
      Excerpt: 
      Programming (Mathematics) -- Congresses.
      Cover image for Matematik programlama ve işletme uygulamaları
      7. 
      Matematik programlama ve işletme uygulamaları
      by 
      Tulunay, Yılmaz
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Mathematical programming for management and business
      8. 
      Mathematical programming for management and business
      by 
      Hayhurst, George
      Format: 
      Excerpt: 
      Programming(Mathematics).
      Cover image for Yöneylem araştırması: doğrusal olmayan modeller.
      9. 
      Yöneylem araştırması: doğrusal olmayan modeller.
      by 
      Kara, İmdat
      Format: 
      Excerpt: 
      Programming(Mathematics).
      Cover image for Mathematical programming solver based on local search
      10. 
      Mathematical programming solver based on local search
      by 
      Gardi, Frédéric, author.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Model building in mathematical programming
      11. 
      Model building in mathematical programming
      by 
      Williams, H. P.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Mathematical programming theory and methods
      12. 
      Mathematical programming theory and methods
      by 
      Sinha, S. M.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for BigNum math implementing cryptographic multiple precision arithmetic
      13. 
      BigNum math implementing cryptographic multiple precision arithmetic
      by 
      St. Denis, Tom.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Mathematical programming and game theory for decision making
      14. 
      Mathematical programming and game theory for decision making
      by 
      Neogy, S. K.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Foundations of bilevel programming
      15. 
      Foundations of bilevel programming
      by 
      Dempe, Stephan.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Optimum design of digital control systems
      16. 
      Optimum design of digital control systems
      by 
      Tou, Julius T., 1926-
      ScienceDirect http://www.sciencedirect.com/science/book/9780126962505
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Yöneylem araştırması 6. ulusal kongresi, Hacettepe Üniversitesi Ankara, 25-27 Haziran 1980.
      17. 
      Yöneylem araştırması 6. ulusal kongresi, Hacettepe Üniversitesi Ankara, 25-27 Haziran 1980.
      by 
      Yöneylem Araştırması Ulusal Kongresi (6. : 1980 : Ankara)
      Format: 
      Excerpt: 
      Programming(Mathematics) -- Congresses.
      Cover image for Concepts of combinatorial optimization
      18. 
      Concepts of combinatorial optimization
      by 
      Paschos, Vangelis Th, editor.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Flow networks analysis and optimization of repairable flow networks, networks with disturbed flows, static flow networks and reliability networks
      19. 
      Cover image for Fundamentals of object tracking
      20. 
      Fundamentals of object tracking
      by 
      Challa, Sudha, 1953-
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Basic mathematics for economics, business, and finance
      21. 
      Basic mathematics for economics, business, and finance
      by 
      Ummer, E. K.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Dynamic programming foundations and principles
      22. 
      Dynamic programming foundations and principles
      by 
      Sniedovich, Moshe, 1945-
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Selected papers of Alan Hoffman with commentary
      23. 
      Selected papers of Alan Hoffman with commentary
      by 
      Hoffman, A. J. (Alan Jerome), 1924-
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Paradigms of combinatorial optimization : problems and new approaches
      24. 
      Paradigms of combinatorial optimization : problems and new approaches
      by 
      Paschos, Vangelis Th, editor.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Approximate dynamic programming solving the curses of dimensionality
      25. 
      Approximate dynamic programming solving the curses of dimensionality
      by 
      Powell, Warren B., 1955-
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Advanced mathematical economics
      26. 
      Advanced mathematical economics
      by 
      Vohra, Rakesh V.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Multiple criteria optimization : theory, computation, and application
      27. 
      Multiple criteria optimization : theory, computation, and application
      by 
      Steuer, Ralph E.
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Operations research : an introduction
      28. 
      Operations research : an introduction
      by 
      Taha, Hamdy A.
      Format: 
      Excerpt: 
      Programming (mathematics).
      Cover image for Operations research : an introduction
      29. 
      Operations research : an introduction
      by 
      Taha, Hamdy A..
      Format: 
      Excerpt: 
      Programming (mathematics).
      Cover image for Optimization theory for large systems
      30. 
      Optimization theory for large systems
      by 
      Lasdon, Leon S.
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Yöneylem araştırması
      31. 
      Yöneylem araştırması
      by 
      Taha, Hamdy A.
      Format: 
      Excerpt: 
      Programming (mathematics).
      Cover image for Practical mathematical optimization
      32. 
      Practical mathematical optimization
      by 
      Snyman, Jan A.
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Operations research : an introduction
      33. 
      Operations research : an introduction
      by 
      Taha, Hamdy A.
      Format: 
      Excerpt: 
      Programming (mathematics).
      Cover image for Introduction to optimization theory
      34. 
      Introduction to optimization theory
      by 
      Gottfried, Byron S., 1934-
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Optimizasyon yöntemleri ve matlab uygulamaları
      35. 
      Optimizasyon yöntemleri ve matlab uygulamaları
      by 
      Karaboğa, Nurhan, yazar.
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Resource allocation problems in supply chains
      36. 
      Resource allocation problems in supply chains
      by 
      Ganesh, K., author.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Self-regularity a new paradigm for primal-dual interior-point algorithms
      37. 
      Self-regularity a new paradigm for primal-dual interior-point algorithms
      by 
      Peng, Jiming.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Dynamic programming : sequential scientific management
      38. 
      Dynamic programming : sequential scientific management
      by 
      Kaufmann, A. (Arnold), 1911-1994.
      ScienceDirect http://www.sciencedirect.com/science/book/9780124023505
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=37
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for The sharpest cut : the impact of Manfred Padberg and his work
      39. 
      The sharpest cut : the impact of Manfred Padberg and his work
      by 
      Padberg, M. W.
      Format: 
      Excerpt: 
      Programming (Mathematics) -- Congresses.
      Cover image for Location, scheduling, design and integer programming
      40. 
      Location, scheduling, design and integer programming
      by 
      Padberg, Manfred
      Format: 
      Excerpt: 
      Programming (mathematics).
      Cover image for Optimization modeling with spreadsheets
      41. 
      Optimization modeling with spreadsheets
      by 
      Baker, Kenneth R., 1943- author.
      Click to View
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for Mathematical programming with business applications
      42. 
      Mathematical programming with business applications
      by 
      Kwak, N.K.
      Format: 
      Excerpt: 
      Programming (Mathematics).
      Cover image for Introduction to sensitivity and stability analysis in nonlinear programming
      43. 
      Cover image for Stochastic optimal control : the discrete time case
      44. 
      Stochastic optimal control : the discrete time case
      by 
      Bertsekas, Dimitri P.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120932603
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=139
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for The art and theory of dynamic programming
      45. 
      The art and theory of dynamic programming
      by 
      Dreyfus, Stuart E.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122218606
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=130
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Nonserial dynamic programming
      46. 
      Nonserial dynamic programming
      by 
      Bertelè, Umberto.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120934508
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=91
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Optimization techniques in statistics
      47. 
      Optimization techniques in statistics
      by 
      Rustagi, Jagdish S.
      ScienceDirect http://www.sciencedirect.com/science/book/9780126045550
      Format: 
      Excerpt: 
      Programming (Mathematics)
      Cover image for An introduction to programming with specifications : a mathematical approach
      48. 
      Cover image for Multiobjective programming and planning
      49. 
      Cover image for Studies in integer programming
      50. 
      Studies in integer programming
      by 
      Workshop on Integer Programming (1975 : Bonn, Germany)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720407655
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=1
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Integer and mixed programming : theory and applications
      51. 
      Cover image for Dynamic programming and stochastic control
      52. 
      Cover image for Computational methods in optimization : a unified approach
      53. 
      Computational methods in optimization : a unified approach
      by 
      Polak, E. (Elijah), 1931-
      ScienceDirect http://www.sciencedirect.com/science/book/9780125593502
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00765392&volume=77
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Algorithms, graphs and computers
      54. 
      Cover image for Network flow, transportation, and scheduling : theory and algorithms
      55. 
      Cover image for Dynamic programming and the calculus of variations
      56. 
      Cover image for Integer programming
      57. 
      Integer programming
      by 
      Greenberg, Harold, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122994500
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00765392/76
      Format: 
      Excerpt: 
      MATHEMATICS -- Linear & Nonlinear Programming.
      Cover image for Studies on graphs and discrete programming
      58. 
      Cover image for Graphs, dynamic programming, and finite games
      59. 
      Cover image for Fixed points : algorithms and applications
      60. 
      Fixed points : algorithms and applications
      by 
      International Conference on Computing Fixed Points with Applications (1st : 1974 : Clemson University)
      ScienceDirect https://www.sciencedirect.com/science/book/9780123980502
      Format: 
      Excerpt: 
      Programming (Mathematics) -- Congresses.
      Cover image for Applications of stochastic programming
      61. 
      Applications of stochastic programming
      by 
      Wallace, Stein W., 1956-, editor
      Format: 
      Excerpt: 
      Society for Industrial and Applied Mathematics ; Mathematical Programming Society,
      Cover image for Lectures on modern convex optimization : analysis, algorithms, and engineering applications
      62. 
      Lectures on modern convex optimization : analysis, algorithms, and engineering applications
      by 
      Ben-Tal, A.
      Format: 
      Excerpt: 
      Society for Industrial and Applied Mathematics : Mathematical Programming Society,
      Cover image for Integer programming
      63. 
      Integer programming
      by 
      Walukiewicz, Stanislaw
      Format: 
      Cover image for Discrete computational structures
      64. 
      Cover image for Fundamental math and physics for scientists and engineers
      65. 
      Fundamental math and physics for scientists and engineers
      by 
      Yevick, David, author.
      Click to View
      Format: 
      Excerpt: 
      Problem solving -- Scientific programming -- Elementary mathematics -- Vectors and matrices
      Cover image for Introduction to derivative-free optimization
      66. 
      Introduction to derivative-free optimization
      by 
      Conn, A. R. (Andrew R.)
      Format: 
      Excerpt: 
      Society for Industrial and Applied Mathematics/Mathematical Programming Society,
      Cover image for Digital computers in action
      67. 
      Digital computers in action
      by 
      Booth, Andrew D. (Andrew Donald), 1918-2009.
      ScienceDirect http://www.sciencedirect.com/science/book/9780082016083
      Format: 
      Excerpt: 
      programming and various applications in fields such as mathematics, science, engineering, economics, medicine
      Cover image for The optimal design of chemical reactors : a study in dynamic programming
      68. 
      Cover image for Educational Robotics in the Makers Era
      69. 
      Educational Robotics in the Makers Era
      by 
      Alimisis, Dimitris. editor.
      http://dx.doi.org/10.1007/978-3-319-55553-9
      Format: 
      Excerpt: 
      , didactical models, assessment methods, theater robotics, programming & making electronics with Snap4Arduino
      Cover image for Control systems functions and programming approaches. Volume A, Theory
      70. 
      Control systems functions and programming approaches. Volume A, Theory
      by 
      Chorafas, Dimitris N.
      ScienceDirect https://www.sciencedirect.com/science/book/9780121740610
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00765392/27/part/PA
      Format: 
      Excerpt: 
      . Numerical, logical and stochastic processes -- pt. IV. Mathematics for systems control -- pt. V. Programming
      Cover image for Computer programming and formal systems
      71. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul), editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35
      Format: 
      Excerpt: 
      equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of
      Cover image for Computer programming and formal systems
      72. 
      Computer programming and formal systems
      by 
      Braffort, P. (Paul)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533913
      Format: 
      Excerpt: 
      equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of
      Cover image for Mechanism design a linear programming approach
      73. 
      Mechanism design a linear programming approach
      by 
      Vohra, Rakesh V.
      Click to View
      Format: 
      Excerpt: 
      privately held. This analysis provides an account of the underlying mathematics of mechanism design based on
      Cover image for FERMAT Days 85 : mathematics for optimization
      74. 
      FERMAT Days 85 : mathematics for optimization
      by 
      FERMAT Days 85 (Toulouse, France)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444701213
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=129
      Format: 
      Excerpt: 
      Front Cover; FERMAT Days 85: Mathematics for Optimization; Copyright Page; Preface; Contents
      Cover image for MATLAB a practical introduction to programming and problem solving
      75. 
      MATLAB a practical introduction to programming and problem solving
      by 
      Attaway, Stormy.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123850812
      Format: 
      Excerpt: 
      Algebraic Equations; Basic Statistics, Sets, Sorting and Indexing; Sight and Sounds; Advanced Mathematics.
      Cover image for MATLAB : a practical introduction to programming and problem solving
      76. 
      MATLAB : a practical introduction to programming and problem solving
      by 
      Attaway, Stormy.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123850812
      Format: 
      Excerpt: 
      Algebraic Equations; Basic Statistics, Sets, Sorting and Indexing; Sight and Sounds; Advanced Mathematics.
      Cover image for Signal processing for neuroscientists : introduction to the analysis of physiological signals
      77. 
      Signal processing for neuroscientists : introduction to the analysis of physiological signals
      by 
      Drongelen, Wim van.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123708670
      Format: 
      Excerpt: 
      algorithms. Overall, the approach to the mathematics is informal with a focus on basic understanding of the
      Cover image for Instrumentation and control systems
      78. 
      Instrumentation and control systems
      by 
      Bolton, W. (William), 1933-
      ScienceDirect http://www.sciencedirect.com/science/book/9780750664325
      Format: 
      Excerpt: 
      , maintenance and testing. An introduction to PLCs and ladder programming is incorporated in the text, as well
      Cover image for Constraint processing
      79. 
      Constraint processing
      by 
      Dechter, Rina, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9781558608900
      Format: 
      Excerpt: 
      artificial intelligence, databases and programming languages, operations research, management science, and
      Cover image for Computer animation : algorithms and techniques
      80. 
      Computer animation : algorithms and techniques
      by 
      Parent, Rick.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558605794
      Format: 
      Excerpt: 
      necessary concepts from mathematics and physics. * Illustrates advanced programming techniques with highly
      Cover image for Handbook of proof theory
      81. 
      Handbook of proof theory
      by 
      Buss, Samuel R.
      to access electronic resource via ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898401
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=137
      Format: 
      Excerpt: 
      Logic Programming (G. Jäger, R.F. Stärk)). Chapter X. Types in Logic, Mathematics and Programming (R
      Cover image for Logic-based decision support : mixed integer model formulation
      82. 
      Cover image for Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      83. 
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      by 
      International FCT-Conference (1983 : Borgholm, Sweden)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102
      Format: 
      Excerpt: 
      into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2
      Cover image for Optimization over Nonnegative and Convex Polynomials with and without Semidefinite Programming
      84. 
      Optimization over Nonnegative and Convex Polynomials with and without Semidefinite Programming
      by 
      Hall, Georgina, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824784
      Format: 
      Excerpt: 
      computational mathematics, with applications to polynomial optimization, control, machine learning, game theory
      Cover image for Markov Chains Models, Algorithms and Applications
      85. 
      Markov Chains Models, Algorithms and Applications
      by 
      Ching, Wai-Ki. author.
      http://dx.doi.org/10.1007/978-1-4614-6312-2
      Format: 
      Excerpt: 
      programming are presented. Applications to demand predictions, inventory control policy and modeling credit
      Cover image for Mathematica navigator : mathematics, statistics, and graphics
      86. 
      Mathematica navigator : mathematics, statistics, and graphics
      by 
      Ruskeepää, Heikki.
      ScienceDirect https://www.sciencedirect.com/science/book/9780123741646
      Format: 
      Excerpt: 
      computation software from Wolfram. The book emphasizes graphics, methods of applied mathematics and statistics
      Cover image for Geometric tools for computer graphics
      87. 
      Geometric tools for computer graphics
      by 
      Schneider, Philip J., 1959-
      ScienceDirect http://www.sciencedirect.com/science/book/9781558605947
      Format: 
      Excerpt: 
      -to-understand pseudocode. You also get the mathematics and geometry background needed to make optimal use of the solutions
      Cover image for Mathematics mechanization and applications
      88. 
      Mathematics mechanization and applications
      by 
      Gao, Xiao-Shan.
      ScienceDirect http://www.sciencedirect.com/science/book/9780127347608
      Format: 
      Excerpt: 
      computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant
      Cover image for Theories of computational complexity
      89. 
      Cover image for A new approach to scientific computation
      90. 
      A new approach to scientific computation
      by 
      Symposium on a New Approach to Scientific Computation (1982 : IBM Thomas J. Watson Research Center)
      ScienceDirect http://www.sciencedirect.com/science/book/9780124286603
      Format: 
      Excerpt: 
      ARITHMETIC AND PROGRAMMING LANGUAGES; 6. REALIZATION AND APPLICATIONS; REFERENCES; CHAPTER 2. COMPUTER
      Cover image for Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
      91. 
      Cover image for Introduction to dynamic programming
      92. 
      Cover image for A history of computing in the twentieth century : a collection of essays
      93. 
      A history of computing in the twentieth century : a collection of essays
      by 
      International Research Conference on the History of Computing (1976 : Los Alamos Scientific Laboratory)
      ScienceDirect http://www.sciencedirect.com/science/book/9780124916500
      Format: 
      Excerpt: 
      recollections / Henry S. Tropp -- Part III. The languages -- Programming in America in the 1950s: some personal
      Cover image for Advances in computers Volume 10
      94. 
      Advances in computers Volume 10
      by 
      Alt, Franz, 1938-
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121106
      Format: 
      Excerpt: 
      Revolution; 2. Technological and Scientific Programming Languages; 3. Mathematical Models Related to
      Cover image for Exploring the Effects of a STEM Integrated Program Experience on Girl Scouts' Pro-Environmental Intentions
      95. 
      Cover image for Recent Trends in Social Systems: Quantitative Theories and Quantitative Models
      96. 
      Recent Trends in Social Systems: Quantitative Theories and Quantitative Models
      by 
      Maturo, Antonio. editor.
      http://dx.doi.org/10.1007/978-3-319-40585-8
      Format: 
      Excerpt: 
      -- Social Sustainability in Urban Regeneration: Indicators and Evaluation Methods in the EU 2020 Programming
      Cover image for Problem solving : methods, programming, and future concepts
      97. 
      Problem solving : methods, programming, and future concepts
      by 
      German, O. V. (Oleg Vitolʹdovich)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444822260
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09243542/12
      Format: 
      Excerpt: 
      CONCEPTS IN PROBLEM SOLVING -- 5.1. Programming or theorem proving? -- 5.2 Universal algorithm paradigm
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      98. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard