Nicolas Navet Modeling and Verification of Real-time Systems
Купить за 23440.41 RUR
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Banks Catherine M. Modeling and Simulation Fundamentals. Theoretical Underpinnings and Practical Domains
Купить за 12931.36 RUR
An insightful presentation of the key concepts, paradigms, and applications of modeling and simulation Modeling and simulation has become an integral part of research and development across many fields of study, having evolved from a tool to a discipline in less than two decades. Modeling and
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Andreas Tolk Engineering Principles of Combat Modeling and Distributed Simulation
Купить за 14409.23 RUR
Explore the military and combat applications of modeling and simulation Engineering Principles of Combat Modeling and Distributed Simulation is the first book of its kind to address the three perspectives that simulation engineers must master for successful military and defense related modeling:
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
John Sokolowski A. Principles of Modeling and Simulation
Купить за 11955.7 RUR
Explores wide-ranging applications of modeling and simulation techniques that allow readers to conduct research and ask «What if??» Principles of Modeling and Simulation: A Multidisciplinary Approach is the first book to provide an introduction to modeling and simulation techniques across diverse
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Michael Yoeli Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Купить за 12377.16 RUR
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Группа авторов Verification and Validation for Quality of UML 2.0 Models
Купить за 11955.7 RUR
A practical approach to enhancing quality in software models using UML Version 2.0 «Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Rolf Kindmann Stahlbau
Купить за 6927.52 RUR
The central themes are structural stability, the determination of loading according to 2nd order theory and the verification of load-bearing capacity. The actual load-bearing behaviour is explained, suitable verification procedures are recommended and illustrated with examples.
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Levent Sevgi Electromagnetic Modeling and Simulation
Купить за 13668.69 RUR
This unique book presents simple, easy-to-use, but effective short codes as well as virtual tools that can be used by electrical, electronic, communication, and computer engineers in a broad range of electrical engineering problems Electromagnetic modeling is essential to the design and modeling of
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Raid Al-Aomar Process Simulation Using WITNESS
Купить за 13923.06 RUR
Teaches basic and advanced modeling and simulation techniques to both undergraduate and postgraduate students and serves as a practical guide and manual for professionals learning how to build simulation models using WITNESS, a free-standing software package. This book discusses the theory behind
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Konyukhov Alexander Introduction to Computational Contact Mechanics. A Geometrical Approach
Купить за 11481.02 RUR
Introduction to Computational Contact Mechanics: A Geometrical Approach covers the fundamentals of computational contact mechanics and focuses on its practical implementation. Part one of this textbook focuses on the underlying theory and covers essential information about differential geometry and
Следите за акциями и распродажами в августе 2026 от ООО "ЛИТРЕС" ИНН 7719571260 , www.litres.ru/ erid 2SDnjda37nT.
/ / / подобные товары
Nicolas Cage Band Shirt, Nicolas and the Cages shirt, Unisex Shirt S- S
Купить за 1330 RUR
Следите за акциями и распродажами в августе 2026 от ООО ДЖУМ ИНН 7714448295 , www.joom.ru.
Nicolas Cage Band Shirt, Nicolas and the Cages shirt, Unisex Shirt S- L
Купить за 1460 RUR
Следите за акциями и распродажами в августе 2026 от ООО ДЖУМ ИНН 7714448295 , www.joom.ru.
Товарные категории, использованные для поиска по вашему запросу: акустика, грили, мангалы и барбекю, светильники настольные