Kyungmin (18 Ergebnisse)

Paperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.…

Zustand: New.

Zustand: New.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Formal Aspects of Component Software | 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings | Kyungmin Bae (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2018 | Springer | EAN 9783030021450 | 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. Rewriting Logic and Its Applications | 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers | Kyungmin Bae | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2022 | Springer | EAN 9783031124402 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

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

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.…

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

Paperback. Zustand: Very Good. ENJOY Italy (Korean edition) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Anti-Helden stellen modellhaft die Auseinandersetzung mit der eigenen, oft problematischen Lebenssituation im sozialen Aspekt des Außenseitertums dar. Mit individuellen menschlichen Schwächen bieten solche Figuren Einblicke in Gedanken, Handlungsmotive und Phantasien. Hieran können Erzählungen dann interessante Wahrnehmungsmodelle exemplifizieren. Für die Protagonisten der ausgewählten Erzähltexte bedeutet das Gehen eine Art Therapie, weil es das Denken als Auseinandersetzung mit dem Selbst stimuliert. Beim Gehen reflektieren sie mit ihren Lebenssituationen ihre bedrohten Identitäten, aber auch Möglichkeiten, neue Poetologien zu entdecken.; Dissertationsschrift.…