1
Published 2008
Table of Contents: ... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...
View full text
Electronic eBook
2
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
3
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
4
Table of Contents: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
View full text
Electronic eBook
5
Published 2014
Table of Contents: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Environments -- A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... -- The Potential of Logic Programming as a Computational Tool to Model Morality....
View full text
Electronic eBook
9
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
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
11
Published 2005
Table of Contents: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
View full text
Electronic eBook
12
by Boy, Guy., Boy, Guy.
Published 2013
Table of Contents: ... -- Life-Critical Systems -- The Making of Complex Systems -- Organization Design and Management...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... methodology to support mobile application design and evaluation: a case study in m-Learning -- SCPL: a Social...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...
View full text
Electronic eBook
15
by Dooley, John., Dooley, John.
Published 2011
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...
View full text
Electronic eBook
17
Table of Contents: ...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...
View full text
Electronic eBook
18
by Alameda, Eldon., Alameda, Eldon.
Published 2007
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... and Tool Support -- Preliminary Design of BML: A Behavioral Interface Specification Language for Java...
View full text
Electronic eBook
20
Table of Contents: ...Construction of a Waveform Browser -- e-Science and EScope -- A Java Client for MDSplus...
View full text
Electronic eBook