Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
mathematics » mathematical
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
mathematics » mathematical
1
Izdano 2005
Kazalo:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2008
Kazalo:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2008
Kazalo:
“... -- Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous...”Polni tekst
Elektronski
eKnjiga
4
Izdano 2007
Kazalo:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2005
Kazalo:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Polni tekst
Elektronski
eKnjiga