Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
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 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”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 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
4
Table of Contents:
“... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... User through the Processing of the Pupil Diameter Signal -- MAC, A System for Automatically IPR...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Change — Evolving the EIS Vision -- Automatic Speech Recognition: A Review -- Reasoning with Goals...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...-optimizing Systems -- Exploiting Hub States in Automatic Verification -- Combined Methods -- An Approach...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... to Phase Recovery from a Fringe Pattern Based on a Particle Swarm Optimization -- Automatic PSO-Based...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Interpersonal Communication Skills in Medical Students -- Agents Behavior Semi-automatic Analysis through...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- CITOM: Incremental Construction of Topic Maps -- Schema-Matching with Data Dictionaries -- Requirements...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... to Assist the Design of Mixed Reality Learning Games -- An Automatic Evaluation of Construction Geometry...”View full text
Electronic
eBook