Optimization and Computational Logic

Optimization and Computational Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	McAloon, Ken (Συγγραφέας), Tretkoff, Carol (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York John Wiley & Sons c1996
Σειρά:	Wiley-Interscience Series in Discrete Mathematics and Optimization
Θέματα:	COMPUTER SCIENCE Γραμμικός προγραμματισμός MATHEMATICAL OPTIMIZATION Υπολογιστική ΕΣΑ

Παρόμοια τεκμήρια

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

Semantics and Logic of Computation

Introduction to Linear Optimization
ανά: Bertsimas, Dimitris, κ.ά.
Έκδοση: (1997)

A computational logic handbook
ανά: Boyer, Robert, κ.ά.
Έκδοση: (1998)

A Computational Logic Handbook
ανά: Moore, J. Strother, κ.ά.
Έκδοση: (1988)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

Βελτιστοποίηση και δυναμική προσομοίωση διεργασιών /
ανά: Κούκος, Ιωάννης Κ.
Έκδοση: (2021)

Linear programming : foundations and extensions /
ανά: Vanderbei, Robert J.
Έκδοση: (2001)

Deterministic operations research models and methods in linear optimization
ανά: Rader, David J. 1970-
Έκδοση: (2010)

Simulated Annealing and Boltzmann Machines A stochastic approach to cambinatorial optimization and neural computing
ανά: Aarts, E. H. L. (Emile H. L.), κ.ά.
Έκδοση: (1989)

Bayes linear statistics : theory and methods /
ανά: Goldstein, Michael, 1949-
Έκδοση: (2007)

Logic-based methods for optimization combining optimization and constraint satisfaction
ανά: Hooker, John
Έκδοση: (2000)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Topics in optimal transportation /
ανά: Villani, Cedric 1973-
Έκδοση: (2003)

Linear and nonlinear optimization
ανά: Griva, Igor, κ.ά.
Έκδοση: (2009)

Engineering optimization theory and practice
ανά: Rao, Singiresu S., 1944-
Έκδοση: (1996)

An introduction to optimization
ανά: Chong, Edwin K. P.
Έκδοση: (1996)

Linear and nonlinear programming
ανά: Luenberger, David G.
Έκδοση: (1984)

Optimization theory with applications
ανά: Pierre, Donald A.
Έκδοση: (1986)

Optimization theory with applications
ανά: Pierre, Donald A.
Έκδοση: (1986)

Theory of computing Proceedings of the 26th Annual ACM symposium on the theory of computing. Montreal, Quebec, Canada, May 23-25, 1994
Έκδοση: (1994)

Theory of Computing Procedings of the 30th Annual ACM Conference Dallas, Texas May 23-26, 1998
Έκδοση: (1998)

Theory of computing Proceedings of the 18th Annual ACM Symposium Berkeley, California, May 28-30, 1986
Έκδοση: (1986)

Theory of Computing Proceedings of the 29th Annual ACM Symposium El Paso. Texas, May 4-6, 1997
Έκδοση: (1997)

Theory of Computing Proceedings of the 27th Annual ACM Symposium Las Vegas, Nevada, May 29- June 1, 1995
Έκδοση: (1995)

Theory of computing Proceedings of the 16th Annual ACM Symposium Washington, D.C., April 30-May 2, 1984
Έκδοση: (1984)

Convex optimization /
ανά: Boyd, Stephen
Έκδοση: (2004)

Optimization theory with applications /
ανά: Pierre, Donald A.
Έκδοση: (1969)

Theory of linear and integer programming
ανά: Schrijver, Alexander
Έκδοση: (1986)

Linear programming in infinite-dimensional spaces Theory and applications
ανά: Anderson, Edward J., κ.ά.
Έκδοση: (1987)

Theory of Computing Proceedings of the 28th Annual ACM Symposium Philadelphia, Pennsylvania, May 22-24, 1996
Έκδοση: (1996)

Optimization methods in operations research and systems analysis
ανά: Mital, K. V.
Έκδοση: (1976)

Handbook of global optimization /
Έκδοση: (1995)

Temporal logics and their applications
Έκδοση: (1987)

Linear and nonlinear programming
ανά: Nash, Stephen G.
Έκδοση: (1996)

Linear and nonlinear programming /
ανά: Luenberger, David G.
Έκδοση: (1989)

Many - sorted logic and its applications
Έκδοση: (1993)

Γραμμικός προγραμματισμός
ανά: Μπότσαρης, Χαράλαμπος Ε.
Έκδοση: (2001)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_srncq2n1q6tbtarldmgqn7lka7