الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programs unification » programs verification, programs specification, program specification
unification https » modification https, unification stathis, fiction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
programs unification » programs verification, programs specification, program specification
unification https » modification https, unification stathis, fiction https
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
منشور في 2013
جدول المحتويات:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2007
جدول المحتويات:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
جدول المحتويات:
“... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2014
جدول المحتويات:
“...-unification Algorithms -- The D-FLAT System for Dynamic Programming on Tree Decompositions -- ACUOS: A System...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... for Orthogonal Matrices: A Study of Critical Peaks -- Nominal Unification from a Higher-Order Perspective...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2015
جدول المحتويات:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2006
جدول المحتويات:
“... -- Stratified Context Unification Is NP-Complete -- A Logical Characterization of Forward and Backward Chaining...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2014
جدول المحتويات:
“...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... for Uniform Semi-Unification.- Deciding WQO for Factorial Languages.- On the Construction of a Family...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2006
جدول المحتويات:
“... -- SProUT – A General-Purpose NLP Framework Integrating Finite-State and Unification-Based Grammar...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2012
جدول المحتويات:
“...-based functional proteomics to improve microbes for biofuel production -- Unification of gene expression...”احصل على النص الكامل
الكتروني
كتاب الكتروني