1
Published 2006
Table of Contents: ... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...
View full text
Electronic eBook