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

Dan A. Simunic
The Economics of Auditing

The financial information provided to governments, creditors, investors etc. by businesses has been verified by auditors since ancient times. In its modern form, the independent public accounting professi…

lieferbar in mind. 4 Wochen

Buch

Dependable Software Engineering. Theories, Tools, and Applications

Lecture Notes in Computer Science - Band 16458

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1-…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Design Applications VII

Advanced Structured Materials - Band 230

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

lieferbar innerhalb 2-3 Wochen

Buch

Next Democratic Frontiers for Facial Recognition Technology (FRT)

Law, Governance and Technology Series - Band 74

This book focuses on facial recognition technology (FRT) and sheds light on previously unexplored aspects that involve systematic legal issues concerning its regulation, the protection of rights and freed…

lieferbar innerhalb 2-3 Wochen

Buch

Cyber Security, Cryptology, and Machine Learning

Lecture Notes in Computer Science - Band 16244

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

Quality of Information and Communications Technology

Lecture Notes in Computer Science

This book constitutes the proceedings of the 18th International Conference on the Quality of Information and Communications Technology, QUATIC 2025, held in Lisbon, Portugal, during September 3--5, 2025.T…

lieferbar ab 10.9.2026.

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16032

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

lieferbar innerhalb 2-3 Wochen

Buch

Graph Transformation

Lecture Notes in Computer Science - Band 16624

This book constitutes the refereed proceedings of the 19th International Conference on Graph Transformation, ICGT 2026, held in Rennes, France, during July 1--2, 2026.The 9 full papers and 4 short papers …

lieferbar innerhalb 2-3 Wochen

Buch

Robert Wang, Wei Wang
Synthetic Aperture Radar (SAR) Waveform Design and Signal Processing

This book reports the latest research results in the study of waveform design methods for the synthetic aperture radar (SAR) and the corresponding signal processing techniques. Novel research ideas and ex…

lieferbar innerhalb 2-3 Wochen

Buch

Minchao Huang, Jianjun Wu, Jian Li, Yuqiang Cheng
Solar Thermal Thruster

This open access book focuses on the field of aerospace propulsion theory and engineering. The book takes the solar thermal thruster as the research object, has carried on the solar thermal thruster worki…

lieferbar innerhalb 2-3 Wochen

Buch

Information Security Applications

Lecture Notes in Computer Science - Band 16434

This book constitutes the refereed proceedings of the 26th International Conference on Information Security Applications, WISA 2025, held in Jeju Island, South Korea, during August 20--22, 2025.The 26 ful…

lieferbar innerhalb 2-3 Wochen

Buch

Giuseppe Galloppo
A Journey into ESG Investments

Palgrave Studies in Impact Finance

This book deals with climate finance and presents a balance between the theoretical framework---as drawn by the most widely cited practitioner-oriented and academic journals in environmental management---…

lieferbar innerhalb 2-3 Wochen

Buch

Integrated Formal Methods

Lecture Notes in Computer Science - Band 16194

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19--21, 2025.The 23 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Engineering Safe and Trustworthy Cyber Physical Systems

Lecture Notes in Computer Science - Band 15471

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architec…

lieferbar innerhalb 2-3 Wochen

Buch

Guohui Jiang
Towards Linguistic Relativity: Key Issues and Challenges

Linguistic relativity continues to be widely recognized as a vital issue in the study of language. This significance stems from the fact that the questions raised by linguistic relativity touch upon wheth…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Computing - ICTAC 2025

Lecture Notes in Computer Science - Band 16237

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24--28, 2025.The 21 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Games on Graphs

This volume introduces the fundamental results and the state of the art in infinite duration games on graphs. These versatile game models first appeared in the study of automata and logic, but later becam…

lieferbar innerhalb 2-3 Wochen

Buch

Yubin Lan
Precision Agricultural Aviation Application Technology

Agriculture Automation and Control

Modern technologies and information tools can be used to maximize agricultural aviation productivity, allowing for precision application of agrochemical products. This book reviews and summarizes state-of…

lieferbar innerhalb 2-3 Wochen

Buch

Fidaa Karkori, Alexander Arnfinn Olsen
Inventory of Hazardous Materials

Synthesis Lectures on Ocean Systems Engineering

This book provides a comprehensive guide to the Inventory of Hazardous Materials (IHM), a critical document for ensuring the safe and environmentally sound recycling of ships. At the heart of this book is…

lieferbar innerhalb 2-3 Wochen

Buch

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science - Band 16503

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the Internatio…

lieferbar innerhalb 2-3 Wochen

Buch

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