Search Results for Programming (Mathematics)

Mathematical programming proceedings of an Advanced Seminar.

Advanced Seminar on Mathematical Programming (1972 : Madison, Wis.)

ScienceDirect https://www.sciencedirect.com/science/book/9780123583505

Format:

Alıntı:

Programming (Mathematics) -- Congresses.

Studies in integer programming

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:

Alıntı:

MATHEMATICS -- Linear & Nonlinear Programming.

Studies on graphs and discrete programming

Hansen, P. (Pierre)

Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus.
ScienceDirect http://www.sciencedirect.com/science/book/9780444862167
ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=59
ScienceDirect http://www.sciencedirect.com/science/bookseries/03040208/59
ScienceDirect https://www.sciencedirect.com/science/book/9780444862167

Format:

Alıntı:

MATHEMATICS -- Linear & Nonlinear Programming.

Fixed points : algorithms and applications

International Conference on Computing Fixed Points with Applications (1st : 1974 : Clemson University)

ScienceDirect https://www.sciencedirect.com/science/book/9780123980502

Format:

Alıntı:

Programming (Mathematics) -- Congresses.

FERMAT Days 85 : mathematics for optimization

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:

Alıntı:

Front Cover; FERMAT Days 85: Mathematics for Optimization; Copyright Page; Preface; Contents

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

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:

Alıntı:

into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)

Format:

Alıntı:

. Applications of Constructivity; Chapter 10. Constructive Mathematics and Computer Programming; PART 2. MODEL

A history of computing in the twentieth century : a collection of essays

International Research Conference on the History of Computing (1976 : Los Alamos Scientific Laboratory)

ScienceDirect http://www.sciencedirect.com/science/book/9780124916500

Format:

Alıntı:

recollections / Henry S. Tropp -- Part III. The languages -- Programming in America in the 1950s: some personal

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

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:

Alıntı:

MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard

	{displayName}	{count}
{error}