Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Theoretical Computer Science

Name: Theoretical Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561191
Price: 54.49 EUR
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

Língua

Inglês

Livro Capa mole

Código Libristo: 01561191

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2005

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Co... Descrição completa

Código Libristo: 01561191

132 b

54.49 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Capa mole

11.34 €

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

Capa mole

12.96 €

Die Müglitztalbahn Heidenau - Altenberg Bernd Kuhlmann

Livro de capa dura

31.19 €

Rundum geborgen Susanne Mierau

Livro de capa dura

12.96 €

Nebelhirn Simon Keller

Capa mole

13.87 €

DROIT GÉNÉRAL - 6ÈME ÉDITION MOREL-JOURNEL C. Livro

Capa mole

33.22 €

Dějiny Slovenska Dušan Kováč

Livro de capa dura

26.63 €

Traditori! I più grandi tradimenti della storia Domenico Vecchioni

Capa mole

17.21 €

Základy lekárskej fyziológie Daniela Ostatníková

binding.

16.50 €

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.