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

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

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

Karl R. Popper,
Vermutungen und Widerlegungen

wbv Publikation

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 einer Woche

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

Lecture Notes in Computer Science - Band 16100

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

Inspection of Medical Devices

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

Model Checking Software

Lecture Notes in Computer Science - Band 15945

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

lieferbar ab 8.12.2025.

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

Theoretical Aspects of Software Engineering

This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14--16, 2025. The 20 ful…

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

Lecture Notes in Computer Science - Band 16220

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

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Weifei Hu
Design Optimization Under Uncertainty

Basic Concepts of Probability Theory .- Uncertainty Modeling .- Reliability Analysis Methods for Time-Independent Problems .- Surrogate Modeling for Reliability Analysis.- Model verification and validatio…

lieferbar innerhalb 2-3 Wochen

Buch

Networked Systems

This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.The 16 full papers and 1 short paper pr…

lieferbar innerhalb 2-3 Wochen

Buch

Agents and Robots for reliable Engineered Autonomy

Communications in Computer and Information Science - Band 2700

This book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjun…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Computing - ICTAC 2024

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25¿29, 2024.The 21 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Programming Languages and Systems

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27--30, 2025.The 13 full papers presented here were ca…

lieferbar ab 7.12.2025.

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

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.