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 2

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

    Ansicht:
    Wax Tailor: The Shadow Of Their Suns, LP,LP

    Wax Tailor
    The Shadow Of Their Suns

    Wax Tailor, mit richtigem Namen Jean-Christophe Le Saoût, ist einer der bekanntesten französischen Produzenten im Bereich Hip Hop und Trip Hop. 2001 startete er international durch, mit dem Remix von Brea…

    lieferbar innerhalb 2-3 Wochen
    2 LPs
     
    EUR 31,99*
    Artikel ist im Warenkorb
    Marco Bettner: Formelsammlung für die Sekundarstufe 1, Buch

    Marco Bettner, Michael Körner
    Formelsammlung für die Sekundarstufe 1

    Alle wichtigen Formeln auf einen Blick - Ein Muss für den Mathematikunterricht in den Klassen 5 bis 10! Diese Formelsammlung enthält alle wichtigen Formeln des Faches Mathematik für die Klassen 5 b…

    sofort lieferbar
    Buch
    EUR 6,99*
    Artikel ist im Warenkorb
    The Meteors: Psychobilly (Limited Edition) (Transparent Green Vinyl) (Secret Bonus Track), LP

    The Meteors
    Psychobilly (Limited Edition) (Transparent Green Vinyl) (Secret Bonus Track)

    Die Meteors, die ursprünglichen Schöpfer der Psychobilly-Musik, begannen als Reaktion auf die sanfte Neo-Rockabilly-Musik der Rock-Revival-Ära der späten 70er Jahre. Die Band wurde 1979 zuerst unter d…

    LP
    EUR 29,99*
    Death Bells: New Signs Of Life, CD

    Death Bells
    New Signs Of Life

    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 1-2 Wochen
    CD
     
    EUR 17,99*
    Artikel ist im Warenkorb
    Alexandre Aja: Das neunte Leben des Louis Drax, DVD

    Das neunte Leben des Louis Drax

    Louis Drax ist kein normaler Junge. Jedes Jahr stößt ihm unter rätselhaften Umständen etwas Schreckliches zu, wobei er beinahe ums Leben kommt. Aus unerklärlichen Gründen hat er bisher jeden Unfall überle…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    DVD
     
    EUR 7,99*
    Artikel ist im Warenkorb
    Brett Morgen: Jane, DVD
    -44%

    Jane

    »Nach Afrika gehen, mit Tieren leben. Das ist alles, worüber ich je nachgedacht habe.« Jane Goodall. Der Oscar- und Emmy-nominierte Regisseur Brett Morgen nutzt einen Fundus von nie zuvor gesehenem 16m…

    Artikel am Lager
    EUR 17,99**
    DVD
     
    EUR 9,99*
    Artikel ist im Warenkorb
    Gibraltar Drakus: Hommage A Zanzibar, LP

    Gibraltar Drakus
    Hommage A Zanzibar

    Die kamerunische Bikutsi-Szene hat in den 1980er und frühen 90er Jahren eine ganze Reihe schillernder Persönlichkeiten hervorgebracht. Gibraltar Drakus ist einer der beständigsten und rätselhaftesten Küns…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    LP
     
    EUR 26,99*
    Artikel ist im Warenkorb
    Lucas Santtana: O Céu É Velho Há Muito Tempo, CD

    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…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    CD
     
    EUR 16,99*
    Artikel ist im Warenkorb
    Lucas Santtana: O Céu É Velho Há Muito Tempo, LP

    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
    LP
     
    EUR 26,99*
    Artikel ist im Warenkorb
    : AI Verification, Buch

    AI Verification

    Lecture Notes in Computer Science -Band 14846

    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…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Artikel ist im Warenkorb
    : Nature of Computation and Communication, Buch

    Nature of Computation and Communication

    Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering -Band 586

    This book constitutes the refereed post-conference proceedings of the 9th International Conference on Nature of Computation and Communication, ICTCC 2023, held in Ho Chi Minh City, Vietnam, in October 202…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 65,71*
    Artikel ist im Warenkorb
    Ahmet Bindal: Designing Mobile Robot Interfaces with 16-bit Microchip Microcontrollers, Buch

    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
    EUR 53,32*
    Artikel ist im Warenkorb
    Sanjay: The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems, Buch

    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. Imagine a…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 28,19*
    Artikel ist im Warenkorb
    : Computation-Aware Algorithmic Design for Cyber-Physical Systems, Buch

    Computation-Aware Algorithmic Design for Cyber-Physical Systems

    Systems & Control: Foundations & Applications

    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
    EUR 142,37*
    Artikel ist im Warenkorb
    : 2nd International Congress of Electrical and Computer Engineering, Buch

    2nd International Congress of Electrical and Computer Engineering

    EAI/Springer Innovations in Communication and Computing

    This proceedings presents the papers included in the 2nd International Congress of Electrical and Computer Engineering (ICECENG), which took place in Bandirma, Turkey, 22-25 November 2023. The conference …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 197,13*
    Artikel ist im Warenkorb
    : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Buch

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Lecture Notes in Computer Science -Band 14198

    This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    : Recent Trends in Algebraic Development Techniques, Buch

    Recent Trends in Algebraic Development Techniques

    Lecture Notes in Computer Science -Band 13710

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 r…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Artikel ist im Warenkorb
    : CyberSecurity in a DevOps Environment, Buch

    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
    EUR 197,13*
    Artikel ist im Warenkorb
    : 2G #89 BAST, Buch

    2G #89 BAST

    BAST have taken a proactive attitude to research in order to experiment with the diverse potentialities of each project. At each step of the design phase, they propose multiple different solutions. As a r…

    sofort lieferbar
    Buch
    EUR 39,95*
    Artikel ist im Warenkorb
    : Bridging the Gap Between AI and Reality, Buch

    Bridging the Gap Between AI and Reality

    Lecture Notes in Computer Science -Band 14380

    This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 76,66*
    Artikel ist im Warenkorb
    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