1
منشور في 2008
جدول المحتويات: ...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2007
جدول المحتويات: ... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...
احصل على النص الكامل
الكتروني كتاب الكتروني