Bowen li (100 Ergebnisse)

Zustand: good. Gently used with minimal wear on the corners and cover. A few pages may contain light highlighting or writing, but the text remains fully legible. Dust jacket may be missing, and supplemental materials like CDs or codes may not be included. May be ex-library with library markings. Ships promptly. …

Hardcover. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Hardcover. Zustand: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

hardcover. Zustand: Very Good. May have light to moderate shelf wear and/or a remainder mark. Complete. Clean pages.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Brand New. 248 pages. 8.25x5.37x8.20 inches. In Stock.

Paperback. Zustand: Brand New. 248 pages. 8.25x5.37x8.20 inches. In Stock.

Hardcover. Zustand: Brand New. 192 pages. 7.25x5.25x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 248 pages. 8.25x5.37x8.20 inches. In Stock.

paperback. Zustand: Good.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Museum Tusculanum Press, Copenhagen 2002. 224 pages. Illustrated. Orig. boards. Fine.

Museum Tusculanum Press, Copenhagen 2002. 224 pages. Illustrated. Orig. boards. Fine.

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: New. In English.

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.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set CCIS 2910 + 2911 constitutes the refereed proceedings of the 20th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2025, held in Guangzhou, China, in November 2025.The 50 full papers and 13 short papers presented in the proceedings were carefully reviewed and selected from 196 submissions.These papers were organized in topical sections as follows:Part I: CSCW and Social Computing and Human-Machine-Things Fusion and Human-AI Collaborative Computing.Part II: Crowd Cooperative Computing and Evolutionary Computation and Collaborative Data, Software and Services.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set CCIS 2910 + 2911 constitutes the refereed proceedings of the 20th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2025, held in Guangzhou, China, in November 2025.The 50 full papers and 13 short papers presented in the proceedings were carefully reviewed and selected from 196 submissions.These papers were organized in topical sections as follows:Part I: CSCW and Social Computing and Human-Machine-Things Fusion and Human-AI Collaborative Computing.Part II: Crowd Cooperative Computing and Evolutionary Computation and Collaborative Data, Software and Services.…

Taschenbuch. Zustand: Neu. Computer Supported Cooperative Work and Social Computing | 20th CCF Conference, ChineseCSCW 2025, Guangzhou, China, November 7-9, 2025, Revised Selected Papers, Part II | Hailong Sun (u. a.) | Taschenbuch | xxi | Englisch | 2026 | Springer | EAN 9789819202874 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…