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 (Record no. 22690)

000 -LEADER
fixed length control field 00573nam a2200181Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 161214s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642152399
Terms of availability hbk
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number CAL
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Calude, Cristian S.
245 #0 - TITLE STATEMENT
Title 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
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin:
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc 2010
300 ## - PHYSICAL DESCRIPTION
Extent xii, 385 p.;
Other physical details ill.:
Dimensions 24 cm.
365 ## - TRADE PRICE
Price type code INR
Price amount 6697.60/ EURO 92.00
490 ## - SERIES STATEMENT
Series statement IFIP adances in information and communication technology
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computational complexity
Topical term or geographic name as entry element Polarized Resolution Modulo
Topical term or geographic name as entry element Computer science
Topical term or geographic name as entry element Computer networks
Topical term or geographic name as entry element Computation by Abstract Devices
Topical term or geographic name as entry element Logics and Meanings of Programs
Topical term or geographic name as entry element Informatique
Topical term or geographic name as entry element Programming Techniques
Topical term or geographic name as entry element Software Engineering
Topical term or geographic name as entry element Computer Communication Networks
Topical term or geographic name as entry element Algorithm Analysis and Problem Complexity
Topical term or geographic name as entry element ​Programming and Operating Systems
Topical term or geographic name as entry element Software engineering
Topical term or geographic name as entry element Computer programming
Topical term or geographic name as entry element Algorithms
Topical term or geographic name as entry element Computer logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Sassone, Vladimiro
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Date acquired Source of acquisition Cost, normal purchase price Full call number Barcode Koha item type
          DAIICT DAIICT 2011-12-10 Baroda Book Corporation; Invoice No# 957 ; 06-12-2011 6697.60 004 CAL 026333 Books

Powered by Koha