Fortæl dine venner om denne vare:
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - Theoretical Computer Science and General Issues 2013 edition
Zhiming Liu
Pris
Íkr 8.523,75
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 17. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - Theoretical Computer Science and General Issues 2013 edition
Zhiming Liu
This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
460 pages, 100 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 15. juli 2013 |
| ISBN13 | 9783642397172 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 445 |
| Mål | 155 × 235 × 26 mm · 653 g |
| Sprog | Tysk |
| Klipper/redaktør | Liu, Zhiming |
| Klipper/redaktør | Woodcock, Jim |
| Klipper/redaktør | Zhu, Huibiao |
![Cover for Zhiming Liu · Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday - Theoretical Computer Science and General Issues (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/977/9783642396977.jpg?zhiming-liu-2013-theories-of-programming-and-formal-methods-essays-dedicated-to-jifeng-he-on-the-occasion-of-his-70th-birthday-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1533469082)
![Cover for Zhiming Liu · Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures - Theoretical Computer Science and General Issues (Paperback Bog) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/202/9783642397202.jpg?zhiming-liu-2013-unifying-theories-of-programming-and-formal-engineering-methods-international-training-school-on-software-engineering-held-at-ictac-2013-shanghai-china-august-26-30-2013-advanced-lectures-theoretical-computer-science-and-general-issues-pap&class=scaled&v=1603350747)
![Cover for Zhiming Liu · Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers - Programming and Software Engineering (Paperback Bog) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/546/9783642323546.jpg?zhiming-liu-2012-foundations-of-health-informatics-engineering-and-systems-first-international-symposium-fhies-2011-johannesburg-south-africa-august-29-30-2011-revised-selected-papers-programming-and-software-engineering-paperback-bog&class=scaled&v=1525268977)
![Cover for Zhiming Liu · Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/602/9783642047602.jpg?zhiming-liu-2009-automated-technology-for-verification-and-analysis-7th-international-symposium-atva-2009-macao-china-october-14-16-2009-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1584127096)
![Cover for Zhiming Liu · Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Lecture Notes in Computer Science (Paperback Bog) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/609/9783540474609.jpg?zhiming-liu-2006-formal-methods-and-software-engineering-8th-international-conference-on-formal-engineering-methods-icfem-2006-macao-china-november-1-3-2006-proceedings-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1524928013)
![Cover for Zhiming Liu · Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Bog) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/044/9783540253044.jpg?zhiming-liu-2005-theoretical-aspects-of-computing-ictac-2004-first-international-colloquium-guiyand-china-september-20-24-2004-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1454574539)