الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
international transformation » international information, operational transformation, institutional transformation
transformation program » transformation programme, transformation process, transformation protocol
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
international transformation » international information, operational transformation, institutional transformation
transformation program » transformation programme, transformation process, transformation protocol
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
منشور في 2015
جدول المحتويات:
“...Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2008
جدول المحتويات:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2007
جدول المحتويات:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2013
جدول المحتويات:
“... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2010
جدول المحتويات:
“... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2010
جدول المحتويات:
“... Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2013
جدول المحتويات:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2007
جدول المحتويات:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2006
جدول المحتويات:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني