Related Books

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006
Language: en
Pages: 313
Authors: Gonzalo Navarro
Categories: Computers
Type: BOOK - Published: 2006-12-15 - Publisher: Springer

DOWNLOAD EBOOK

The papers contained in this volume were presented at the fourth edition of the IFIP International Conference on Theoretical Computer Science (IFIP TCS), held A
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
Language: en
Pages: 541
Authors: Giorgio Ausiello
Categories: Business & Economics
Type: BOOK - Published: 2008-07-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and commu
Formal Methods for Components and Objects
Language: en
Pages: 307
Authors: Marcello M. Bonsangue
Categories: Computers
Type: BOOK - Published: 2009-09-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development
Algorithms and Complexity
Language: en
Pages: 394
Authors: Josep Diaz
Categories: Computers
Type: BOOK - Published: 2010-05-11 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Algorithms and Computation, CIAC 2010, held in Rome, Italy, in May 2010. T
SOFSEM 2006: Theory and Practice of Computer Science
Language: en
Pages: 591
Authors: JirĂ­ Wiedermann
Categories: Computers
Type: BOOK - Published: 2006-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2006, held in Merin,