Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Theoretical Computer Science

Name: Theoretical Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561191
Price: 19972 HUF
Availability: InStock
Author: Mario Coppo
ISBN: 9783540291060

9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Mario Coppo

Elena Lodi

G. Michele Pinna

Language

English

Book Paperback

Libristo code: 01561191

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2005

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Co... Full description

Libristo code: 01561191

136 b

19 972 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ley de suelo : texto refundido y reglamento de valoraciones EDITORIAL TECNOS

Paperback

4 267 Ft

Lógica formal, lógica dialéctica LEFEBVRE

Paperback

4 870 Ft

Die Müglitztalbahn Heidenau - Altenberg Bernd Kuhlmann

Hardback

11 470 Ft

Nebelhirn Simon Keller

Paperback

5 102 Ft

Dějiny Slovenska Dušan Kováč

Hardback

9 207 Ft

Traditori! I più grandi tradimenti della storia Domenico Vecchioni

Paperback

6 544 Ft

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.