Generalized polynomial programming : extensions and applications /

Applications of generalized nets /
Published: (1993)

Non-convex programming for polynomials /
by: AL-Hussaini, Essam K., et al.
Published: (1972)

Programming and mathematical method /
Published: (1992)

Mathematical Programming System Extended (MPSX) Mixed Integer Programming (MIP) program description /
Published: (1973)

PASCAL programs in science and engineering /
by: Gilder, Jules H., 1947-
Published: (1983)

Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings /
Published: (2010)

Mathematical computer programs ; a compilation /
by: Arnold, Jay, 1940-, et al.

Logic programming, functions, relations, and equations /
by: DeGroot, Doug
Published: (1986)

Mathematical Programming System/360 (360A-CO-14X) version 2, control language user's manual /
Published: (1969)

Elliptic polynomials /
by: Lomont, John S., 1924-, et al.
Published: (2001)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Legendre polynomials and related functions.
by: Adams, Richard McGary
Published: (1951)

Elliptic Polynomials /
by: Lomont, J.S, et al.
Published: (2000)

Polynomial mappings /
by: Narkiewicz, Władysław
Published: (1995)

Chebyshev polynomials /
by: Mason, J. C.
Published: (2003)

Moments, positive polynomials and their applications /
by: Lasserre, Jean-Bernard, 1953-
Published: (2010)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

From problem to program /
by: Wardle, M. E.
Published: (1972)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Foundations of logic programming /
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1984)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Meta-logics and logic programming /
Published: (1995)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings /
Published: (1986)

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /
by: Hesselink, Wim H.
Published: (1992)

An introduction to programming with specifications : a mathematical approach /
by: Kubiak, Ryszard
Published: (1991)

Induction, recursion, and programming /
by: Wand, Mitchell
Published: (1980)

Topics in polynomials : extremal problems, inequalities, zeros /
by: Milovanović, G. V.
Published: (1994)

Computer programming: techniques, analysis, and mathematics /
by: Andree, Richard V. (Richard Vernon), 1919-1987
Published: (1973)

Basic programming /
by: Kemeny, John G.
Published: (1967)

Basic programming /
by: Kemeny, John G.
Published: (1980)

Analog and analog/hybrid computer programming.
by: Hausner, Arthur, 1929-
Published: (1971)

Algorithm for the computation of the coefficients of powers of polynomials. /
by: Chen, Grace Yun-Loh Yeh, et al.
Published: (1974)

Generalized nets and systems theory /
by: Atanasov, Krasimir
Published: (1997)