Biblioteca do ISEL

Your search returned 127 results. Subscribe to this search

|
Schaum's outline of theory and problems of operations research / Richard Bronson, Godindasami NaadimuthuPublication: New York : McGraw-Hill, 1997Description: VII, 456 p. : il ; 32 cmAvailability: Items available for loan: [BRO. 519.8] (1).

Hierarchically structured economies : models with bilateral exchange institutions / Willy SpanjersPublication: Dordrecht : Kluwer Academic Publishers, 1997Description: VII, 179 p. : il ; 25 cmAvailability: Items available for loan: [SPA. 519.83] (1). Items available for reference: [SPA. 519.83] (1).

Cooperative game theory and applications : cooperative games arising from combinatorial optimization problems / Imma CurielPublication: Boston : Kluwer Academic Publishers, 1997Description: VIII, 190 p. ; 25 cmAvailability: Items available for loan: [CUR. 519.83] (2). Items available for reference: [CUR. 519.83] (1).

Epistemic logic and the theory of Games and decisions / M. O. L. Bacharach ... [et al.]Publication: Boston : Kluwer Academic Publishers, 1997Description: XXXIII, 364 p. : il ; 25 cmAvailability: Items available for loan: [BAC. 519.83] (2). Items available for reference: [BAC. 519.83] (1).

Mathematica in the laboratory / Samuel Dick, Alfred Riddle, Douglas SteinPublication: Cambridge : University Press, 1997Description: XVIII, 320 p. : il. ; 25 cm.Availability: Items available for loan: [DIC. 519.6] (3). Items available for reference: [DIC. 519.6] (1).

Application and theory of Petri Nets 1997 / Pierre Azéma, Gianfranco BalboPublication: Berlin : Springer, 1997Description: VIII, 466 p. : il.Availability:

Entropy optimization and mathematical programming / Shu Cherng Fang, J. R. Rajasekera, H. S. J. TsaoPublication: Boston : Kluwer Academic Publishers, 1997Description: X, 343 p. : il. ; 25 cmAvailability: Items available for loan: [FAN. 519.863] (4). Items available for reference: [FAN. 519.863] (1).

Large-scale optimization with applications part I : optimization in inverse problems and design / Lorenz T. Biegler... [et al.]Publication: New York : Springer, 1997Description: XV, 204 p. : il. ; 24 cmAvailability: Items available for loan: [BIE. 519.863] (1).

Large-scale optimization with applications part II : optimal design and control / Lorenz T. Biegler... [et al.]Publication: New York : Springer, 1997Description: XV, 324 p. : il ; 25 cmAvailability: Items available for loan: [BIE. 519.863] (1).

Fractional programming : theory, methods and applications / I. M. Stancu-MinasianPublication: Dordrecht : Kluwer Academic Publishers, 1997Description: VIII, 418 p. : il. ; 25 cmAvailability: Items available for loan: [STA. 519.863] (1).

Atlas for computing mathematical functions : an illustrated guide for practitioners with programs in Fortan 90 and mathematics / William J. ThompsonPublication: New York : John Wiley & Sons, Inc., 1997Description: XIV, 888 p. : il. ; 26 cm. + CD-ROMAvailability: Items available for loan: [THO. 519.6] (2). Items available for reference: [THO. 519.6] (2).

Interior point algorithms theory and analysis / Yinyu YePublication: New York : John Wiley & Sons, 1997Description: XVI, 418 p. : il. ; 23 cmAvailability: Items available for loan: [YE 519.6] (1).

Interior point approach to linear, quadratic and convex programming : algorithms and complexity / D. den HertogPublication: Dordrecht : Kluwer Academic Publishers, 1997Description: XII, 208 p. : il. ; 25 cmAvailability: Items available for loan: [HER. 519.863] (1).

Elements of structural optimization / Raphael T. Haftka, Zafer GürdalPublication: Dordrecht : Kluwer Academic Publishers, 1996Description: XIV, 481 p. : il. ; 24 cmAvailability: Items available for loan: [HAF. 519.863] (1).

Economic exchange and social organization : the edgeworthian foundations of general equilibrium theory / Robert P. GillesPublication: Boston : Kluwer Academic Publishers, 1996Description: XI, 310 pAvailability: Items available for loan: [GIL. 519.83] (1). Items available for reference: [GIL. 519.83] (1).

