The book contains a selection of high quality papers, chosen among the best presentations during ...
This book provides a thorough introduction to the mathematical and algorithmic aspects of certifi...
The book contains a selection of high quality papers, chosen among the best presentations during ...
The book contains a selection of high quality papers, chosen among the best presentations during ...
Spectral methods are well-suited to solve problems modeled by time-dependent partial differential...
This book features a selection of high-quality papers chosen from the best presentations at the I...
This book provides a thorough introduction to the mathematical and algorithmic aspects of certifi...
The book contains a selection of high quality papers, chosen among the best presentations during ...
The book contains a selection of high quality papers, chosen among the best presentations during ...
This book features a selection of high-quality papers chosen from the best presentations at the I...
This book features a selection of high-quality papers chosen from the best presentations at the I...