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
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 2005
Table of Contents: ... in C++ -- Model Compiler Construction Based on Aspect-Oriented Mechanisms -- FeatureC...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
6
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
7
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
View full text
Electronic eBook
8
Table of Contents: ...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...
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 2013
Table of Contents: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
15
by Carsetti, A., Carsetti, A.
Published 2013
Table of Contents: ... and the alternative splicing. - 2. The interface between ruler and coder -- 3. The recipe at work: the role...
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
Electronic eBook
17
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
18
Published 2010
Table of Contents: ... Based on Gradual Adaption Recommendation Model -- An Advanced Learning Environment Aided by Recognition...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Intelligent Strategy Repository -- Effortless Construction and Management of Program Animations on the Web...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Interface for a Language Learning and Instruction Environment -- E-Learning and Deaf Children: A Logic-Based...
View full text
Electronic eBook