1
منشور في 2010
جدول المحتويات: ... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Freeman, Adam., Freeman, Adam.
منشور في 2010
جدول المحتويات: ...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2005
جدول المحتويات: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2014
جدول المحتويات: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
الموضوعات: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
بواسطة Bjørner, Dines., Bjørner, Dines.
منشور في 2006
جدول المحتويات: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
بواسطة Bjørner, Dines., Bjørner, Dines.
منشور في 2006
جدول المحتويات: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
بواسطة Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
منشور في 2012
جدول المحتويات: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2010
جدول المحتويات: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2010
جدول المحتويات: ... and Store Media Files -- A Tool Supporting C code Parallelization -- Extending OpenMP for Agent Based DSM...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2008
جدول المحتويات: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2010
جدول المحتويات: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
جدول المحتويات: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2014
جدول المحتويات: ... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2012
جدول المحتويات: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2015
جدول المحتويات: ... Interventions :Needs Assessments – A Necessary Phase in Rehabilitation -- Evidence-Based Occupational Therapy...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2013
جدول المحتويات: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
احصل على النص الكامل
الكتروني كتاب الكتروني