Static and dynamic aspects of general disequilibrium theory / P. Jean-Jacques HeringsPublication: Boston : Kluwer Academic Publishers, 1996Description: IX, 507 p. : il ; 23 cmAvailability: Items available for loan: [HER. 519.83] (2). Items available for reference: [HER. 519.83] (1).

Modeling nature : cellular automata simulations with mathematica / Richard J. Gaylord, Kazume NishidatePublication: New York : Springer, 1996Description: XVIII, 260 p. : il. ; 24 cm.Availability: Items available for loan: [GAY. 519.6] (1). Items available for reference: [GAY. 519.6] (1).

Logic-based 0-1 constraint programming / Peter BarthPublication: Boston : Kluwer, 1996Description: XIV, 253 p. : il. ; 23 cmAvailability: Items available for loan: [BAR. 519.85] (1).

Interior point methods of mathematical programming / Tamás TerlakyPublication: Dordrecht : Kluwer Academic Publishers, 1996Description: XXI, 528 p. : il. ; 25 cmAvailability: Items available for loan: [TER. 519.863] (1).

Computational economics and finance : modeling and analysis with mathematica / Hal R. VarianPublication: New York : Springer, TELOS, 1996Description: XIV, 468 p. : il. ; 24 cm.Availability: Items available for loan: [VAR. 519.6] (1).

Finite mathematics : an applied approach / Abe Mizrahi, Michael SullivanPublication: New York : John Wiley & Sons, Inc., 1996Description: XIX, 599 p. : il. ; 24 cm.Availability: Items available for loan: [MIZ. 519.6] (1).

First-order logic and automated theorem proving / Melvin FittingPublication: New York : Springer, 1996Description: XVI, 326 p. : il.Availability: Items available for loan: [FIT. 510.6] (1).

Prolog : the standard ; reference manual / P. Deransart, A. Ed-Dbali, L. Cervoni ; forew. C. Biro ; pref. R. S. ScowenPublication: Berlin : Springer, 1996Description: XIV, 272 p. : il.Availability: Items available for loan: [DER. 004.43Prolog] (1).

Programação matemática : programação linear simplex, programação inteira transportes e afectação, teoria dos jogos / Manuel Alberto M. Ferreira, Isabel AmaralPublication: Lisboa : Sílabo, 1995Description: 207 p. : il. ; 24 cmAvailability: Items available for loan: [FER. 519.6] (1).

Introduction to global optimization / Reiner Horst, Panos M. Pardalos, Nguyen V. ThoaiPublication: Dordrecht : Kluwer Academic Publishers, 1995Description: XII, 318 p : il. ; 24 cmAvailability: Items available for loan: [HOR. 519.863] (1). Items available for reference: [HOR. 519.863] (1).

Introduction to mathematical programming : applications and algorithms / Wayne L. WinstonPublication: Belmont : Duxbury Press, 1995Description: [pag. var.] : il. ; 26 cm.Availability: Items available for loan: [WIN. 519.6] (1).

Stochastic programming / András PrékopaPublication: Dordrecht : Kluwer, 1995Description: XVIII, 599 p. : il. ; 23 cmAvailability: Items available for loan: [PRE. 519.85] (1).

Flexible manufacturing systems : recent developments / A. Raouf, M. Ben-DayaPublication: Amsterdam : Elsevier, 1995Description: VII, 316 p. : il. ; 25 cmAvailability: Items available for loan: [RAO. 621.7] (1).

Mathcad : user's guide mathcad 6.0 mathcad plus 6.0 / MathSoftPublication: Cambridge : MathSoft, 1995Description: 694 p. : il. ; 23 cm. + disquetesAvailability: Items available for loan: [MAT. 519.85] (1).

Mathematical logic / H. D. Ebbinghaus... [et al.]Publication: New York : Springer, 1994Description: X, 289 p. : il. ; 24 cmAvailability: Items available for loan: [EBB. 510.6] (1).

Fundamental principles of systems analysis and decision-making / Paul J. OssenbruggenPublication: New York : John Wiley & Sons, 1994Description: XIV, 412 p : il. ; 24 cm.Availability: Items available for loan: [OSS. 519.6] (1).

Computer-aided analysis of electric machines : a mathematica approach / Vlado OstovicPublication: New York : Prentice Hall, 1994Description: XIV, 520 p. : il. ; 24 cm.Availability: Items available for loan: [OST. 621.313] (1).

Advances in optimization and numerical analysis / Susana Gomez, Jean-Pierre HennartPublication: Dordrecht : Kluwer Academic Publishers, 1994Description: VII, 285 p. : il. ; 25 cmAvailability: Items available for loan: [GOM. 519.863] (1).

