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