Catalog

Record Details

Catalog Search


Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings Cover Image E-book E-book

Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari.

Cerone, Antonio. (editor.). Pihlajasaari, Pekka. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642232831
  • Physical Description: X, 267p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Algorithm Analysis and Problem Complexity.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01849nam a22004575i 4500
00141723
003CONS
00520130726165112.0
007cr nn 008mamaa
008110824s2011 gw | s |||| 0|eng d
020 . ‡a9783642232831 ‡9978-3-642-23283-1
0247 . ‡a10.1007/978-3-642-23283-1 ‡2doi
035 . ‡a(DE-He213)978-3-642-23283-1
050 4. ‡aQA75.5-76.95
072 7. ‡aUYZG ‡2bicssc
072 7. ‡aCOM037000 ‡2bisacsh
1001 . ‡aCerone, Antonio. ‡eeditor.
24510. ‡aTheoretical Aspects of Computing – ICTAC 2011 ‡h[electronic resource] : ‡b8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / ‡cedited by Antonio Cerone, Pekka Pihlajasaari.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aX, 267p. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6916
650 0. ‡aComputer science.
650 0. ‡aSoftware engineering.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aComputation by Abstract Devices.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSoftware Engineering.
65024. ‡aAlgorithm Analysis and Problem Complexity.
7001 . ‡aPihlajasaari, Pekka. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642232824
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6916
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-23283-1 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a41723 ‡b ‡c41723 ‡tbiblio ‡sSystem Local

Additional Resources