Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
processing program » processing programs, processing programmed, proceedings program
program operations » programs operational, program options, programming operations
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
operations https » relations https, operations hdtv, operations adts
processing program » processing programs, processing programmed, proceedings program
program operations » programs operational, program options, programming operations
method processing » metal processing, method process, methods preprocessing
interface method » interface methods, interphase method, interval method
operations https » relations https, operations hdtv, operations adts
1
Table des matières:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
2
Publié 2007
Table des matières:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”Accéder au texte intégral
Électronique
eBook
5
Publié 2014
Table des matières:
“...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...”Accéder au texte intégral
Électronique
eBook
6
Publié 2005
Table des matières:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Accéder au texte intégral
Électronique
eBook
7
Publié 2006
Table des matières:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”Accéder au texte intégral
Électronique
eBook
8
Publié 2014
Table des matières:
“... -- On the expressiveness of parameterization in process-passing -- An operational semantics for model checking long running...”Accéder au texte intégral
Électronique
eBook
9
Publié 2014
Table des matières:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Accéder au texte intégral
Électronique
eBook
10
Publié 2015
Table des matières:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”Accéder au texte intégral
Électronique
eBook
11
Publié 2006
Table des matières:
“... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... of Halting Properties for MPI Programs Using Nonblocking Operations -- Correctness Debugging of Message...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”Accéder au texte intégral
Électronique
eBook
14
Publié 2010
Table des matières:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”Accéder au texte intégral
Électronique
eBook
16
Publié 2006
Table des matières:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”Accéder au texte intégral
Électronique
eBook
17
Table des matières:
“... -- Kernel Interface-User Processes -- Devices-Trusted Code -- Process Interface to the Kernel -- Final...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
18
Publié 2012
Table des matières:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Accéder au texte intégral
Électronique
eBook
19
Publié 2012
Table des matières:
“....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”Accéder au texte intégral
Électronique
eBook
20
Table des matières:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook