Belgacem ben hedia (51 résultats)

paperback. Etat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New.

Paperback. Etat : New.

Etat : New.

Etat : New.

Etat : New. In English.

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems. This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Etat : As New. Unread book in perfect condition.

Etat : New. In English.

Etat : New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Etat : New. 1st ed. 2024 edition NO-PA16APR2015-KAP.

Paperback. Etat : Brand New. 281 pages. 9.25x6.10x0.67 inches. In Stock.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi'an, China, in October 2020, but was held virtually instead.The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning. …

Paperback. Etat : Brand New. 197 pages. 9.25x6.10x0.42 inches. In Stock.

Etat : New.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. …

Etat : New.

Kartoniert / Broschiert. Etat : New.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems.…

Paperback. Etat : Brand New. 223 pages. 6.10x0.51x9.25 inches. In Stock.

Etat : New.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16-18, 2024.The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation.…

Taschenbuch. Etat : Neu. Verification and Evaluation of Computer and Communication Systems | 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2020 | Springer | EAN 9783030659547 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Etat : Neu. Verification and Evaluation of Computer and Communication Systems | 18th International Conference, VECoS 2025, Paris, France, November 5-7, 2025, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2026 | Palgrave Macmillan | EAN 9783032204394 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Etat : Neu. Verification and Evaluation of Computer and Communication Systems | 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2025 | Springer | EAN 9783031853555 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.…