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