Vector Optimization
Vector optimization model has found many important applications in decision making problems such as those in economics theory, ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suite
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. ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suiteWind Turbine Control Systems
Modern wind turbines generally operate at variable speed in order to maximise the conversion efficiency below rated power ...
Lire la suite
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 ...
Lire la suite
