SOFSEM 2007: Theory and Practice of Computer Science
SOFSEM 2007: Theory and Practice of Computer Science

Author: Jan van Leeuwen

Publisher: Springer

Published: 2007-07-13

Total Pages: 956

ISBN-13: 3540695079

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed and selected from 283 submissions. The papers were organized in four topical tracks.

SOFSEM 2009: Theory and Practice of Computer Science
SOFSEM 2009: Theory and Practice of Computer Science

Author: Mogens Nielsen

Publisher: Springer Science & Business Media

Published: 2009-01-12

Total Pages: 685

ISBN-13: 3540958908

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

SOFSEM 2005: Theory and Practice of Computer Science
SOFSEM 2005: Theory and Practice of Computer Science

Author: Maria Bieliková

Publisher: Springer Science & Business Media

Published: 2005-01-27

Total Pages: 442

ISBN-13: 354024302X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2005, held in Liptovský Ján, Slovakia in January 2005. The 28 revised full papers and 16 revised short papers presented together with 8 invited contributions were carefully reviewed and selected from 144 submissions. The papers were organized in four topical tracks on foundations of computer science, modeling and searching data in the web area, software engineering, and graph drawing and discrete computational mathematics.

Algorithms – ESA 2005
Algorithms – ESA 2005

Author: Gerth S. Brodal

Publisher: Springer

Published: 2005-10-07

Total Pages: 918

ISBN-13: 3540319514

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th Annual European Symposium on Algorithms, ESA 2005, held in Palma de Mallorca, Spain, in September 2005 in the context of the combined conference ALGO 2005. The 75 revised full papers presented together with abstracts of 3 invited lectures were carefully reviewed and selected from 244 submissions. The papers address all current issues in algorithmics reaching from design and mathematical issues over real-world applications in various fields up to engineering and analysis of algorithms.

Information Security
Information Security

Author: Sokratis K. Katsikas

Publisher: Springer Science & Business Media

Published: 2006-08-17

Total Pages: 559

ISBN-13: 3540383417

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Information Security, ISC 2006, held on Samos Island, Greece in August/September 2006. The 38 revised full papers presented were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections.

Experimental and Efficient Algorithms
Experimental and Efficient Algorithms

Author: Sotiris E. Nikoletseas

Publisher: Springer

Published: 2005-05-03

Total Pages: 637

ISBN-13: 3540320784

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Workshop on Experimental and Efficient Algorithms, WEA 2005, held in Santorini Island, Greece in May 2005. The 47 revised full papers and 7 revised short papers presented together with extended abstracts of 3 invited talks were carefully reviewed and selected from 176 submissions. The book is devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, data mining, data analysis, etc.

Handbook of Financial Cryptography and Security
Handbook of Financial Cryptography and Security

Author: Burton Rosenberg

Publisher: CRC Press

Published: 2010-08-02

Total Pages: 612

ISBN-13: 1420059823

DOWNLOAD EBOOK

The Handbook of Financial Cryptography and Security elucidates the theory and techniques of cryptography and illustrates how to establish and maintain security under the framework of financial cryptography. It applies various cryptographic techniques to auctions, electronic voting, micropayment systems, digital rights, financial portfolios, routing

Structural Information and Communication Complexity
Structural Information and Communication Complexity

Author: Giuseppe Prencipe

Publisher: Springer Science & Business Media

Published: 2007-06

Total Pages: 352

ISBN-13: 3540729186

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2007, held in Castiglioncello, Italy in June 2007. The 23 revised full papers and four invited talks cover graph exploration, fault tolerance, distributed algorithms and data structures, location problems, wireless networks, fault tolerance, as well as parallel computing and selfish routing.