0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite
    2. Formal Methods
    3. Formal Methods – Bücher, LPs, CDs und mehr, Seite 3

    Trefferliste "Formal Methods" - alle Bücher, LPs, CDs und mehr

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

    Ansicht:

    Death Bells
    New Signs Of Life (Limited Edition) (Smoke Vinyl)

    Product Information After swapping hemispheres, Australian outfit Death Bells have found a new home in Los Angeles, emerging with a new album of fervent guitar-driven rock, stripped of gloom and punchin…

    lieferbar innerhalb von 3 Tagen
    LP
     
    Vorheriger Preis EUR 24,99, reduziert um 8%
    Aktueller Preis: EUR 22,99

    Lucas Santtana
    O Céu É Velho Há Muito Tempo

    Das neue, mittlerweile achte Album von Lucas Santtana, ist ein Porträt der politischen, sozialen und kulturellen Lage in seinem Heimatland Brasilien. Einen Namen hat sich Santtana mit Alben zwischen Tropi…

    lieferbar innerhalb 1-2 Wochen
    CD
     
    Aktueller Preis: EUR 16,99

    Lucas Santtana
    O Céu É Velho Há Muito Tempo

    Das neue, mittlerweile achte Album von Lucas Santtana, ist ein Porträt der politischen, sozialen und kulturellen Lage in seinem Heimatland Brasilien. Einen Namen hat sich Santtana mit Alben zwischen Tropi…

    lieferbar in mind. 4 Wochen
    LP
     
    Aktueller Preis: EUR 25,99

    AI Verification

    This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized i…

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

    Tests and Proofs

    Lecture Notes in Computer Science - Band 15153

    ¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods sy…

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

    Agents and Artificial Intelligence

    This two part-volume LNCS constitutes the refereed post proceedings of 16th International Conference, ICAART 2024, in Rome, Italy in February 2024.The 24 full papers and 13 short papers included in this b…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    From Data to Models and Back

    This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.The 8 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 120,46

    Fundamentals of Software Engineering

    This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7--8, 2025.The 11 full pape…

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

    Engineering of Complex Computer Systems

    This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Limassol, Cyprus, during June 19¿21, 2024.The 18 full paper…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Ahmet Bindal
    Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers

    This textbook provides semester-length coverage of the basics of embedded programming to develop robotics-related projects. The author avoids the typical, theoretical approach of teaching students to deve…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 53,32

    Christina Klüver, Jörn Schmidt, Jürgen Klüver
    Modeling Complex Processes Through Nature-Analogous Methods

    This book is an introduction to nature-analogous techniques and related formal methods. For each technique, application examples are provided. It covers cellular automata and Boolean networks, evolutionar…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 79,99

    Computation-Aware Algorithmic Design for Cyber-Physical Systems

    This contributed volume aims to build the foundation of a framework for computationally aware algorithmic design for cyber-physical systems (CPSs), focusing on approaches that take computation into accoun…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 153,32

    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
    Aktueller Preis: EUR 76,66

    CyberSecurity in a DevOps Environment

    This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 219,03

    Security and Trust Management

    This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19-20, 2024 and co-located …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Sanjay
    The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems

    "The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems" dives into the fascinating world of formal methods for ensuring the smooth operation of critical systems.…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 28,19

    Advances in Computing

    This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 82,13

    Real Time and Such

    This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmer…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Bridging the Gap Between AI and Reality

    Lecture Notes in Computer Science - Band 14129

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

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

    Advances in Computing

    This two-volume set CCIS 2208-2209 constitutes revised selected papers from the refereed proceedings of the 18th Colombian Congress on Computing, CCC 2024, held in Manizales, Colombia, during September 4-…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08
    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.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH