Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interface engineering » surface engineering, maintenance engineering, enterprise engineering
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
interface engineering » surface engineering, maintenance engineering, enterprise engineering
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”View full text
Electronic
eBook
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
4
Table of Contents:
“... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
7
Table of Contents:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... -- The Potential of Logic Programming as a Computational Tool to Model Morality....”View full text
Electronic
eBook
16
Table of Contents:
“...First Steps in Perl -- Scalars -- Control Flow Constructs -- Lists and Arrays -- Hashes...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Techniques -- Software Artifacts Extraction for Program Comprehension -- Model-Driven Engineering Support...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...-Scope Software Engineering Applications -- Model Typing for Improving Reuse in Model-Driven Engineering...”View full text
Electronic
eBook