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

Edixon Rojas Alexander S Denis Sidorov
Approximation & Regular Methods Operator-Function Equations

This book presents an overview of the most recent research and findings in the field of approximation and regularisation methods for operator-functional equations, and explores their applications in elect…

lieferbar innerhalb 2-3 Wochen

Buch

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

Global Waste Management

Global Waste Management raises awareness among readers about industrial application-based problems by encouraging self-evaluation and verification processes related to waste creation and its minimization.…

lieferbar innerhalb 2-3 Wochen

Buch

Kwangjo Kim
Practical Post-Quantum Signatures

The current digital signature methods like RSA, DSA, and ECDSA are relatively simple to understand, and their signing and verification processes operate in comparable time frames. However, in the quantum …

lieferbar innerhalb 2-3 Wochen

Buch

Designing Modern Embedded Systems: Software, Hardware, and Applications

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

Engineering Design Applications V

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

Mohamed Diallo, Adama Coulibaly
Legality control for local authorities

Between 1990 and 2022, most West African states introduced a new form of administrative control, while abandoning the guardianship system. Trusteeship control was seen by many specialists as a brake on th…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

lieferbar innerhalb 2-3 Wochen

Buch

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops

This book constitutes the refereed proceedings of the workshops held in conjunction with the 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, IFIPIoT 2024, in Nice, France, in …

lieferbar innerhalb 2-3 Wochen

Buch

Roger A Grimes
Taming the Hacking Storm

AN EXPERT DEMONSTRATION OF WEAVING SECURITY INTO YOUR ORGANISATION'S CULTURE In Taming the Hacking Storm: A Framework for Defeating Hackers and Malware, 36-year veteran of the computer security industry, …

lieferbar innerhalb 1-2 Wochen

Buch

Naresh Kumar Sehgal, Pramod Chandra P. Bhatt
Project Management in Cloud Applications

Cloud Computing has been in use for several decades now, but the art and science of delivering Cloud based products is still shrouded in mystery. This book offers new solutions on how to deliver software …

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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

The Application of Formal Methods

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

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

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

The Combined Power of Research, Education, and Dissemination

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

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

Weifei Hu
Design Optimization Under Uncertainty

This book introduces the fundamental concepts of probability and reliability, the classical methods of uncertainty modelling, time-dependent and time-independent reliability analysis methods, model verifi…

lieferbar innerhalb 2-3 Wochen

Buch

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