Vector Optimization
Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Continue reading
Vortices in the Magnetic Ginzburg-Landau Model
This text presents complete and mathematically rigorous versions of both results either already known by physicists or applied ...
Continue readingWind Turbine Control Systems
Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...
Continue reading
mODa 8 - Advances in Model-Oriented Design and Analysis ; Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4–8, 2007
The volume contains the proceedings of the 8th Workshop on Model-Oriented Design and Analysis. This book offers leading and ...
Continue reading
