1
Опубликовано 2006
Оглавление: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... -- Contributions -- Semi-continuous Sized Types and Termination -- Visibly Pushdown Automata: From Language...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2013
Оглавление: ...-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2013
Оглавление: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2010
Оглавление: ... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2006
Оглавление: ... and Function of Anastomosis in Filamentous Ascomycete Fungi -- Heterogenic Incompatibility in Fungi...
Полный текст
Электронный ресурс eКнига