Sign-In
CartZhan, Naijun
Filters
Sort by
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Zhan, Naijun
Wang, Shuling
Zhao, Hengjun
Hardcover
$129.99
{"Id":20220057,"Title":"Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach","Authors":["Zhan, Naijun","Wang, Shuling","Zhao, Hengjun"],"ShortTitle":"Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach","Author":"Zhan, Naijun","Ean":"9783319470146","Isbn":"3319470140","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4717688,4810971,4810972],"CategoryIds":[617,877],"FormatId":1,"FamilyId":7367470,"SeriesId":null,"LanguageId":56,"PriceMin":129.99,"PriceMax":129.99,"Desirability":1,"PublicationDate":"2016-11-14T00:00:00","Join":null}
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Zhan, Naijun
Wang, Shuling
Zhao, Hengjun
Paperback
$129.99
{"Id":20234575,"Title":"Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach","Authors":["Zhan, Naijun","Wang, Shuling","Zhao, Hengjun"],"ShortTitle":"Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach","Author":"Zhan, Naijun","Ean":"9783319836386","Isbn":"3319836382","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4717688,4810971,4810972],"CategoryIds":[617,877],"FormatId":2,"FamilyId":7367470,"SeriesId":null,"LanguageId":56,"PriceMin":129.99,"PriceMax":129.99,"Desirability":0,"PublicationDate":"2018-06-29T00:00:00","Join":null}
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
André, Étienne
Wang, Jingyi
Zhan, Naijun
Paperback
$111.99
{"Id":28620053,"Title":"Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202","Authors":["Andr\u00E9, \u00C9tienne","Wang, Jingyi","Zhan, Naijun"],"ShortTitle":"Formal Methods and Software Engineering: 26th International Conference on\u2026","Author":"Andr\u00E9, \u00C9tienne","Ean":"9789819542123","Isbn":"981954212X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4730320,4720458,4717688],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":111.99,"PriceMax":111.99,"Desirability":0,"PublicationDate":"2025-11-12T00:00:00","Join":null}
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, P
Kapur, Deepak
Fränzle, Martin
Zhan, Naijun
Paperback
$76.99
{"Id":20220043,"Title":"Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, P","Authors":["Kapur, Deepak","Fr\u00E4nzle, Martin","Zhan, Naijun"],"ShortTitle":"Dependable Software Engineering: Theories, Tools, and Applications: Second\u2026","Author":"Kapur, Deepak","Ean":"9783319476766","Isbn":"3319476769","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4803101,4809231,4717688],"CategoryIds":[706,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2016-10-06T00:00:00","Join":null}
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Wang, Ji
Zhan, Naijun
Jones, Cliff
Paperback
$54.99
{"Id":20089911,"Title":"Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday","Authors":["Wang, Ji","Zhan, Naijun","Jones, Cliff"],"ShortTitle":"Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor\u2026","Author":"Wang, Ji","Ean":"9783030014605","Isbn":"3030014606","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4717687,4717688,12757966],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2018-09-29T00:00:00","Join":null}
Web Test Automation In Action: Volume 1: Hands-On Exercises with Selenium WebDriver and Playwright
Zhan, Courtney
Zhan, Zhimin
Paperback
$30.00
{"Id":27400373,"Title":"Web Test Automation In Action: Volume 1: Hands-On Exercises with Selenium WebDriver and Playwright","Authors":["Zhan, Courtney","Zhan, Zhimin"],"ShortTitle":"Web Test Automation In Action: Volume 1: Hands-On Exercises with Selenium\u2026","Author":"Zhan, Courtney","Ean":"9780648064657","Isbn":"0648064654","Publisher":"Leanpub","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3682613,3556817],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":30.0,"PriceMax":30.0,"Desirability":1,"PublicationDate":"2024-12-21T00:00:00","Join":null}
$30.00
{"Id":23197335,"Title":"Practical Continuous Testing: make Agile/DevOps real","Authors":["Zhan, Courtney","Zhan, Zhimin"],"ShortTitle":"Practical Continuous Testing: make Agile/DevOps real","Author":"Zhan, Courtney","Ean":"9781507742112","Isbn":"1507742118","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3682613,3556817],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":30.0,"PriceMax":30.0,"Desirability":1,"PublicationDate":"2021-10-25T00:00:00","Join":null}
Selenium Webdriver Recipes in C#: Practical Testing Solutions for Selenium Webdriver
Zhan, Courtney
Zhan, Zhimin
Paperback
$69.99
{"Id":25863894,"Title":"Selenium Webdriver Recipes in C#: Practical Testing Solutions for Selenium Webdriver","Authors":["Zhan, Courtney","Zhan, Zhimin"],"ShortTitle":"Selenium Webdriver Recipes in C#: Practical Testing Solutions for Selenium\u2026","Author":"Zhan, Courtney","Ean":"9798868800221","Isbn":"","Publisher":"Apress","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3682613,3556817],"CategoryIds":[617,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":69.99,"PriceMax":69.99,"Desirability":1,"PublicationDate":"2023-12-24T00:00:00","Join":null}
$23.94
{"Id":16348008,"Title":"Learn Ruby Programming by Examples","Authors":["Zhan, Courtney","Zhan, Zhimin"],"ShortTitle":"Learn Ruby Programming by Examples","Author":"Zhan, Courtney","Ean":"9781505882889","Isbn":"1505882885","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3682613,3556817],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":23.94,"PriceMax":23.94,"Desirability":1,"PublicationDate":"2015-01-01T00:00:00","Join":null}
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
Huisman, Marieke
Zhan, Naijun
Păsăreanu, Corina
Paperback
$119.99
{"Id":23254971,"Title":"Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings","Authors":["Huisman, Marieke","Zhan, Naijun","P\u0026#259;s\u0026#259;reanu, Corina"],"ShortTitle":"Formal Methods: 24th International Symposium, FM 2021, Virtual Event,\u2026","Author":"Huisman, Marieke","Ean":"9783030908690","Isbn":"3030908690","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2002989,4717688,9224035],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":9567805,"SeriesId":null,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":0,"PublicationDate":"2021-11-10T00:00:00","Join":null}
$89.99
{"Id":26565149,"Title":"Die Wahrnehmung Der S\u00FCdafrikanischen Eliten Gegen\u00FCber China","Authors":["Zhan, Mengshu"],"ShortTitle":"Die Wahrnehmung Der S\u00FCdafrikanischen Eliten Gegen\u00FCber China","Author":"Zhan, Mengshu","Ean":"9783658446215","Isbn":"3658446218","Publisher":"Springer vs","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12241384],"CategoryIds":[910],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":68,"PriceMin":89.99,"PriceMax":89.99,"Desirability":3,"PublicationDate":"2024-04-30T00:00:00","Join":null}
$48.93
{"Id":4306051,"Title":"Other-Worldly: Making Chinese Medicine Through Transnational Frames","Authors":["Zhan, Mei"],"ShortTitle":"Other-Worldly: Making Chinese Medicine Through Transnational Frames","Author":"Zhan, Mei","Ean":"9780822343844","Isbn":"0822343843","Publisher":"Duke University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1703314],"CategoryIds":[489],"FormatId":2,"FamilyId":11584230,"SeriesId":null,"LanguageId":56,"PriceMin":48.93,"PriceMax":48.93,"Desirability":3,"PublicationDate":"2009-11-09T00:00:00","Join":null}
$20.34
{"Id":27455196,"Title":"Funny Humour Book for Employees about Toxic Workplaces: Not HR Approved!","Authors":["Zhan, Mel"],"ShortTitle":"Funny Humour Book for Employees about Toxic Workplaces: Not HR Approved!","Author":"Zhan, Mel","Ean":"9798305728224","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11533805],"CategoryIds":[556],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":20.34,"PriceMax":20.34,"Desirability":3,"PublicationDate":"2025-01-05T00:00:00","Join":null}
$5.18
{"Id":22467143,"Title":"Ye Sheng Huo Shi Xuan","Authors":["Zhan, Wei\u0027en"],"ShortTitle":"Ye Sheng Huo Shi Xuan","Author":"Zhan, Wei\u0027en","Ean":"9787219011843","Isbn":"7219011849","Publisher":"Michigan State Univ Museum","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5492161],"CategoryIds":[558],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":80,"PriceMin":5.18,"PriceMax":5.18,"Desirability":2,"PublicationDate":"1989-12-31T00:00:00","Join":null}
$264.00
{"Id":25265979,"Title":"Fundamentals of Membrane Separation Technology","Authors":["Wang, Zhan"],"ShortTitle":"Fundamentals of Membrane Separation Technology","Author":"Wang, Zhan","Ean":"9780443139048","Isbn":"0443139040","Publisher":"Elsevier","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10314977],"CategoryIds":[617,775,840],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":264.0,"PriceMax":264.0,"Desirability":2,"PublicationDate":"2024-01-24T00:00:00","Join":null}
$18.01
{"Id":1058721,"Title":"Chinese: The Chinese Language Learning Guide for Beginners","Authors":["Yin, Zhan"],"ShortTitle":"Chinese: The Chinese Language Learning Guide for Beginners","Author":"Yin, Zhan","Ean":"9798667248064","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[425019],"CategoryIds":[520],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":18.01,"PriceMax":18.01,"Desirability":2,"PublicationDate":"2020-07-18T00:00:00","Join":null}
$109.99
{"Id":22762512,"Title":"Language Teachers at Work: Linking Materials with Classroom Teaching","Authors":["Li, Zhan"],"ShortTitle":"Language Teachers at Work: Linking Materials with Classroom Teaching","Author":"Li, Zhan","Ean":"9789811555176","Isbn":"9811555176","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5630786],"CategoryIds":[594,883,1217],"FormatId":2,"FamilyId":9385761,"SeriesId":null,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"2021-06-14T00:00:00","Join":null}
$49.95
{"Id":20393598,"Title":"Matrix Inequalities","Authors":["Zhan, Xingzhi"],"ShortTitle":"Matrix Inequalities","Author":"Zhan, Xingzhi","Ean":"9783540437987","Isbn":"3540437983","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4901672],"CategoryIds":[686,898],"FormatId":2,"FamilyId":7638403,"SeriesId":17609,"LanguageId":56,"PriceMin":49.95,"PriceMax":49.95,"Desirability":1,"PublicationDate":"2002-07-09T00:00:00","Join":null}
$32.93
{"Id":19304447,"Title":"Asian American Voices: Engaging, Empowering, Enabling","Authors":["Zhan, Lin"],"ShortTitle":"Asian American Voices: Engaging, Empowering, Enabling","Author":"Zhan, Lin","Ean":"9781934758007","Isbn":"1934758000","Publisher":"National League for Nursing","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1550834],"CategoryIds":[489,1249],"FormatId":2,"FamilyId":null,"SeriesId":126312,"LanguageId":56,"PriceMin":32.93,"PriceMax":32.93,"Desirability":1,"PublicationDate":"2009-07-09T00:00:00","Join":null}
$33.00
{"Id":24058913,"Title":"China and Global Food Security","Authors":["Zhan, Shaohua"],"ShortTitle":"China and Global Food Security","Author":"Zhan, Shaohua","Ean":"9781108823814","Isbn":"1108823815","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1119855],"CategoryIds":[910],"FormatId":2,"FamilyId":10047179,"SeriesId":707712,"LanguageId":56,"PriceMin":33.0,"PriceMax":33.0,"Desirability":1,"PublicationDate":"2022-11-03T00:00:00","Join":null}