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