It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
October 16, 2008 | History
Edit

Zhiming Liu

We need a photo of Zhiming Liu

Born 1906

7 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Qing suan Xiao Jun de fan dong si xiang

    First published in 1949 — 5 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings

    First published in 2009 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Lun zi ben zhu yi

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Xiao Jun pi pan: guan yu Xiao Jun ji qi Wen hua bao suo fan cuo wu de pi ping

    First published in 1949 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Xiao Jun si xiang pi pan

    First published in 2012 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday

    First published in 2013 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures

    First published in 2013 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Zhiming Liu

Born 1906

Subjects

Computer science, Software engineering, Chinese Authors, Computer programming, Criticism and interpretation, Information theory, Theory of Computation, Artificial Intelligence (incl. Robotics), Artificial intelligence, Automatic theorem proving, Capitalism, Computer simulation, Computer software, Congresses, Economics, Eingebettetes System, Formal methods (Computer science), Formale Methode, Hardwareentwurf, Hybrides System, Kongress, Logic design, Model Checking, Simulation and Modeling, Softwareentwicklung

People

Jun Xiao (1908-1988), Jun Xiao (1908-)

Time

20th century

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL5458054A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 16, 2008 Created by ImportBot Imported from University of Toronto MARC record