Bowen xu (26 risultati)

paperback. Condizione: Good.

Condizione: New. In English.

Condizione: New. In English.

Condizione: New.

Taschenbuch. Condizione: 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.…

Condizione: 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. Condizione: Brand New. 427 pages. 9.25x6.10x0.98 inches. In Stock.

Taschenbuch. Condizione: 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.…

Hardcover. Condizione: new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Buch. Condizione: 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.…

Condizione: New. In English.

Paperback. Condizione: New. Water and Thermal Management of Proton Exchange Membrane Fuel Cells introduces the main research methods and latest advances in the water and thermal management of PEMFCs. The book introduces the transport mechanism of each component, including modeling methods at different scales, along with practical exercises. Topics include PEMFC fundamentals, working principles and transport mechanisms, characterization tests and diagnostic analysis, the simulation of multiphase transport and electrode kinetics, cell-scale modeling, stack-scale modeling, and system-scale modeling. This volume offers a practical handbook for researchers, students and engineers in the fields of proton exchange membrane fuel cells. Proton exchange membrane fuel cells (PEMFCs) are high-efficiency and low-emission electrochemical energy conversion devices. Inside the PEMFC complex, physical and chemical processes take place, such as electrochemical reaction, multiphase flow and heat transfer. This book explores these topics, and more.…

Condizione: 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. Condizione: Brand New. 300 pages. 6.47x0.74x9.36 inches. In Stock.

Paperback. Condizione: New. Water and Thermal Management of Proton Exchange Membrane Fuel Cells introduces the main research methods and latest advances in the water and thermal management of PEMFCs. The book introduces the transport mechanism of each component, including modeling methods at different scales, along with practical exercises. Topics include PEMFC fundamentals, working principles and transport mechanisms, characterization tests and diagnostic analysis, the simulation of multiphase transport and electrode kinetics, cell-scale modeling, stack-scale modeling, and system-scale modeling. This volume offers a practical handbook for researchers, students and engineers in the fields of proton exchange membrane fuel cells. Proton exchange membrane fuel cells (PEMFCs) are high-efficiency and low-emission electrochemical energy conversion devices. Inside the PEMFC complex, physical and chemical processes take place, such as electrochemical reaction, multiphase flow and heat transfer. This book explores these topics, and more.…

paperback. Condizione: New. Paperback.Pub Date:2021-03-01 Pages:30 Language:Chinese Publisher:Chemical Industry Press This is a picture book for childrens emotional management written by well-known American psychologists. The author uses poetic language to tell children. To understand the changes in our inner feelings and behaviors that anger brings to us. and tell children what measures can be taken to deal with bad tempers.?In addition. the author further explained the psychological reasons behind children's anger for.…

paperback. Condizione: New. Paperback.Pub Date:2021-03-01 Pages:30 Language:Chinese Publisher:Chemical Industry Press This is a picture book for childrens emotional management written by well-known American psychologists. The author uses poetic language to tell children. To understand the changes in our inner feelings and behaviors that anger brings to us. and tell children what measures can be taken to deal with bad tempers.?In addition. the author further explained the psychological reasons behind children's anger for.…

Condizione: new. Questo è un articolo print on demand.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 in the 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. 428 pp. Englisch.…

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Septem.…

Condizione: New. Print on Demand.

Condizione: New. PRINT ON DEMAND.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 428 pp. Englisch.…

Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 246 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch. …