Cover Image

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 /

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 review...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Calude, Cristian S. (Editor), Sassone, Vladimiro. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:IFIP Advances in Information and Communication Technology, 323
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Software Engineering.
Mathematical Logic and Formal Languages.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15240-5
LEADER 02687nam a22005295i 4500
001 11118
003 DE-He213
005 20130725201336.0
007 cr nn 008mamaa
008 100807s2010 gw | s |||| 0|eng d
020 # # |a 9783642152405  |9 978-3-642-15240-5 
024 7 # |a 10.1007/978-3-642-15240-5  |2 doi 
050 # 4 |a QA76.9.A43 
072 # 7 |a UMB  |2 bicssc 
072 # 7 |a COM051300  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
100 1 # |a Calude, Cristian S.  |e editor. 
245 1 0 |a Theoretical Computer Science  |b 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /  |c edited by Cristian S. Calude, Vladimiro Sassone.  |h [electronic resource] : 
264 # 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 # # |a XII, 387p. 62 illus.  |b online resource. 
336 # # |a text  |b txt  |2 rdacontent 
337 # # |a computer  |b c  |2 rdamedia 
338 # # |a online resource  |b cr  |2 rdacarrier 
347 # # |a text file  |b PDF  |2 rda 
490 1 # |a IFIP Advances in Information and Communication Technology,  |v 323  |x 1868-4238 ; 
520 # # |a 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. 
650 # 0 |a Computer science. 
650 # 0 |a Computer Communication Networks. 
650 # 0 |a Software engineering. 
650 # 0 |a Computer software. 
650 # 0 |a Logic design. 
650 1 4 |a Computer Science. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Software Engineering. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Mathematical Logic and Formal Languages. 
700 1 # |a Sassone, Vladimiro.  |e editor. 
710 2 # |a SpringerLink (Online service) 
773 0 # |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642152399 
830 # 0 |a IFIP Advances in Information and Communication Technology,  |v 323  |x 1868-4238 ; 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15240-5 
912 # # |a ZDB-2-SCS 
950 # # |a Computer Science (Springer-11645) 

Similar Items