You might also like

More about Theoretical Computer Science

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS 2005, held at the Certosa di Pontignano, Siena, Italy, in October 2005.§The 29 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 83 submissions. The papers address all current issues in theoretical computer science and focus especially on analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, natural computing paradigms (quantum computing, bioinformatics), program specification and verification, term rewriting, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.

Book details

Book category Books in English Computing & information technology Computer science

• Full title: Theoretical Computer Science
• Subtitle: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
• Author: Mario Coppo, Elena Lodi, G. Michele Pinna
• Language: English
• Binding: Paperback
• Number of pages: 411
• EAN: 9783540291060
• ISBN: 3540291067
• ID: 01561191
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 1330 g
• Dimensions: 235 × 155 × 24 mm
• Date of publishing: 28. September 2005

Trending among others

---

---

---