System Verification – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "System verification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

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 Oct…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science -Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Advances in Drinking Water Purification: Small Systems and Emerging Issues

Advances in Drinking Water Purification: Small Systems and Emerging Issues captures the knowledge and impact on the performance of various types of water purification technologies and identities the need …

lieferbar in mind. 4 Wochen

Buch

EUR 274,69*

Producing Artificial Intelligent Systems

Studies in Computational Intelligence -Band 1150

The fast development of intelligent technologies in the previous years, their boost during the COVID crisis, and their huge acceleration with the proliferation of the Large Language Models has led industr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
Incose Needs and Requirements Manual

Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycle The INCOSE Needs and Requirements Manual pres…

lieferbar ab 27.11.2024.

Buch

EUR 119,35*

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science -Band 14988

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

The Combined Power of Research, Education, and Dissemination

Lecture Notes in Computer Science -Band 15240

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Networked Systems

Lecture Notes in Computer Science -Band 14783

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024. The 14 full papers and 3 short papers…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Engineering of Complex Computer Systems

Lecture Notes in Computer Science -Band 14784

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19 21, 2024. The 18 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Inspection of Medical Devices

Series in Biomedical Engineering

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

EUR 128,00*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.