Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 - IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy (Hardcover, 2008 ed.)

The papers containedin this volume were presentedat the 5th IFIP InternationalC- ference on Theoretical Computer Science (IFIP TCS), 7-10 September 2008, Milan, Italy. TCS is a bi-annual conference.The ?rst conferenceof the series was held in Sendai (Japan, 2000), followed by Montreal (Canada, 2002), Toulouse (France, 2004) and Santiago (Chile, 2006).TCS is organizedby IFIP TC1 (Technical Committee 1: Fo- dations of Computer Science) and Working Group 2.2 of IFIP TC2 (Technical C- mittee 2: Software: Theory and Practice). TCS 2008 was part of the 20th IFIP World Computer Congress (WCC 2008), constituting the TC1 Track of WCC 2008. The contributed papers were selected from 36+45 submissions from altogether 30 countries. A total of 14+16 submissions were accepted as full papers. Papers in this volume are original contributions in two general areas: Track A: Algorithms, C- plexity and Models of Computation;and Track B: Logic, Semantics, Speci?cation and Veri?cation. The conference also included seven invited presentations, from Luca Cardelli, Thomas Ehrhard, Javier Esparza, Antonio Restivo, Tim Roughgarden, Gr- gorz Rozenberg and Avraham Trakhtman. These presentations are included (except one) in this volume. In particular, Luca Cardelli, Javier Esparza, Antonio Restivo, Tim Roughgarden and Avraham Trakhtman accepted our invitation to write full papers - lated to their talks.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Series:	IFIP Advances in Information and Communication Technology, 273
Release date:	July 2008
First published:	2008
Editors:	Giorgio Ausiello • Juhani Karhumaki • Giancarlo Mauri • Luke Ong
Dimensions:	235 x 156 x 31mm (L x W x T)
Format:	Hardcover
Pages:	554
Edition:	2008 ed.
ISBN-13:	978-0-387-09679-7
Categories:	Books > Science & Mathematics > Science: general issues > History of science Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Books > Business & Economics > Industry & industrial studies > Media, information & communication industries > Information technology industries
LSN:	0-387-09679-5
Barcode:	9780387096797

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!