Related Books

Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 727
Authors: Iliano Cervesato
Categories: Computers
Type: BOOK - Published: 2008-11-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008,
Parameterized and Exact Computation
Language: en
Pages: 289
Authors: Hans L. Bodlaender
Categories: Computers
Type: BOOK - Published: 2006-09-14 - Publisher: Springer

DOWNLOAD EBOOK

Here are the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation, IWPEC 2006, held in the context of the combined c
Combinatorial and Algorithmic Aspects of Networking
Language: en
Pages: 157
Authors: Jeannette Janssen
Categories: Computers
Type: BOOK - Published: 2007-12-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2007,
Algorithms and Computation
Language: en
Pages: 962
Authors: Seok-Hee Hong
Categories: Computers
Type: BOOK - Published: 2008-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Symposium on Algorithms and Computation, ISAAC 2008, held in Gold Coast, Australia in D
Parameterized and Exact Computation
Language: en
Pages: 235
Authors: Martin Grohe
Categories: Computers
Type: BOOK - Published: 2008-05-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada,