Algorithms and software for symbolic analysis of nonlinear systems

✍ Scribed by Fuchssteiner B., Gerdt V., Oevel W.

Year: 0
Tongue: English
Leaves: 208
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

High Performance Algorithms and Software

📁 High Performance Algorithms and Software for Nonlinear Optimization

✍ M. Al-Baali (auth.), Gianni Di Pillo, Almerico Murli (eds.) 📂 Library 📅 2003 🏛 Springer US 🌐 English

<p>This volume contains the edited texts of the lectures presented at the Workshop on High Performance Algorithms and Software for Nonlinear Optimization held in Erice, Sicily, at the "G. Stampacchia" School of Mathematics of the "E. Majorana" Centre for Scientific Culture, June 30 - July 8, 2001. I

Advanced Symbolic Analysis for Compilers

📁 Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

✍ Thomas Fahringer, Bernhard Scholz (eds.) 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri?- tion/testing/proving systems, program comprehension systems, and program spec

Advanced Symbolic Analysis for Compilers

📁 Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

✍ Thomas Fahringer, Bernhard Scholz (eds.) 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Software for Roundoff Analysis of Matrix

📁 Software for Roundoff Analysis of Matrix Algorithms

✍ Webb Miller and Celia Wrathall (Auth.) 📂 Library 📅 1980 🏛 Elsevier Inc, Academic Press Inc 🌐 English

Nonlinear Analyses and Algorithms for Sp

📁 Nonlinear Analyses and Algorithms for Speech Processing

✍ Solé-Casals J., Zaiats V. (eds.) 📂 Library 🌐 English

Издательство Springer, 2010, -209 pp.<div class="bb-sep"></div>International Conference on Nonlinear Speech Processing, NOLISP 2009. Vic, Spain, June 25-27, 2009. Revised Selected Papers.<br/>This volume contains the proceedings of NOLISP 2009, an ISCA Tutorial and Workshop on Non-Linear Speech Proc

Nonlinear Analyses and Algorithms for Sp

📁 Nonlinear Analyses and Algorithms for Speech Processing

✍ Drugman T., Dutoit T. (eds.) 📂 Library 🌐 English

Издательство Springer, 2013, -225 pp.<div class="bb-sep"></div>6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013 Proceedings.<br/>NOLISP, an ISCA tutorial and workshop on non-linear speech processing, is a biannual event whose aim is to present and discuss new ideas, techniq