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:
    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
    Gibraltar Drakus: Hommage a Zanzibar, CD

    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
    CD
     
    EUR 15,99*
    Artikel ist im Warenkorb
    Brett Morgen: Jane (Blu-ray), BR
    -35%

    Jane (Blu-ray)

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

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    EUR 19,99**
    Blu-ray Disc
    EUR 12,99*
    Artikel ist im Warenkorb
    Drab Majesty: Unarian Dances EP (remastered) (Limited Edition) (Bubblegum Pink Vinyl), MAX

    Drab Majesty
    Unarian Dances EP (remastered) (Limited Edition) (Bubblegum Pink Vinyl)

    Die erste Veröffentlichung von Drab Majesty war die 2012 im Eigenverlag erschienene Kassette »Unarian Dances«. Ursprünglich auf 100 Exemplare limitiert, fanden Tracks von diesem Tape schließlich ihren Weg…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    Single 12"
    EUR 19,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
    : Fundamentals of Software Engineering, Buch

    Fundamentals of Software Engineering

    Lecture Notes in Computer Science -Band 14155

    This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023. The 9…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 60,23*
    Artikel ist im Warenkorb
    Martha Schnieber: Polynomial Formal Verification of Approximate Functions, Buch

    Martha Schnieber
    Polynomial Formal Verification of Approximate Functions

    BestMasters

    During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal meth…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 109,51*
    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
    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
    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 79,99*
    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
    : Runtime Verification, Buch

    Runtime Verification

    Lecture Notes in Computer Science -Band 14245

    This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3 6, 2023. The 13 full papers and 7 shor…

    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