Bowen xu (36 risultati)
- Brossura
Da: Books From California, Simi Valley, CA, U.S.A.Books From California
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 56,39
EUR 4,30 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
paperback. Condizione: Good.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,41
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 88,10
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,79
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,01
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 107,05
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday: 14080 (Lecture Notes in Computer Science, 14080)
Bowen, Jonathan P. (Editor) / Li, Qin (Editor) / Xu, Qiwen (Editor)
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,04
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 427 pages. 9.25x6.10x0.98 inches. In Stock.
- Brossura
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 23,45
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
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 Sh…anghai 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.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
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 Gm…bH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 63,23 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells 1st Edition
Jiao, Kui; Wang, Bowen; Du, Qing; Wang, Yun; Zhang, Guobin; Yang, Zirong; Deng, Hao; Xie, Xu
- Brossura
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 162,18
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New.
- Rilegato
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 166,74
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 300 pages. In Stock.
- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 182,69
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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 practi…cal 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.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells 1st Edition
Jiao, Kui; Wang, Bowen; Du, Qing; Wang, Yun; Zhang, Guobin; Yang, Zirong; Deng, Hao; Xie, Xu
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 179,61
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
- Rilegato
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 154,82
EUR 42,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
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 practi…cal 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 our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells 1st Edition
Jiao, Kui; Wang, Bowen; Du, Qing; Wang, Yun; Zhang, Guobin; Yang, Zirong; Deng, Hao; Xie, Xu
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 183,68
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells
Jiao, Kui; Wang, Bowen; Du, Qing; Wang, Yun; Zhang, Guobin; Yang, Zirong; Deng, Hao; Xie, Xu
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 199,09
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 231,82
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells
Kui Jiao, Hao Deng, Yun Wang, Xu Xie, Guobin Zhang, Bowen Wang, Qing Du, Zirong Yang
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 244,80
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
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 practica…l 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.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 179,61
EUR 63,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 DPS…s 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.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells
Kui Jiao|Bowen Wang|Qing Du|Yun Wang|Guobin Zhang|Zirong Yang|Hao Deng|Xu Xie
- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 205,89
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
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.
- Rilegato
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 248,92
EUR 14,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 300 pages. 6.47x0.74x9.36 inches. In Stock.
- Rilegato
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 261,27
EUR 31,87 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
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 practi…cal 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 our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Water and Thermal Management of Proton Exchange Membrane Fuel Cells
Kui Jiao, Hao Deng, Yun Wang, Xu Xie, Guobin Zhang, Bowen Wang, Qing Du, Zirong Yang
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 232,30
EUR 75,16 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
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 practica…l 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.
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 3 stelleCondizione: Nuovo
EUR 62,23
EUR 6,80 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
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.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 107,85
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer, Berlin|Springer Nature Switzerland|Springer 2023
- Brossura
- Print on Demand
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,94
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
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.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 108,75
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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 Sci…ence 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.
