0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

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

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

    Ansicht:

    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
    Aktueller Preis: EUR 81,04

    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
    Aktueller Preis: EUR 72,27

    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
    Aktueller Preis: EUR 153,32

    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
    Aktueller Preis: EUR 175,23

    Pharmaceutical Engineering: A Primer for Advanced Process Development

    Pharmaceutical Engineering: A Primer for Advanced Process Development provides a comprehensive, engineering-focused description of pharmaceutical dosage form process development and manufacturing. This vo…

    Erscheint bald
    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 ab 30.4.2026.
    Buch
    Aktueller Preis: EUR 182,44

    Lukas Burgholzer, Robert Wille
    Design Automation Tools and Software for Quantum Computing

    This book provides an easy-to-read introduction to quantum computing and introduces readers to a set of software design tools that leverage the power of design automation for optimizing quantum circuits a…

    lieferbar ab 5.3.2026.
    Buch
    Aktueller Preis: EUR 149,34

    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
    Aktueller Preis: EUR 87,60

    Mark Tehranipoor, Kimia Zamiri Azar, Navid Asadizanjani, Fahim Rahman
    Hardware Security

    This book provides a look into the future of hardware and microelectronics security, with an emphasis on potential directions in security-aware design, security verification and validation, building trust…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 90,66

    Pramod Chandra P. Bhatt, Naresh Kumar Sehgal
    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
    Aktueller Preis: EUR 53,32

    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
    Aktueller Preis: EUR 260,80

    World Conference of AI-Powered Innovation and TRIZ Methodology

    This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    Roger A Grimes
    Taming the Hacking Storm

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 37,39

    World Conference of AI-Powered Innovation and TRIZ Methodology

    This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 131,42

    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
    Aktueller Preis: EUR 98,56

    Martin Hofmann, Martin Lange
    Automata Theory and Logic

    This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

    sofort lieferbar
    Buch
    Vorheriger Preis EUR 69,33, reduziert um 30%
    Aktueller Preis: EUR 47,99

    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
    Aktueller Preis: EUR 43,80

    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
    Aktueller Preis: EUR 43,80

    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
    Aktueller Preis: EUR 43,80

    Chenkun Qi, Feng Gao, Yan Hu
    Control of Hardware-In-The-Loop Space Contact Simulation Robot

    The book focuses on control methods of hardware-in-the-loop simulation robots on the ground to simulate the contact dynamics of spacecraft and space manipulators in space. Both principles and engineering …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32
    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.