Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
arrays a » arrays _
1
Argitaratua 2005
Aurkibidea:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... -- Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Testu osoa
Baliabide elektronikoa
eBook