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