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

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

Quentin Docter, Jon Buhagiar, Troy McMillan, Audrey O'Shea
CompTIA A+ Complete Certification Kit: Core 1 Exam 220-1201 and Core 2 Exam 220-1202

Sybex Study Guide

A comprehensive bundle of authoritative prep resources for the A+ certification exams: Study, practice, and review-the Sybex way!Based on the popular Sybex Study Guide approach, the CompTIA A+ Complete Ce…

sofort lieferbar

Buch

Mohamed-Ali Ibrahim
ISO 27001 Documentation KIT for Certification

ISO 27001 Documentation KIT for Certification All Templates for Processes, Procedures, Work Instructions & Forms to Build a Fully Compliant ISMSIntroduction: The ISO 27001 Documentation KIT is your ul…

lieferbar innerhalb 2-3 Wochen

Buch

Mohamed-Ali Ibrahim
Iso 9001

ISO 9001: Quality Management System Documentation Kit for Certification The Complete Guide with All Templates You Need - QMS Manual, Procedures, Work Instructions & Forms for ISO 9001:2015 Implementat…

lieferbar innerhalb 2-3 Wochen

Buch

Gareth D. Padfield, Stefan van 't Hoff, Giuseppe Quaranta, Linghai Lu
Rotorcraft Certification by Simulation and Analysis

This open access book presents the steps necessary for the application of rotorcraft flight modelling and simulation and analysis in support of certification for compliance with EASA CS-27 and CS-29, SUBP…

lieferbar innerhalb 2-3 Wochen

Buch

Mohamed-Ali Ibrahim
Iso 27001

ISO 27001:2022 Documentation Toolkit for Small Enterprises Your Optimal Preparation for the Certification AuditIntroduction The ISO 27001:2022 Documentation Toolkit is a comprehensive solution designed to…

lieferbar innerhalb 2-3 Wochen

Buch

Karl R. Popper,
Vermutungen und Widerlegungen

This is the 2nd authorized, revised and expanded German edition of Karl Popper's famous collection of essays.

sofort lieferbar

Buch

Passivhaus-Bauteilkatalog: Neubau / Details for Passive Houses: New Buildings

This collection of ecological evaluations and building physics data is a classic and an essential item in every design library. The fifth edition of the component catalog provides designers, architects, a…

sofort lieferbar

Buch

Anekdoten

Nucleus (remastered) (180g)

Das 1995er Nachfolgealbum zum Erstlingswerk »Vemod« der schwedischen Progressive Rock Attacke aus Schweden. Anekdoten haben sich eigentlich als King Crimson Coverband gegründet und das hört man bis heute …

lieferbar innerhalb 2-3 Wochen

Networked Systems

.- Verification. .- Reachability and Verification of Assertions for IoT Applications. .- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis. .- Distributed Systems. .- Distributed …

sofort lieferbar

Buch

Static Analysis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar innerhalb 2-3 Wochen

Buch

Pascal Pieper, Rolf Drechsler
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

Model Checking Software

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

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

Bridging the Gap Between AI and Reality

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar innerhalb 2-3 Wochen

Buch

Fernando Sansò, Alberta Albertella
The Probabilistic Vision of the Physical World

Probability and Frequency.- 2. The Sources of Stochasticity.- 3. Statistical Inference: The Theory of Estimation.- 4. Statistical Inference: Model Verification.- 5. Finite vs Infinite, Discrete vs Continu…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Rajkumar Banoth, Aruna Kranthi Godishala
Building a Secure Infrastructure

Chapter 1: The Danger & Fighters in the War Against Cybercrime.- Chapter 2: The Windows Operating System, Linux Overview.- Chapter 3: Network Protocols, Ethernet and IP Protocol, Connectivity Verifica…

sofort lieferbar

Buch

Unlocking the Hidden Potentials of Organization Through Merging of Humans and Digitals

A data model for improving the acquisition process in working with fingerprint readers.- Blockchain in e-commerce supply chain.- Blockchain-based AI model integrity and verification framework.- The Power …

lieferbar innerhalb 2-3 Wochen

Buch

Programming Languages and Systems

.- Type Systems, Safety, and Verification. .- Memory Safety: Uniqueness as Separation. .- Fair Termination for Resource-Aware Active Objects. .- A Formal Foundation for Equational Reasoning on Probabilist…

lieferbar innerhalb 2-3 Wochen

Buch

Samir Tigane, Laid Kahloul, Abdelhamid Mellouk
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 innerhalb 1-2 Wochen

Buch

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.