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

Sanjay
The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

"The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems. Imagine a…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 28,19*

Cemal Basaran
Introduction to Unified Mechanics Theory with Applications

This second edition adds new sections on derivation of dynamic equilibrium equations in unified mechanics theory and solution of an example, derivation of very high cycle fatigue thermodynamic fundamental…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Xiao-Lei Zhang
Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments

Speech Signal Processing Based on Deep Learning in Complex Acoustic Environments provides a detailed discussion of deep learning-based robust speech processing and its applications. The book begins by loo…

lieferbar in mind. 4 Wochen

Buch

EUR 239,33*

Designing Modern Embedded Systems: Software, Hardware, and Applications

IFIP Advances in Information and Communication Technology -Band 669

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 93,08*

Engineering Design Applications V

Advanced Structured Materials -Band 171

This book gives an update on recent developments in different engineering disciplines such as mechanical, materials, computer and process engineering, focusing on modern engineering design applications. T…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 120,46*

Engineering Design Applications VI

Advanced Structured Materials -Band 209

This book gives an update on recent developments in the mentioned areas of modern engineering design application. Different engineering disciplines such as mechanical, materials, computer and process engi…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 149,34*

Qing-Biao Shen
Polarization Theory of Nuclear Reactions

This book provides the reader with a modern and comprehensive overview of nuclear polarization theory. The understanding of polarization phenomena greatly enriches data obtained from scattering and nuclea…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

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*

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*

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*

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*

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*

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*

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*

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*

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 169,87*

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*

Advanced Aircraft Understanding via the Virtual Aircraft Model

Notes on Numerical Fluid Mechanics and Multidisciplinary Design -Band 155

This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

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

Ihre Suche nach "verification" ergab 138 Treffer