Catalog

Record Details

Catalog Search



CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings  Cover Image E-book E-book

CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro.

Record details

  • ISBN: 9783642040818
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Theory of Computation.

Electronic resources


LDR 01948nam a22005175i 4500
00138382
003CONS
00520131220051122.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642040818 ‡9978-3-642-04081-8
0247 . ‡a10.1007/978-3-642-04081-8 ‡2doi
035 . ‡a(DE-He213)978-3-642-04081-8
050 4. ‡aQA76.9.L63
050 4. ‡aQA76.5913
050 4. ‡aQA76.63
072 7. ‡aUM ‡2bicssc
072 7. ‡aUYF ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
072 7. ‡aCOM036000 ‡2bisacsh
1001 . ‡aBravetti, Mario. ‡eeditor.
24510. ‡aCONCUR 2009 - Concurrency Theory ‡h[electronic resource] : ‡b20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / ‡cedited by Mario Bravetti, Gianluigi Zavattaro.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡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 ; ‡v5710
650 0. ‡aComputer science.
650 0. ‡aInformation theory.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
65014. ‡aComputer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aModels and Principles.
65024. ‡aComputation by Abstract Devices.
65024. ‡aMathematics of Computing.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aTheory of Computation.
7001 . ‡aZavattaro, Gianluigi. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642040801
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5710
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-04081-8 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38382 ‡b ‡c38382 ‡tbiblio ‡sSystem Local

Additional Resources