Тема, жанр, tags: Mathematical Modeling and Industrial Mathematics,Optimization,Symbolic and Algebraic Manipulation,Nu » Page 22 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Modeling and Industrial Mathematics,Optimization,Symbolic and Algebraic Manipulation,Nu » Page 22

book Modeling Languages in Mathematical Optimization

Modeling Languages in Mathematical Optimization

pdf

Author: Josef Kallrath (auth.) Josef Kallrath (eds.)
Language: English
Year: 2004

00

27.01.2024

3

0

book High Performance Computational Science and Engineering: IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

High Performance Computational Science and Engineering: IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

pdf

Author: Thomas Rauber Gudula Rünger (auth.) Michael K. Ng Andrei Doncescu Laurence T. Yang Tau Leng (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Handbook of tableau methods

Handbook of tableau methods

djvu

Author: Melvin Fitting (auth.) Marcello D’Agostino Dov M. Gabbay Reiner Hähnle Joachim Posegga (eds.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

djvu

Author: Ingo Dahn (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)
Language: English
Year: 1998

00

27.01.2024

0

0

book Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

djvu

Author: W. Reif G. Schellhorn K. Stenzel M. Balser (auth.) Wolfgang Bibel Peter H. Schmitt (eds.)
Language: English
Year: 1998

00

27.01.2024

1

0

book Thirty Five Years of Automating Mathematics

Thirty Five Years of Automating Mathematics

djvu

Author: Fairouz D. Kamareddine (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Programmieren mit Maple V

Programmieren mit Maple V

djvu

Author: M. B. Monagan K. O. Geddes K. M. Heal G. Labahn S. M. Vorkoetter (auth.)
Language: German
Year: 1996

00

27.01.2024

0

0

book Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

pdf

Author: Susanne Apel Jürgen Richter-Gebert (auth.) Pascal Schreck Julien Narboux Jürgen Richter-Gebert (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

djvu

Author: Klaus Drosten (auth.)
Language: German
Year: 1989

00

27.01.2024

0

0

book Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

Combinatorial Algorithms: 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

pdf

Author: Malay Bhattacharyya Sanghamitra Bandyopadhyay (auth.) S. Arumugam W. F. Smyth (eds.)
Language: English
Year: 2012

00

27.01.2024

1

0