UB FFM: Suchergebnisse - Nonlinear Programming Method for Dynamic Programming

[1]
zurück
19
20
21
22
23
24
25
26
27
28
29
weiter
[83]

461

Inventory control : models and methods

Bartmann, Dieter

Berlin [u.a.] : Springer, 1992

Buch

462

Big data and social science : a practical guide to methods and tools

Foster, Ian (Herausgeber)

Boca Raton ; London ; New York : CRC Press, [2017]

Buch

463

Matrix methods in the design analysis of mechanisms and multibody systems

Uicker, John J. <Jr.>‎ (Verfasser)

Cambridge : Cambridge University Press, 2013

E-Book

464

Proceedings / XIV. Symposium on Operations Research : University of Ulm, September 6 - 8, 1989
[1].

Rieder, Ulrich (Hrsg.)

Frankfurt am Main : Hain, 1990

Buch

465

Proceedings / 6th European Congress on Intelligent Techniques & Soft Computing : Aachen, Germany, September 7 - 10, 1998 ; EUFIT '98
1.

Zimmermann, Hans-Jürgen

Aachen [u.a.] : Wissenschaftsverl., 1998

Buch

466

Introduction to mathematical methods in bioinformatics : with 3 tables

Isaev, Alexander

Berlin [u.a.] : Springer, 2004

Buch

467

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

468

Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Breitman, Karin (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

469

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques : 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings

Chekuri, Chandra (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

470

SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings

van Leeuwen, Jan (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

471

A theory and practice of program development

Andrews, Derek

London [u.a.] : Springer, 1997

Buch

472

Mathematics for stability and optimization of economic systems

Murata, Yasusada

New York [u.a.] : Acad. Press, 1977

Buch

473

FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Cuellar, Jorge (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

474

Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing : Montréal, Quebéc, Canada, May 23 - 25, 1994

Symposium on Theory of Computing (26 : 1994 : Montréal)

New York, NY : ACM Pr., 1994

Buch

475

Striking a balance : CHI '92 conference proceedings, ACM Conference on Human Factors in Computing Systems ; May 3 - 7, 1992, Monterey, California

Bauersfeld, Penny (Hrsg.)

New York, NY : ACM Press [u.a.], 1992

Buch

476

Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Groves, Lindsay (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

477

Proceedings / 30th Design Automation Conference : 1993 ; June 14-18,1993 Dallas, Texas, Dallas Convention Center

Design Automation Conference (Association for Computing Machinery) (30 : 1993 : Dallas, Tex.)

Baltimore, Md., 1993

Buch

478

Digest of technical papers / 1999 IEEE/ACM International Conference on Computer-Aided Design, November 7 - 11, 1999, San Jose, California

International Conference on Computer Aided Design (Institute of Electrical and Electronics Engineers) (1999 : San José, Calif.)

Piscataway, NJ : IEEE Order Dep., 1999

Buch

479

Proceedings of the international computing symposium 1973, Davos, Switzerland, 4 - 7 September 1973

Günther, A. (Herausgeber)

Amsterdam : North-Holland Publ., 1974

Buch

480

Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Liu, Zhiming (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

[1]
zurück
19
20
21
22
23
24
25
26
27
28
29
weiter
[83]

Treffer 461 - 480 von 1.648

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken