Toggle navigation
W Danii od 2005 roku
PLN
AUD
(Australian Dollars)
A$
BRL
(Brazilian real)
R$
CAD
(Canadian Dollars)
CA$
CHF
(Swiss francs)
Fr.
CNY
(Chinese yuan)
元
CZK
(Czech koruny)
Kč
DKK
(Danske kroner)
EUR
(Euro)
€
GBP
(Pounds Sterling)
£
HKD
(Hong Kong dollars)
HK$
HUF
(Hungarian forints)
Ft
ILS
(Israeli shekel)
₪
ISK
(Icelandic kronur)
Íkr
JPY
(Japanese yen)
¥
KRW
(South Korean won)
₩
MXN
(Mexican peso)
Mex$
NOK
(Norwegian kroner)
NOK
NZD
(New Zealand dollars)
PLN
(Polish złotys)
zł
SEK
(Svenske kroner)
SEK
SGD
(Singapore dollars)
S$
TRY
(Turkish lira)
₺
USD
(Dollars)
$
ZAR
(South African rand)
R
Dansk
Deutsch
Deutsch (Switzerland)
English
English (Australia)
English (Canada)
English (United Kingdom)
Español
Français
Nederlands
Norsk
Polski
Português
Português do Brasil
Suomi
Svenska
Vlaamse (Belgium)
Szukaj
Szukaj
Szukaj
Zaawansowane opcje wyszukiwania
Obsługa klienta
Obsługa klienta
Obsługa klienta
Ogólne FAQ
FAQ dotyczące winyli
Kontakt
Karta Podarunkowa
Zaloguj się
Szukaj
Wszystkie 7 wydania Zhiming Liu na Bog med blødt oms...t ryg
Home
Oferty
Winyle
CD
K-pop
Filmy
Książki
Merchandise
Home
Home
Oferty
Winyle
CD
K-pop
Filmy
Książki
Gadżety
Szukaj
Pokazujący
Paperback Book
·
Pokaż wszystko
Pokaż niedostępne przedmioty
Wydania przez
Zhiming Liu
8 marca 2005 – 31 lipca 2013
Paperback Book
2013 edition
Theories of Programming and Form...
(2013)
Zhiming Liu
zł 284,90
Kup
Paperback Book
2013 edition
Unifying Theories of Programming...
(2013)
Zhiming Liu
zł 284,90
Kup
Paperback Book
2013 edition
Theoretical Aspects of Computing...
(2013)
Zhiming Liu
zł 284,90
Kup
Paperback Book
2012 edition
Foundations of Health Informatic...
(2012)
Zhiming Liu
zł 361,90
Kup
Paperback Book
2009 edition
Automated Technology for Verific...
(2009)
Zhiming Liu
zł 284,90
Kup
Paperback Book
2006 edition
Formal Methods and Software Engi...
(2006)
Zhiming Liu
zł 531,90
Kup
Paperback Book
2005 edition
Theoretical Aspects of Computing...
(2005)
Zhiming Liu
zł 531,90
Kup
![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 Book) [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-book&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 Book) [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 · Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/172/9783642397172.jpg?zhiming-liu-2013-theoretical-aspects-of-computing-ictac-2013-10th-international-colloquium-shanghai-china-september-4-6-2013-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1508352716)
![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 Book) [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-book&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 Book) [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-book&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 Book) [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-book&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 Book) [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-book&class=scaled&v=1454574539)