Mohlo by se vám také líbit

Více informací o knize Theoretical Computer Science

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World Computer Congress held in Brisbane, Australia, during September 20 23, 2010 ( ). TCS 2010 is composed of two main areas: (A) Algorithms, Complexity and Models of Computation, and (B) Logic, Semantics, Speci?cation and Veri?cation. The selection process led to the acceptance of 23 papers out of 39 submissions, eachofwhichwasreviewedbythreeProgrammeCommitteemembers.TheProgramme Committee discussion was held electronically using Easychair. The invited speakers at TCS 2010 are: Rob van Glabbeek (NICTA, Australia) Bart Jacobs (Nijmegen, The Netherlands) Catuscia Palamidessi (INRIA and LIX, Paris, France) Sabina Rossi (Venice, Italy) James Harland (Australia) and Barry Jay (Australia) acted as TCS 2010 Chairs. We take this occasion to thank the members of the Programme Committees and the external reviewers for the professional and timely work; the conference Chairs for their support; the invited speakers for their scholarly contribution; and of course the authors for submitting their work to TCS 2010.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Theoretical Computer Science
• Podnázev: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
• Autor: Christian S. Calude, Vladimiro Sassone
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 388
• EAN: 9783642423116
• ISBN: 9783642423116
• ID: 09119124
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 611 g
• Rozměry: 235 × 155 × 22 mm
• Datum vydání: 13. November 2014

Oblíbené z jiného soudku

---

---

---