1
منشور في 2008
جدول المحتويات: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2005
جدول المحتويات: ... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2007
جدول المحتويات: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2013
جدول المحتويات: ... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2006
جدول المحتويات: ... Control of Evolutionary Algorithms Under Time Constraints -- Role of Chaos in Swarm Intelligence — A...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
بواسطة Barnes, David J., Barnes, David J., Chu, Dominique.
منشور في 2010
جدول المحتويات: ... Equations -- Mathematical Tools -- Other Stochastic Methods and Prism -- Simulating Biochemical Systems....
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2005
جدول المحتويات: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2015
جدول المحتويات: ... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...
احصل على النص الكامل
الكتروني كتاب الكتروني