Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “ji wang”
Skip side bar filters

  • Transmissibility Theory for Structural Health Monitoring

    Fundamentals, Algorithms, and Applications

    by Wang-Ji Yan ...
    Series series Engineering (R0)
    This book provides an in-depth and systematic introduction to transmissibility-based system identification and its role in modern structural health monitoring (SHM). It establishes transmissibility as a paradigm-shifting framework for SHM, advancing beyond traditional input-output and output-only methods to propose a unified output-output paradigm. This innovative approach reduces reliance on ... Read more

    $161.09 USD

  • Proceedings of the 6th Chinese National Congress on Thermal Stresses

    NCTS 2025, 18–20 April, Xi’an, China

    Edited by Yu’e Ma, Xudan Yao, Wandong Wang, Cunfa Gao, Ji Wang, Weiqiu Chen ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book presents selected papers from the 6th China National Congress on Thermal Stress. The Congress was hosted by the Chinese Society of Theoretical and Applied Mechanics and Northwestern Polytechnical University and held on 18~20 April, 2025 in Xi’an, China. The high-speed flight technology of aerospace vehicles will significantly enhance humanity's capabilities to explore and utilize outer ... Read more

    $224.09 USD

  • Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

    Edited by Ji Wang, Kim Guldstrand Larsen, Oleg Sokolsky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in OctoberThe 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners ... Read more

    $49.49 USD

  • Symposium on Real-Time and Hybrid Systems

    Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

    Edited by Cliff Jones, Ji Wang, Naijun Zhan ...
    Series series Computer Science (R0)
    This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Read more

    $49.49 USD

People who read these also enjoyed

  • Dependable Software Engineering: Theories, Tools, and Applications

    Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

    Edited by Martin Fränzle, Deepak Kapur, Naijun Zhan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and ... Read more

    $49.49 USD

  • Computer Performance Engineering

    13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

    Edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016. The 14 papers presented together with 2 invited talks in this volume were carefully reviewed and selected from 25 submissions.The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ... Read more

    $49.99 USD

  • Using Event-B for Critical Device Software Systems

    by Neeraj Kumar Singh ...
    Series series Computer Science (R0)
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).This is assessed and evaluated via a standard case study: the cardiac pacemaker. ... Read more

    $89.09 USD

  • Quantitative Evaluation of Systems

    14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

    Edited by Nathalie Bertrand, Luca Bortolussi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

    $49.99 USD

  • Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

    Edited by Anna-Lena Lamprecht ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Read more

    $49.49 USD

  • Computer Performance Engineering

    14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

    Edited by Philipp Reinecke, Antinisca Di Marco ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.The 18 papers presented together with the abstracts of two invited talks in this volumewere carefully reviewed and selected from 30 submissions.The papers presented at the workshop reflect the diversity of modern performanceengineering ... Read more

    $49.49 USD

  • Quantitative Evaluation of Systems

    12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

    Edited by Javier Campos, Boudewijn R. Haverkort ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing ... Read more

    $49.49 USD

  • Formal Modeling and Analysis of Timed Systems

    15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

    Edited by Alessandro Abate, Gilles Geeraerts ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Read more

    $49.99 USD