Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing problem » processing problems, pressing problems, processing program
methods processing » methods preprocessing, methods proceedings, methods processes
interface methods » internal methods, interval methods, interference methods
problem compiling » problem computing, problem comparing, problem combining
compiling https » computing https, counseling https, consulting https
processing problem » processing problems, pressing problems, processing program
methods processing » methods preprocessing, methods proceedings, methods processes
interface methods » internal methods, interval methods, interference methods
problem compiling » problem computing, problem comparing, problem combining
compiling https » computing https, counseling https, consulting https
1
Published 2010
Table of Contents:
“...Invited Talks -- The Next Decade of BPM -- BPM in Cloud Architectures: Business Process Management...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Problem-Based Approach -- Verifying Parallel Programs with MPI-Spin -- Advanced MPI Programming...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”View full text
Electronic
eBook
9
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Relative Priority Analysis of Korean IS Audit Standard Check Items Using the Constant-Sum Method...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Annealing -- Application of Project/Problem-Based Learning in Microelectronics -- Test Engineering Education...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Processing for Wireless Networks -- Adaptive Binding Update Schemes in NEMO -- An Information Aggregation...”View full text
Electronic
eBook