الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming internal » programming internals, programming interval, programming external
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
internal https » internet https, internet http, internal attacks
using https » using http, nursing https, aging https
programming internal » programming internals, programming interval, programming external
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
internal https » internet https, internet http, internal attacks
using https » using http, nursing https, aging https
1
منشور في 2010
جدول المحتويات:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2006
جدول المحتويات:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2005
جدول المحتويات:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2007
جدول المحتويات:
“...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2012
جدول المحتويات:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2011
الموضوعات:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
جدول المحتويات:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2006
جدول المحتويات:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... Flattening -- Probabilistic Choice in Refinement Algebra -- Algebra of Programming Using Dependent Types...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2008
جدول المحتويات:
“...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2006
جدول المحتويات:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”احصل على النص الكامل
الكتروني
كتاب الكتروني