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

Huibiao Zhu

We need a photo of Huibiao Zhu

7 works Add another?

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

  • Cover of: Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

    First published in 2013 — 3 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: Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

    First published in 2003 — 2 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: 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 26-30, 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
  • Cover of: Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    First published in 2017 — 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: Service-Oriented Computing - ICSOC Workshops 2012

    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: Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

    First published in 2010 — 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 Huibiao Zhu

Subjects

Computer programming, Computer science, Congresses, Software engineering, Computer engineering, Computer network architectures, Computer networks, Computer science, mathematics, Computer software, Electronic data processing, Electronic data processing, distributed processing, Entscheidungsverfahren, Formal methods (Computer science), Formale Methode, Information storage and retrieval systems, Information theory, Leistungsbewertung, Management information systems, Model Checking, Programmanalyse, Programmtest, Programmverifikation, Serviceorientierte Architektur, Softwareentwicklung, Web Services

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7300998A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 14, 2016 Created by Mek Added new book.