Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Computers (5)
Nonfiction (2)
Professional & Vocational (1)
Science (1)
Sold By
All Sellers
Fishpond (5)
Format
All Formats
Paperback (4)
Hardback (1)
    Results for "Naijun Zhan"
    Naijun Zhan
    5 results
    Refine By
    Category
    Computers (5)
    Nonfiction (2)
    Professional & Vocational (1)
    Science (1)
    Sold By
    All Sellers
    Fishpond (5)
    Format
    All Formats
    Paperback (4)
    Hardback (1)
      5 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Symposium on Real-Time and ­Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))
      By Cliff Jones, Ji Wang, Naijun Zhan
      Symposium on Real-Time and ­Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))
      By Cliff Jones, Ji Wang, Naijun Zhan
      HK$471
      Formal Methods (24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Marieke Huisman, Corina Păsăreanu, Naijun Zhan
      Formal Methods (24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Marieke Huisman, Corina Păsăreanu, Naijun Zhan
      HK$1,082
      Formal Verification of ­Simulink/Stateflow Diagrams (A Deductive Approach)
      By Zhan, Naijun, Zhao, Hengjun, Hengjun Zhao
      Formal Verification of ­Simulink/Stateflow Diagrams (A Deductive Approach)
      By Zhan, Naijun, Zhao, Hengjun, Hengjun Zhao
      HK$1,300
      Dependable Software ­Engineering: Theories, ­Tools, and Applications (Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))
      By Martin Franzle, Deepak Kapur, Naijun Zhan
      Dependable Software ­Engineering: Theories, ­Tools, and Applications (Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))
      By Martin Franzle, Deepak Kapur, Naijun Zhan
      HK$799
      Formal Verification of ­Simulink/Stateflow Diagrams (A Deductive Approach)
      By Zhan, Naijun, Zhao, Hengjun, Hengjun Zhao
      Formal Verification of ­Simulink/Stateflow Diagrams (A Deductive Approach)
      By Zhan, Naijun, Zhao, Hengjun, Hengjun Zhao
      HK$1,279