الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
programming processing » programming processings, programming preprocessing, programming proceedings
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
processing program » processing programs, processing programmed, proceedings program
program https » programs https, program has, program help
programming processing » programming processings, programming preprocessing, programming proceedings
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
processing program » processing programs, processing programmed, proceedings program
program https » programs https, program has, program help
1
منشور في 2006
جدول المحتويات:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
منشور في 2013
جدول المحتويات:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
منشور في 2014
جدول المحتويات:
“... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2005
جدول المحتويات:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2014
جدول المحتويات:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2010
جدول المحتويات:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2007
جدول المحتويات:
“... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2014
جدول المحتويات:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”احصل على النص الكامل
الكتروني
كتاب الكتروني