Bowen xu (11 Ergebnisse)

paperback. Zustand: Good.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng's research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 428 | Sprache: Englisch | Produktart: Bücher | This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences.The first paper in the volume provides an overview of Jifeng¿s research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng¿s recent roadmap for UTP.…

Paperback. Zustand: Brand New. 427 pages. 9.25x6.10x0.98 inches. In Stock.

Taschenbuch. Zustand: Neu. Theories of Programming and Formal Methods | Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031404351 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a systematic overview and classification on modeling and control of different types of Distributed Parameter Systems (DPSs), and develops new methods to tackle some of these unsolved problems, facilitating a better understanding of DPSs and providing references for practical problem-solving in the relevant fields. All these methods presented in this book are verified by specific scenarios. It is worth mentioning that in the context of disciplinary integration and artificial intelligence, the research ideas, methods and models in this book can be further integrated and developed. From application perspectives, they can also extend from traditional mechanical, electrical, and chemical fields to emerging fields of new energy, new materials, and multimodal information. Under the background of disciplinary integration and the development of artificial intelligence, the book will be beneficial to undergraduate and postgraduate students in interdisciplinary disciplines including manufacturing engineering, mechanical engineering, electrical engineering, computer engineering, and control engineering, etc. It is also intended for researchers and practical users in the fields of nonlinear dynamics, spatiotemporal modeling and intelligent control.…

Zustand: New. In English.

Zustand: New. Introduces the transport mechanism for each component of PEMFCs Presents modeling methods at different scales, including component, cell, stack and system scales Provides exercises in PEMFC modeling, along with examples of necessa.

Hardcover. Zustand: Brand New. 300 pages. 6.47x0.74x9.36 inches. In Stock.