Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
progress computer » programs computer, process computer, problems computer
program progress » programme progress, program process, programmes progress
computer https » computers https, computing https, computer arts
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
progress computer » programs computer, process computer, problems computer
program progress » programme progress, program process, programmes progress
computer https » computers https, computing https, computer arts
1
Опубликовано 2007
Оглавление:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2015
Оглавление:
“... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2006
Оглавление:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2005
Оглавление:
“... of Fingerprint Verification Algorithms -- Methods for Assessing Progress in Face Recognition -- The NIST speaker...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2007
Оглавление:
“... Engines -- Finalizing Dialog Models at Runtime -- Transparent Interface Composition in Web Applications...”Полный текст
Электронный ресурс
eКнига