Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
processing function » processing functions, processing functional, processing fiction
function theorems » function theorem, function theories, function theory
java processing » data processing, data processings, data processsing
theorems https » theory https, theorems sets, theorems notes
parallel java » parallel data, parallel scara, parallel a
processing function » processing functions, processing functional, processing fiction
function theorems » function theorem, function theories, function theory
java processing » data processing, data processings, data processsing
theorems https » theory https, theorems sets, theorems notes
parallel java » parallel data, parallel scara, parallel a
1
Julkaistu 2010
Sisällysluettelo:
“...: an Ambassador Driven Process in Distributed Software Companies -- An Equivalence Theorem for the Specification...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”Hae kokoteksti
Elektroninen
E-kirja