Verification – alle Bücher, LPs und CDs, Seite 5

Mark D Denavit, Ali Nassiri, Mustafa Mahamid, Martin Vild
Steel Connection Design by Inelastic Analysis

Comprehensive resource on the finite element method in structural steel connection design through verification with AISC 360 provisionsSteel Connection Design by Inelastic Analysis covers the use of the f…

lieferbar in mind. 4 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Inspection of Medical Devices

This comprehensive guide invites nations worldwide to embark on a transformative journey, implementing independent third-party verification systems that ensure medical devices comply with both internation…

lieferbar innerhalb 2-3 Wochen

Buch

Ian Greer
The Vocational Assessor Handbook

Understand the fundamentals of the assessment and verification of vocational learning with this complete overview of the principles and practices involved.

lieferbar ab 29.7.2025.

Buch

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Rolf Drechsler, Pascal Pieper
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

lieferbar innerhalb 2-3 Wochen

Buch

Simon Bown, Tbd
Verified Near Death Experiences

30 Near-Death Experiences with Startling VerificationIn Verified Near Death Experiences: Proof Of An Afterlife, there are thirty individual profound near-death experiences, each one coupled with startling…

lieferbar innerhalb 2-3 Wochen

Buch

Networked Systems

This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper pr…

lieferbar ab 1.9.2025.

Buch

Formal Aspects of Component Software

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.The 7 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9¿13, 2024.The 14 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Computing - ICTAC 2024

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25¿29, 2024.The 21 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Agents and Robots for reliable Engineered Autonomy

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conj…

lieferbar innerhalb 2-3 Wochen

Buch

Rewriting Logic and Its Applications

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen

Buch

Verified Software. Theories, Tools and Experiments

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

lieferbar innerhalb 2-3 Wochen

Buch

Innovations for Community Services

This book constitutes the refereed proceedings of the 25th International Conference on Innovations for Community Services, I4CS 2025, held in Munich, Germany, during June 11--13, 2025. The 21 full papers …

lieferbar innerhalb 2-3 Wochen

Buch

Soumyajit Mandal
Sensors, Circuits, and Systems for Scientific Instruments

Sensors, Circuits, and Systems for Scientific Instruments: Back-Ends and Applications delves into the advanced world of sensors and circuits tailored for precision measurements. This text builds on founda…

lieferbar ab 1.9.2025.

Buch

Integrated Formal Methods

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers pre…

lieferbar innerhalb 2-3 Wochen

Buch

Samir Tigane
Enhancing Stochastic Petri Nets with Reconfigurability

This book explores the world of reconfigurable stochastic Petri nets (RSPNs), a powerful method for modeling and verifying complex, dynamic and reconfigurable systems. As modern discrete-event systems bec…

lieferbar in mind. 4 Wochen

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Verification" - alle Bücher, LPs und CDs