Ihre Suche nach "verification" ergab 108 Treffer

Ansicht:
: CyberSecurity in a DevOps Environment, Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
Artikel ist im Warenkorb
Mark Tehranipoor: Hardware Security, Buch

Mark Tehranipoor, Kimia Zamiri Azar, Farimah Farahmandi, Fahim Rahman
Hardware Security

This book provides a look into the future of hardware and microelectronics security, with an emphasis on potential directions in security-aware design, security verification and validation, building trust…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 128,00*
Artikel ist im Warenkorb
Nicole Crown: Handwriting Features Guide, Buch

Nicole Crown, Raymond Marquis, Carolyne Bird
Handwriting Features Guide

Forensic handwriting examination follows a process comprised of four main steps: Analysis, Comparison, Evaluation, and Verification (ACE-V). While the process itself has been described and refined, very l…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 32,99*
Artikel ist im Warenkorb
: Formal Methods, Buch

Formal Methods

Lecture Notes in Computer Science -Band 14934

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 164,28*
Artikel ist im Warenkorb
: Formal Methods, Buch

Formal Methods

Lecture Notes in Computer Science -Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
Gabriel Ga¿par: Design and Implementation of Sensory Solutions for Industrial Environment, Buch

Gabriel Ga¿par, Juraj ¿U¿Ák
Design and Implementation of Sensory Solutions for Industrial Environment

Signals and Communication Technology

This book presents applicable guidance into sensor system hardware and software design, extensions, and integration aimed at utilization of 1-wire networks. The content is structured from the design of th…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
: The Application of Formal Methods, Buch

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
Douglas J Santry: Demystifying Deep Learning, Buch

Douglas J Santry
Demystifying Deep Learning

Discover how to train Deep Learning models by learning how to build real Deep Learning software libraries and verification software! The study of Deep Learning and Artificial Neural Networks (ANN) is a si…

lieferbar innerhalb 1-2 Wochen
Buch
EUR 159,76*
Artikel ist im Warenkorb
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.