Large scale optimization : state of the art / W. W. Hager, D. W. Hearn, P. M. PardalosPublication: Dordrecht : Kluwer Academic Publishers, 1994Description: XIV, 456 p. : il. ; 25 cm.Availability: Items available for loan: [HAG. 519.863] (1).

MATLAB tools for control system analysis and design / Benjamin C. Kuo, Duane C. HanselmanPublication: Englewood Cliffs : Prentice Hall, 1994Description: VIII, 227 p. : il ; 24 cm + disqueteAvailability: Items available for loan: [KUO 519.6] (1). Items available for reference: [KUO 519.6] (1).

Linear programming : an introduction with applications / Alan SultanPublication: Boston : Academic Press, 1993Description: X, 568 p. : il.Availability: Items available for loan: [SUL. 519.852] (1).

Mathematica : a system for doing mathematics by computer / Stephen WolframPublication: Reading : Addison-Wesley Publishing Company, 1993Description: XXII, 961 p. : il. ; 23 cm.Availability: Items available for loan: [WOL. 519.6] (1).

Network flows : theory, algorithms, and applications / Ravindra K. Ahuja, Thomas L. Magnanti, James B. OrlinPublication: Upper Saddle River : Prentice Hall, 1993Description: XV, 846 p. : il. ; 24 cm.Availability: Items available for loan: [AHU. 519.85] (1).

Optimization of large structural systems vol. II / C. I. N. RozvanyPublication: Dordrecht : Kluwer Academic Publishers, 1993Description: X, 623-1201 p. : il. ; 25 cmAvailability: Items available for loan: [ROZ. 519.863] (1).

Optimization of large structural systems vol. I / G. I. N. RozvanyPublication: Dordrecht : Kluwer Academic Publishers, 1993Description: XXI, 622 p. : il. ; 25 cmAvailability: Items available for loan: [ROZ. 519.863] (1).

Nonlinear programming : theory and algorithms / Mokhtar S. Bazaraa, Hanif D. Sherali, C. M. ShettyPublication: New York : John Wiley & Sons, 1993Description: XIII, 638 p. : il. ; 26 cmAvailability: Items available for loan: [BAZ. 519.85] (1).

Integer programming / Stanislaw WalukiewiczPublication: Dordrecht : Kluwer, 1991Description: XVI, 182 p. : il. ; 24 cmAvailability: Items available for loan: [WAL. 519.85] (1).

Computer aided proofs in analysis / Kenneth R. Meyer, Dieter S. SchmidtPublication: New York : Springer-Verlag, 1991Description: 251 p. : il. ; 25 cmAvailability: Items available for loan: [MEY. 519.6] (1).

Mathematical tools in production management / J. M. Proth, H. P. HillionPublication: New York : Plenum Press, 1990Description: XIV, 391 p. : il. ; 24 cmAvailability: Items available for loan: [PRO. 519.863] (1).

Introduction to operations research / Frederick S. Hillier, Gerald J. LiebermanPublication: New York : McGraw-Hill Publishing Company, 1990Description: XVIII, 954 p. : il. ; 25 cm.Availability: Items available for loan: [HIL. 519.8] (1).

Cours de robotique : description et fonctionnement des robots industriels / Max Giordano, Jacques LottinPublication: Paris : Armand Colin, 1990Description: III, 244 p. : il. ; 23 cmAvailability: Items available for loan: [GIO. 621.865.8] (1).

Finite element programming / E. Hinton, D. R. J. OwenPublication: London : Academic Press, 1989Description: XII, 305 p. : il. ; 23 cmAvailability: Items available for loan: [HIN. 519.6] (1).

Introduction to operations research / Frederick S. Hillier, Gerald J. LiebermanPublication: New York : McGraw-Hill Book Company, 1989Description: XVIII, 888 p. : il. ; 23 cm.Availability: Items available for loan: [HIL. 519.8] (1).

Applied numerical methods with personal computers / Alkis ConstantinidesPublication: New York : McGraw-Hill Book Company, 1988Description: XIV, 626 p. : il. ; 22 cm.Availability: Items available for loan: [CON. 519.6] (1). Items available for reference: [CON. 519.6] (1).

The mathematics of nonlinear programming / Anthony L. Peressini, Francis E. Sullivan, J. J. UhlPublication: New York : Springer, 1988Description: X, 273 p. : il. ; 24 cmAvailability: Items available for loan: [PER. 519.863] (1).

Informática-ISEL