Coverart for item
The Resource Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009, Martin Leucker, Carroll Morgan (eds.)

Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009, Martin Leucker, Carroll Morgan (eds.)

Label
Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009
Title
Theoretical aspects of computing
Title remainder
6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009
Statement of responsibility
Martin Leucker, Carroll Morgan (eds.)
Title variation
ICTAC 2009
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
004.0151
Index
index present
LC call number
QA76.9.F67
LC item number
I283 2009
Literary form
non fiction
Nature of contents
dictionaries
Series statement
Lecture notes in computer science
Series volume
5684
Label
Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009, Martin Leucker, Carroll Morgan (eds.)
Link
http://dx.doi.org/10.1007/978-3-642-03466-4
Instantiates
Publication
Note
Includes index
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xii, 355 p.)
Form of item
electronic
Isbn
9783642034664
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
  • (OCoLC)ocn458562921
  • (OCoLC)ocn613331072
Label
Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009, Martin Leucker, Carroll Morgan (eds.)
Link
http://dx.doi.org/10.1007/978-3-642-03466-4
Publication
Note
Includes index
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type MARC source
rdacontent
Dimensions
unknown
Extent
1 online resource (xii, 355 p.)
Form of item
electronic
Isbn
9783642034664
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations.
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
  • (OCoLC)ocn458562921
  • (OCoLC)ocn613331072

Library Locations

Processing Feedback ...