1
Publicado em 2010
Sumário: ...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2012
Sumário: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2015
Sumário: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Por Brooks, David R., Brooks, David R.
Publicado em 2011
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2012
Sumário: ... -- Relative Priority Analysis of Korean IS Audit Standard Check Items Using the Constant-Sum Method...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2005
Sumário: ... Annealing -- Application of Project/Problem-Based Learning in Microelectronics -- Test Engineering Education...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ... Processing for Wireless Networks -- Adaptive Binding Update Schemes in NEMO -- An Information Aggregation...
Obter o texto integral
Recurso Electrónico livro electrónico