Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
based programming » basic programming, advanced programming
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
based programming » basic programming, advanced programming
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”View full text
Electronic
eBook
2
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
3
Published 2006
Table of Contents:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
5
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
6
Published 2005
Table of Contents:
“... in C++ -- Model Compiler Construction Based on Aspect-Oriented Mechanisms -- FeatureC...”View full text
Electronic
eBook
7
Table of Contents:
“...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
View full text
View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... for a Biologically Inspired Cognitive Architecture -- Case-Supported Principle-Based Behavior Paradigm...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets — A Rule-Based Evaluation...”View full text
Electronic
eBook
16
Table of Contents:
“...Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop...”
View full text
View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”View full text
Electronic
eBook
18
Table of Contents:
“... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“... -- Developing a REST-Based Application -- Adding Graphs to Our Application -- Enhancing Exercisr -- Simple Blogs...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Business Applications -- A Composition-Based Approach to the Construction and Dynamic Reconfiguration...”View full text
Electronic
eBook