Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs constructing » program constructing, programs constructive, program construction
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
constructing https » construction https, consulting https, constructing better
internal methods » integral methods, general methods
programs constructing » program constructing, programs constructive, program construction
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
constructing https » construction https, consulting https, constructing better
internal methods » integral methods, general methods
1
Published 2005
Table of Contents:
“... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Making and Inference -- Mining Knowledge -- Comparing LDA with pLSI as a Dimensionality Reduction Method...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- A Method for Improving the Precision and Coverage of Atomicity Violation Predictions...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... into Events -- Enriching the Adjective Domain in the Japanese WordNet -- Comparing SMT Methods for Automatic...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- The Management and Monitor System of Tunnel Construction Based on Internet of Things -- A Novel Method...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... -- Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure...”View full text
Electronic
eBook