1
منشور في 2006
جدول المحتويات: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2010
جدول المحتويات: ...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2013
جدول المحتويات: ... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2013
جدول المحتويات: ... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2012
جدول المحتويات: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2010
جدول المحتويات: ...Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space -- Three Paths...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
بواسطة Bestaoui Sebbane, Yasmina., Bestaoui Sebbane, Yasmina.
منشور في 2012
جدول المحتويات: ... Profile --  2.4.2 Down burst --  2.5 Conclusions --  3 Mission Planning --  3.1 Introduction --  3.2...
احصل على النص الكامل
الكتروني كتاب الكتروني