Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
processing program » processing programs, processing programmed, proceedings program
program executions » program execution, program evalution, program evolution
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
executions https » relations https, equations https, functions https
processing program » processing programs, processing programmed, proceedings program
program executions » program execution, program evalution, program evolution
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
executions https » relations https, equations https, functions https
1
Udgivet 2010
Indholdsfortegnelse:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“... Environment with MetaModeling, Interoperability, and Parallel Execution -- Simulation -- Blender for Robotics...”Få fuldtekst
Electronisk
eBog
8
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Udgivet 2006
Indholdsfortegnelse:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2006
Indholdsfortegnelse:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2012
Indholdsfortegnelse:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2012
Indholdsfortegnelse:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
Udgivet 2005
Indholdsfortegnelse:
“... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2008
Indholdsfortegnelse:
“... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2006
Indholdsfortegnelse:
“... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Tracking Using Multiple Neuromorphic Vision Sensors -- Interpolation Methods for Global Vision Systems -- A...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2010
Indholdsfortegnelse:
“... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...”Få fuldtekst
Electronisk
eBog