Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program execution » program evaluation, process execution, project execution
execution error » execution from, execution abroad, execution actors
program java » program jarak, program a, program jom
java program » java programs, a program, java programming
https » http
program execution » program evaluation, process execution, project execution
execution error » execution from, execution abroad, execution actors
program java » program jarak, program a, program jom
java program » java programs, a program, java programming
https » http
1
Опубликовано 2014
Оглавление:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Proposal for OpenMP for Java -- A Proposal for Error Handling in OpenMP -- Extending the OpenMP Standard...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... -- Code Mutation in Verification and Automatic Code Correction -- Efficient Detection of Errors in Java...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... -- An Improved Algorithm for (Non-commutative) Reduce-Scatter with an Application -- Collective Error Detection...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2006
Оглавление:
“... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2008
Оглавление:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2007
Оглавление:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2013
Оглавление:
“... Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2006
Оглавление:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”Полный текст
Электронный ресурс
eКнига