Moez krichen (14 Ergebnisse)

paperback. Zustand: 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.

Zustand: New. In English.

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

Taschenbuch. Zustand: 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. …

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Model Based Testing for Real-Time Systems | Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata | Moez Krichen | Taschenbuch | 192 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783843359160 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.…

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

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a comprehensive collection of chapters on recent and original research, along with review articles, on mathematical modeling of dynamical systems described by various types of differential equations. Structured into 18 chapters dedicated to exploring different aspects of differential equations and their applications in modeling both discrete and continuous systems, it highlights theoretical advancements in mathematics and their practical applications in modeling dynamic systems. Readers will find contributions by renowned scholars who delve into the intricacies of nonlinear dynamics, stochastic processes, and partial differential equations. This book is an essential resource for researchers, academicians, and practitioners in the field of mathematical modeling. …

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an overview of the recent disruptives technologies and their application in the new Society 5.0 for better human life. The content provides researchers by new trends in blockchain, IA, and big data applied to several fields related to smart cities and Society 5.0 such as health care, education, finance, mobility, logistics, and quality of life. It is an opportunity for researchers and practitioners to present and discuss their most recent research results, innovations, experiences, concerns, challenges, and trends about the application of disruptive technologies applied to Society 5.0. The aim of the book is to focus on how disruptive technologies can change the way we perform and how it creates more opportunities with a special focus on AI, blockchain, big data, etc.The idea behind this book is to focus on solutions based on disruptive technologies that can face the challenges of the developing countries. We will shed the light on different sectorssuch as education, agriculture, industry, transportation, environment, energy, health care, etc. We will discuss the challenges that the emerging countries face in these sectors and provide disruptive technologies based solutions to them. This book also introduces success stories of disruptive technologies-based solutions and their impact on the lives of people in developing countries.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a comprehensive collection of chapters on recent and original research, along with review articles, on mathematicalmodelingof dynamical systems described by various types of differential equations. Structured into 18 chapters dedicated to exploring different aspects of differential equations and their applications inmodelingboth discrete and continuous systems, it highlights theoretical advancements in mathematics and their practical applications inmodelingdynamic systems. Readers will find contributions by renowned scholars who delve into the intricacies of nonlinear dynamics, stochastic processes, and partial differential equations. This book is an essential resource for researchers, academicians, and practitioners in the field of mathematicalmodeling.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an overview of the recent disruptives technologies and their application in the new Society 5.0 for better human life. The content provides researchers by new trends in blockchain, IA, and big data applied to several fields related to smart cities and Society 5.0 such as health care, education, finance, mobility, logistics, and quality of life. It is an opportunity for researchers and practitioners to present and discuss their most recent research results, innovations, experiences, concerns, challenges, and trends about the application of disruptive technologies applied to Society 5.0. The aim of the book is to focus on how disruptive technologies can change the way we perform and how it creates more opportunities with a special focus on AI, blockchain, big data, etc.The idea behind this book is to focus on solutions based on disruptive technologies that can face the challenges of the developing countries. We will shed the light on different sectorssuch as education, agriculture, industry, transportation, environment, energy, health care, etc. We will discuss the challenges that the emerging countries face in these sectors and provide disruptive technologies based solutions to them. This book also introduces success stories of disruptive technologies-based solutions and their impact on the lives of people in developing countries.…

Taschenbuch. Zustand: Neu. Emerging Disruptive Technologies for Society 5.0 in Developing Countries | Challenges and Applications | Sara Arezki (u. a.) | Taschenbuch | Advances in Science, Technology & Innovation | xii | Englisch | 2026 | Springer | EAN 9783031637032 | 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. Modeling of Discrete and Continuous Systems | Ordinary, Partial and Fractional Derivatives | Mohamed Kharrat (u. a.) | Taschenbuch | Forum for Interdisciplinary Mathematics | viii | Englisch | 2026 | Springer | EAN 9789819787173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …