Catalog

Record Details

Catalog Search

[ 2 filters applied ]

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 Cover Image E-book E-book

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

Calude, Cristian S. (editor.). Sassone, Vladimiro. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642152405
  • Physical Description: electronic
    electronic resource
    access
    remote
    XII, 387p. 62 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject: 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
Computer Communication Networks
Mathematical Logic and Formal Languages

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02024nam a22004815i 4500
00138872
003CONS
00520131220072210.0
007cr nn 008mamaa
008100807s2010 gw | s |||| 0|eng d
020 . ‡a9783642152405 ‡9978-3-642-15240-5
0247 . ‡a10.1007/978-3-642-15240-5 ‡2doi
035 . ‡a(DE-He213)978-3-642-15240-5
050 4. ‡aQA76.9.A43
072 7. ‡aUMB ‡2bicssc
072 7. ‡aCOM051300 ‡2bisacsh
1001 . ‡aCalude, Cristian S. ‡eeditor.
24510. ‡aTheoretical Computer Science ‡h[electronic resource] : ‡b6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / ‡cedited by Cristian S. Calude, Vladimiro Sassone.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2010.
300 . ‡aXII, 387p. 62 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aIFIP Advances in Information and Communication Technology, ‡x1868-4238 ; ‡v323
650 0. ‡aComputer science.
650 0. ‡aComputer Communication Networks.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aComputation by Abstract Devices.
65024. ‡aSoftware Engineering.
65024. ‡aComputer Communication Networks.
65024. ‡aMathematical Logic and Formal Languages.
7001 . ‡aSassone, Vladimiro. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642152399
830 0. ‡aIFIP Advances in Information and Communication Technology, ‡x1868-4238 ; ‡v323
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-15240-5 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38872 ‡b ‡c38872 ‡tbiblio ‡sSystem Local

Additional Resources