Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Theoretical Computer Science

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561191

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2005

This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Co... Descrizione completa

Codice Libristo: 01561191

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

11.79 €

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

In brossura

13.49 €

Die Müglitztalbahn Heidenau - Altenberg Bernd Kuhlmann

Rigido

30.79 €

Nebelhirn Simon Keller

In brossura

13.69 €

Dějiny Slovenska Dušan Kováč

Rigido

26.99 €

Traditori! I più grandi tradimenti della storia Domenico Vecchioni

In brossura

19.09 €

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.