Theoretical Computer Science

Name: Theoretical Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540291060
Price: 277.38 RON
Availability: InStock

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

Autor: Mario Coppo, Elena Lodi, G. Michele Pinna

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

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

Informații despre carte

Autor

Mario Coppo, Elena Lodi, G. Michele Pinna

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2005

Pagini

411

EAN

9783540291060

ISBN

3540291067

Enbook ID

01561191

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1330

Dimensiuni

155 x 235 x 24

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Theoretical Computer Science

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Jewish Travel in Antiquity

The Logic of Figures or Comparative Results of Homeopathic and Other Treatments

St. Pius X: A Pictorial Biography

The Holy Spirit In The Life And Work Of The Believer

Organogenetic Gene Networks

Math Made Easy

Basic Guide to Eating Raw Food

Development of Oldest-Old Mortality, 1950-1990

Evolutionary Biology

Public Culture of the Victorian Middle Class

Glass Palace

Early Yorkshire Charters: Volume 10, The Trussebut Fee, with Some Charters of the Ros Fee

Biophysical Techniques

Clienții care au cumpărat această carte au mai cumpărat și

Ley de suelo : texto refundido y reglamento de valoraciones

Lógica formal, lógica dialéctica

Die Müglitztalbahn Heidenau - Altenberg

Nebelhirn

Dějiny Slovenska

Traditori! I più grandi tradimenti della storia