1
Published 2010
Table of Contents: ... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook