الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
semantics arrays » semantics essays, semantics across, semantics arrow
1
منشور في 2013
جدول المحتويات:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... of Empirical Polynomials II -- Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2006
جدول المحتويات:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
منشور في 2010
جدول المحتويات:
“... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
منشور في 2008
جدول المحتويات:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2010
جدول المحتويات:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2015
جدول المحتويات:
“... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2006
جدول المحتويات:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2007
جدول المحتويات:
“... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2007
جدول المحتويات:
“...-Time Reversible Iterative Arrays -- The Computational Complexity of Monotonicity in Probabilistic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2005
جدول المحتويات:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”احصل على النص الكامل
الكتروني
كتاب الكتروني