Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Lecture Notes in Computer Science 2841 (Paperback)
  • Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Lecture Notes in Computer Science 2841 (Paperback)
zoom

Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Lecture Notes in Computer Science 2841 (Paperback)

(editor), (editor)
£67.99
Paperback 400 Pages / Published: 29/09/2003
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro, Italy, on October 13-15 2003. The center is composed of three large historical and monumental buildings not far from one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L'Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci?cation and ve- ?cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi?cation of Memory Usage), and G' erard Boudol (On Programming Models for Mobility).

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540202165
Number of pages: 400
Weight: 1280 g
Dimensions: 235 x 155 x 21 mm
Edition: 2003 ed.

You may also be interested in...

Don't Make Me Think, Revisited
Added to basket
BTEC Level 3 National IT Student Book 2
Added to basket
Artificial Intelligence
Added to basket
The Elements of Statistical Learning
Added to basket
Introducing Artificial Intelligence
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback
Designing Interfaces
Added to basket
Portfolio, programme and project offices
Added to basket
The Singularity Is Near
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Computing with Quantum Cats
Added to basket
Business Analysis Techniques
Added to basket
AQA A level Computer Science
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.