ENGLISH

Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

By Cristian S. Calude , Bart Jacobs (auth.) , Vladimiro Sassone (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
978-3-642-15239-9, 978-3-642-15240-5
DOI
10.1007/978-3-642-15240-5
Language
english
Format
PDF
Filesize
7 MB (7349637 bytes)
Series
IFIP Advances in Information and Communication Technology 323
Edition
1
Pages
388\396
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Algorithm Analysis and Problem Complexity; Logics

Description

This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions. TCS 2010 deals with topics focused at but not limited to algorithms, complexity, models of computation, logic, semantics, specification and verification, power-awareness issues in wireless networks, data mining, knowledge discovery, multiprocessor issues as well as AI issues.

Similar books