Katsaros panagiotis (62 risultati)

Hardcover. Condizione: Very Good. Ex-library. Binding firm, cover shiny, interior clean and unmarked save for library stamp to paste down and top page ends. Oversize/Overweight: additional postage may apply.

Paperback. Condizione: new. Paperback. This guide is destined for martial arts students. Containing a useful set of rules that will help you: -Find the proper art for you and guard yourself against trends -Have proper manners in school and avoid common mistakes In addition, you will find a dose of philosophy beneficial for your personal development. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: New.

Paperback. Condizione: new. Paperback. This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Brand New. 2014 edition. 310 pages. 9.00x6.00x0.75 inches. In Stock.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Brand New. 392 pages. 9.25x6.10x1.10 inches. In Stock.

Condizione: New.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topicalsections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.…

Paperback. Condizione: Brand New. 462 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book LNCS 15755 constitutes the proceedings of the 9th International Symposium on Model-Based Safety and Assessment, IMBSA 2025, held in Athens, Greece, in September 24-26, 2025.The 28 full papers were carefully reviewed and selected from 39 submissions. The proceedings focus on System Safety Assessment, Cybersecurity Analysis, Safe Machine Learning, Probabilistic Analysis, Model-based Design and Safety Assessment, Machine Learning and Automata Learning for System Safety, Failure Detection Isolation and Recovery Analysis.…

Condizione: New.

Taschenbuch. Condizione: Neu. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability | SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers | Antonio Cerone (u. a.) | Taschenbuch | xv | Englisch | 2014 | Springer | EAN 9783642543371 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Model-Based Safety and Assessment | 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings | Yiannis Papadopoulos (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030328719 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.…

Taschenbuch. Condizione: Neu. Model-Based Safety and Assessment | 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings | Panagiotis Katsaros | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2025 | Springer | EAN 9783032050724 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condizione: Brand New. 501 pages. 9.25x6.10x1.01 inches. In Stock.