UB FFM: Suchergebnisse - Nonlinear Programming Method for Dynamic Programming

[1]
zurück
22
23
24
25
26
27
28
29
30
31
32
weiter
[83]

521

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Margaria, Tiziana (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

522

Information processing '94 : proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August - 2 September, 1994
1. Technology and foundations / ed. by Bjørn Pehrson ...

Pehrson, Bjørn (Hrsg.)

Amsterdam [u.a.] : North-Holland, 1994

Buch

523

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Bravetti, Mario (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

524

Interactive decision analysis : proceedings of an International Workshop on Interactive Decision Analysis and Interpretative Computer Intelligence held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, Sept. 20-23, 1983

Grauer, M. (Hrsg.)

Berlin [u.a.] : Springer, 1984

Buch

525

Problems in basic operations research methods for management

Cabell, Randolph W.

New York [u.a.] : Wiley, 1961

Buch

526

Mathematical methods in finance and economics

Khoury, Sarkis J.

New York [u.a.] : North-Holland, 1981

Buch

527

Geography and the environment : systems analytical methods

Wilson, Alan G. <Sir>‎

Chichester : Wiley, 1981

Buch

528

Scientific and engineering problem-solving with the computer

Bennett, William R.

Englewood-Cliffs, NJ : Prentice-Hall, 1976

Buch

529

Economic analysis for business decisions

Manne, Alan Sussmann

New York [u.a.] : McGraw-Hill, 1961

Buch

530

Digital computation for chemical engineers

Lapidus, Leon

New York [u.a.] : McGraw-Hill, 1962

Buch

531

New methods of thought and procedure : contributions to the Symposium on Methodologies ; Pasadena, California, may 22 - 24, 1967

Zwicky, Fritz (Hrsg.)

Berlin [u.a.] : Springer, 1967

Buch

532

Fundamentals of the computing sciences

Maly, Kurt

Englewood Cliffs, N.J. : Prentice-Hall, 1978

Buch

533

Variational methods in optimization

Smith, Donald R.

Englewood Cliffs, N.J. : Prentice-Hall, 1974

Buch

534

Methods and applications of interval analysis

Moore, Ramon E.

Philadelphia : Siam, 1979

Buch

535

Nature Inspired Problem-Solving Methods in Knowledge Engineering : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

Mira, José (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

536

Numerical methods : [Colloqium on numerical methods held in Keszthely from 5th to 10th September, 1977]

Rózsa, Pál (Hrsg.)

Amsterdam [u.a.] : North-Holland, 1980

Buch

537

Proceedings of the Third Annual ACM-SIAM Symposium on Discrete Algorithms : [held January 27 - 29, 1992, in Orlando, Florida]

Symposium on Discrete Algorithms (3 : 1992 : Orlando, Fla.)

New York, NY : Assoc. for Computing Machinery, 1992

Buch

538

Capital budgeting : theory, quantitative methods, and applications

Herbst, Anthony F.

New York [u.a.] : Harper & Row, 1982

Buch

539

Methods of numerical mathematics

Marčuk, Gurij I.

2. ed.

New York, N.Y. [u.a.] : Springer, 1982

Buch

540

Operations research handbook : standard algorithms and methods with examples

Eiselt, Horst A.

Berlin, New York : de Gruyter, 1977

Buch

[1]
zurück
22
23
24
25
26
27
28
29
30
31
32
weiter
[83]

Treffer 521 - 540 von 1.648

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken