Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Theoretical Computer Science

Name: Theoretical Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09119124
Price: 19702 HUF
Availability: InStock
Author: Christian S. Calude
ISBN: 9783642423116

6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings

Christian S. Calude

Vladimiro Sassone

Language

English

Book Paperback

Libristo code: 09119124

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2014

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conferenc... Full description

Libristo code: 09119124

132 b

19 702 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

BLACK BUTLER 23 Yana Toboso

Paperback

3 279 Ft

Demian HESSE

Paperback

3 264 Ft

Précis analytique des travaux de l'Académie royale des sciences, belles-lettres et arts de Rouen Auteur inconnu

Paperback

20 466 Ft

Arabsko-český a česko-arabský slovník Luboš Kropáček

Hardback

10 392 Ft

Was dir deine Kräuter sagen Claudia Zütphen van

Paperback

10 045 Ft

Laáramlás Laár András

Hardback

4 719 Ft

Élaboration des moyens de maîtrise des risques professionnels Fahd Belmajdoub

Paperback

32 713 Ft

Манюня Наринэ Абгарян

Hardback

8 532 Ft

Hector Berlioz und seine Harold-Symphonie Ferenc Liszt

Paperback

4 747 Ft

Беседуя с серийными убийцами. Глубокое погружение в разум самых жестоких людей в мире Кристофер Берри-Ди

Hardback

7 292 Ft

?El invierno ya está aquí! Albert Asensio

Paperback

4 057 Ft

TRILOGIA CULPABLES (PACK CON: CULPA MIA / CULPA TUYA / CULPA NUESTRA) RON

Book

13 100 Ft

Les ennemis intimes de la democratie Tzvetan Todorov

Paperback

3 472 Ft

Piatnik Tarot Marseillský

Cards

9 311 Ft

Historici graeci minores Ludwig August Dindorf

Paperback

18 730 Ft

La españa corrupta JAUME MUÑOZ JOFRE

Hardback

8 353 Ft

Io Parlo Italiano (abordagem): Gramática Italiana - Livro de Italiano Thais Menegotto

Paperback

6 290 Ft

Die vier Perspektiven der Balanced Scorecard. Kennzahlen, Anwendung und Vor- und Nachteile Maximilian Mayr

Paperback

6 766 Ft

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.