الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming functions » programming function, programming functionals, programming functional
functions based » function based
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming functions » programming function, programming functionals, programming functional
functions based » function based
1
منشور في 2006
جدول المحتويات:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2011
جدول المحتويات:
“... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
بواسطة Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
منشور في 2015
جدول المحتويات:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”منشور في 2015
احصل على النص الكامل
الكتروني
كتاب الكتروني
8
بواسطة Kashiha, Hadi
منشور في 2015
الموضوعات:
“...Lexical-functional grammar...”منشور في 2015
احصل على النص الكامل
أطروحة
9
منشور في 2015
جدول المحتويات:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2006
جدول المحتويات:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
بواسطة Lent, Craig S., 1956-.
منشور في 2013
جدول المحتويات:
“... Graphical User Interface Chapter 10: Transferring a MATLAB Program into a GUI Tool Chapter 11: GUI...”منشور في 2013
كتاب
13
منشور في 2008
جدول المحتويات:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
الموضوعات:
“...Programming languages (Electronic computers)....”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
15
بواسطة Koohi, Sina Zangbari
منشور في 2020
الموضوعات:
“...Parallel programming (Computer science) - Research...”منشور في 2020
احصل على النص الكامل
أطروحة
16
منشور في 2006
جدول المحتويات:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2013
جدول المحتويات:
“... -- Computation of Gröbner Bases -- Markov Bases and Designed Experiments -- Convex Polytopes and Gröbner Bases...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”احصل على النص الكامل
الكتروني
كتاب الكتروني