Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
interaction transformation » interactions transformation, interactive transformations, extraction transformation
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
interaction transformation » interactions transformation, interactive transformations, extraction transformation
transformation programming » transformations programming, transformation programme, transformation programmed
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Publicat 2007
Taula de continguts:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obtenir text complet
Electrònic
eBook
5
Taula de continguts:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obtenir text complet
Electrònic
eBook
8
Publicat 2012
Taula de continguts:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... -- Practical Conflict Resolution for the Composition of Program Transformations....”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... Patterns -- Conquering Fine-Grained Blends of Design Patterns -- Pattern-Based Transformation Rules...”Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”Obtenir text complet
Electrònic
eBook