Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
1
Julkaistu 2014
Sisällysluettelo:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2010
Sisällysluettelo:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2005
Sisällysluettelo:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Hae kokoteksti
Elektroninen
E-kirja
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2007
Sisällysluettelo:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“... Tool Integration Using Model Transformations -- Software Architectures and Reengineering...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Hae kokoteksti
Elektroninen
E-kirja
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light -- On Minimality and Integrity...”Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“...Introducing SQL Server 2005 Integration Services -- The Architecture of SSIS -- From DTS to SSIS...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2007
Sisällysluettelo:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Hae kokoteksti
Elektroninen
E-kirja
12
Sisällysluettelo:
“... Design and Unit Testing -- Conceptual Design and Controller Testing -- Acceptance Testing: Expanding Use...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2012
Sisällysluettelo:
“... -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2010
Sisällysluettelo:
“...Physical Design Issues in 3-D Integrated Technologies -- Universal Methodology to Handle...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2006
Sisällysluettelo:
“... -- On the Integration of Classboxes into C# -- Automatic Control Flow Generation from Software Architectures....”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2006
Sisällysluettelo:
“... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2008
Sisällysluettelo:
“... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”Hae kokoteksti
Elektroninen
E-kirja
19
Sisällysluettelo:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”Hae kokoteksti
Elektroninen
E-kirja