Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
arrays via » arrays a
programming reasoning » programming learning, programming designing, programming evolving
function computing » education computing, generation computing
arrays via » arrays a
1
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”Tam Metin Erişim
Elektronik
Ekitap