Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation program » transformation programme, transformation process, transformation protocol
programming constructs » programming concepts, programming contest
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation program » transformation programme, transformation process, transformation protocol
programming constructs » programming concepts, programming contest
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
6
Published 2013
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”View full text
Electronic
eBook
13
Table of Contents:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook