Combinatorial optimization: Theory and algorithms: By Bernhard Korte and Jens Vygen. Springer, Berlin. (2000). 530 pages. $45.00, DM 79.00, öS 577.00, sFr 72.00, GBP 27.00

Algorithms and data structures in VLSI d

Algorithms and data structures in VLSI design: OBDD—Foundations and applications: By Christoph Meinel and Thorsten Theobald. Springer-Verlag, Berlin. (1998). 267 pages. $49.95, DM 79.00, öS 577.00, sFr 72.00, GBP 30.50

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 88 KB

Algorithms and data structures in VLSI d

Algorithms and data structures in VLSI design: OBDD—Foundations and applications: By Christoph Meinel and Thorsten Theobald. Springer-Verlag, Berlin. (1998). 267 pages. $49.95, DM 79.00, öS 577.00, sFr 72.00, GBP 30.50

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 88 KB

List of tables. List of figures. Introduction. MATLAB quick start. Linear equations. Sparse matrices. Non-linear equations. Optimization. Integration and differentiation. Ordinary differential equations. Mathematical functions and operators. Symbolic computations. Graphing points and curves. Graphin

Finiteness and regularity in semigroups

Finiteness and regularity in semigroups and formal languages: By A. de Luca and Stefano Varricchio. Springer-Verlag, Berlin. (1999). 240 pages. $44.95, DM 79.00, öS 577.00, sFr 72.00, GBP 30.50

📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 86 KB

Lectures on proof verification and appro

Lectures on proof verification and approximation algorithms: Edited by Ernst W. Mayr, Hans Jürgen Prömel and Angelika Steger. Springer, Berlin. (1998). 344 pages. $45.00, DM 68.00, öS 497.00, sFr 62.00, GBP 26.00

📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 109 KB