الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
integration computer » international computer, interactive computer
computer programs » computer program
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
integration computer » international computer, interactive computer
computer programs » computer program
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
منشور في 2008
جدول المحتويات:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2011
الموضوعات:
“...Programming languages (Electronic computers)....”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2011
الموضوعات:
“...Programming languages (Electronic computers)....”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2010
جدول المحتويات:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
جدول المحتويات:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
7
الموضوعات:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2007
جدول المحتويات:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2007
جدول المحتويات:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2013
جدول المحتويات:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2007
جدول المحتويات:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
منشور في 2008
جدول المحتويات:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”احصل على النص الكامل
الكتروني
كتاب الكتروني