1
Được phát hành 2014
Mục lục: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... Searching with DOP-Trees -- Matching Point Sets with Respect to the Earth Mover’s Distance -- Small Stretch...
lấy văn bản
Điện tử eBook