0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Theoretical Computer Science - 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Paperback, 2003 ed.) Loot Price: R1,631
Discovery Miles 16 310
Theoretical Computer Science - 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings...

Theoretical Computer Science - 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Paperback, 2003 ed.)

Carlo Blundo, Cosimo Laneve

Series: Lecture Notes in Computer Science, 2841

 (sign in to rate)
Loot Price R1,631 Discovery Miles 16 310 | Repayment Terms: R153 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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)."

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2841
Release date: September 2003
First published: 2003
Editors: Carlo Blundo • Cosimo Laneve
Dimensions: 235 x 155 x 21mm (L x W x T)
Format: Paperback
Pages: 400
Edition: 2003 ed.
ISBN-13: 978-3-540-20216-5
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
LSN: 3-540-20216-1
Barcode: 9783540202165

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,282 R1,152 Discovery Miles 11 520
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,321 R1,183 Discovery Miles 11 830
Systems Analysis And Design
Scott Tilley Hardcover R1,301 R1,167 Discovery Miles 11 670
Discovering Computers (c)2017
Mark Frydenberg, Misty Vermaat, … Paperback  (3)
R966 Discovery Miles 9 660
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,188 R1,072 Discovery Miles 10 720
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,153 R878 Discovery Miles 8 780
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R6,468 Discovery Miles 64 680
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,271 R1,142 Discovery Miles 11 420
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,258 R1,128 Discovery Miles 11 280
Program Construction - Calculating…
Roland Backhouse Paperback R1,358 Discovery Miles 13 580
Introduction to the Theory of…
Michael Sipser Hardcover R1,270 R1,136 Discovery Miles 11 360
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,207 R1,082 Discovery Miles 10 820

See more

Partners