Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
arrays via » arrays a
programming reasoning » programming learning, programming designing, programming evolving
function computation » function computing, function decomposition, section computational
arrays via » arrays a
1
Veröffentlicht 2010
Inhaltsangabe:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2005
Inhaltsangabe:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2015
Inhaltsangabe:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2005
Inhaltsangabe:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2013
Inhaltsangabe:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Volltext
Elektronisch
E-Book
6
Veröffentlicht 2010
Inhaltsangabe:
“...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”Volltext
Elektronisch
E-Book