Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
https evolution » crops evolution, ants evolution, mites evolution
evolution java » evolution jan, evolution jaw, evolution jive
program a » program _
https evolution » crops evolution, ants evolution, mites evolution
evolution java » evolution jan, evolution jaw, evolution jive
program a » program _
1
2
Publicat 2005
Taula de continguts:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”Obtenir text complet
Electrònic
eBook
3
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2011
Taula de continguts:
“...FINCH: A System for Evolving Java (Bytecode) -- Towards Practical Autoconstructive Evolution: Self...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...Keynote -- The Return of Transactions -- Session I -- A Model for Java with Wildcards...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”Obtenir text complet
Electrònic
eBook
10
Publicat 2006
Taula de continguts:
“... -- Adding Constraint Solving to Mercury -- Modeling Genome Evolution with a DSEL for Probabilistic...”Obtenir text complet
Electrònic
eBook
11
Publicat 2014
Taula de continguts:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... Specifications: A Case Study -- An Automata-Theoretic Approach to Hardware/Software Co-verification -- Program...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Matèries:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages...”Obtenir text complet
Electrònic
eBook
18
Publicat 2010
Taula de continguts:
“... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”Obtenir text complet
Electrònic
eBook
20
Matèries:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook