Qiwen (48 Ergebnisse)

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. In English.

paperback. Zustand: Good.

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

21 x 28,5 cm. 95,(1) p. Illustrated boards with title to spine and to front-cover (softcover). 2 chinese stamps to the title page, apart from this in very good condition. English / chinese. - No CD included. - Impressing color photographs.

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

Paperback. Zustand: Good. Based on the classic Brothers Grimm fairy tale, this vibrant book reimagines the story of the Frog Prince with an adorable, modern anime art style. The plot follows a spoiled princess who reluctantly makes a deal with a talking frog to retrieve her dropped golden ball from a deep spring. Packed with humor, colorful sticker pages, and playful twists, the story teaches children valuable lessons about keeping promises, honesty, and looking past outward appearances to see a person's true character. Copyright © Creative Comic Collection / Rightman Publishing.…

Zustand: New. In English.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Paperback. Zustand: New. Conceived as a cross between natural language processing methods and biological sequences in DNA, RNA and protein, biological language model is a new scientific research topic in bioinformatics that has been extensively studied by the authors. The basic theory and applications of this model are presented in this book to serve as an reference for graduate students and researchers.…

Zustand: New.

Zustand: New. In English.

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:0198295375.…

Zustand: Used. pp. 275.

Zustand: New. In English.

Zustand: Used. pp. 275.

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

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

Paperback. Zustand: Brand New. 248 pages. 8.75x5.75x0.50 inches. In Stock.

Zustand: New.

Zustand: New.

Hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

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.

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

Kartoniert / Broschiert. Zustand: New.

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

Zustand: New.