Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

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

Ihre Suche nach "Verification" (Bücher, CDs und LPs) ergab 143 Treffer.

Antonina Wozna
Mary Daly's (1928-2010) Theological Method of Ontolinguistic Hermeneutics

Ontolinguistics theological Hermeneutics: sources and Daly¿s proposal analyses the method used by Mary Daly, her constructive criticism of the traditional theological method and her proposal to combine th…

lieferbar innerhalb 2-3 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

lieferbar innerhalb 2-3 Wochen

Buch

Yubin Lan
Precision Agricultural Aviation Application Technology

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

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

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

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

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

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

Principles and Practices of Building Parallel Software

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods

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

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

Alexander Arnfinn Olsen, Fidaa Karkori
Inventory of Hazardous Materials

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

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Systems Theory - EUROCAST 2024

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during Fe…

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

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods

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

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

Networked Systems

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

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 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.