0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Formal Methods – Bücher, LPs, CDs und mehr

    Ihre Suche nach "Formal methods" ergab 43 Treffer

    Ansicht:
    : Formal Methods Teaching, Buch

    Formal Methods Teaching

    Lecture Notes in Computer Science -Band 14939

    This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 41,61*
    Artikel ist im Warenkorb
    : NASA Formal Methods, Buch

    NASA Formal Methods

    Lecture Notes in Computer Science -Band 14627

    This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 81,04*
    Artikel ist im Warenkorb
    : The Practice of Formal Methods, Buch

    The Practice of Formal Methods

    Lecture Notes in Computer Science -Band 14781

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : The Practice of Formal Methods, Buch

    The Practice of Formal Methods

    Lecture Notes in Computer Science -Band 14780

    This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : The Application of Formal Methods, Buch

    The Application of Formal Methods

    Lecture Notes in Computer Science -Band 14900

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

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 72,27*
    Artikel ist im Warenkorb
    : Formal Methods: Foundations and Applications, Buch

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science -Band 14414

    This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers present…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 54,75*
    Artikel ist im Warenkorb
    : Software Engineering and Formal Methods, Buch

    Software Engineering and Formal Methods

    Lecture Notes in Computer Science -Band 14323

    This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 71,19*
    Artikel ist im Warenkorb
    : Formal Methods for Industrial Critical Systems, Buch

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science -Band 14952

    This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9 13, 2024. The 14 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    : Formal Methods for Industrial Critical Systems, Buch

    Formal Methods for Industrial Critical Systems

    Lecture Notes in Computer Science -Band 14290

    This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20 22, 2023. The 14 fu…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,51*
    Artikel ist im Warenkorb
    : Formal Methods for an Informal World, Buch

    Formal Methods for an Informal World

    Lecture Notes in Computer Science -Band 13490

    This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 53,32*
    Artikel ist im Warenkorb
    Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

    Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
    Formal Methods for the Analysis of Biomedical Ontologies

    Synthesis Lectures on Data, Semantics, and Knowledge

    The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    Artikel ist im Warenkorb
    : Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops, Buch

    Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    Lecture Notes in Computer Science -Band 14568

    This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 43,80*
    Artikel ist im Warenkorb
    Sebastian van Ravenswaay: Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel, Buch

    Sebastian van Ravenswaay
    Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel

    Rhetorik: Mit optimaler Kommunikation in jeder Situation glänzen und ganz einfach berufliche und private Ziele erreichen Präsentationen treiben Ihnen den Schweiß auf die Stirn und gehören nicht zu Ihren …

    sofort lieferbar
    Buch
    EUR 14,95*
    Artikel ist im Warenkorb
    Winfried Keuthage: Abnehmen mit der HAWEI-Methode, Buch

    Winfried Keuthage
    Abnehmen mit der HAWEI-Methode

    GU Einzeltitel Gesunde Ernährung

    Die Erfolgsformel zum Abnehmen: Hafer und Eiweiß Das Dream-Team aus Hafer und Eiweiß spielt die Hauptrolle in der einzigartigen HAWEI-Methode. Deshalb auch »HAWEI«: HAFER und EIWEISS. Entwickelt wurde das…

    sofort lieferbar
    Buch
    EUR 19,99*
    Artikel ist im Warenkorb
    Sven Lundershausen: Praxishandbuch Moderation, Buch

    Sven Lundershausen
    Praxishandbuch Moderation

    Edition Training aktuell

    Ein modernes Standardwerk zum Thema Moderation für Profis und Neueinsteiger. Es vermittelt die Techniken, Formate, Instrumente und Interventionen dieser effizienten Methode für die Gruppenarbeit, die län…

    lieferbar ab 15.12.2024.
    Buch
    EUR 49,90*
    Artikel ist im Warenkorb
    Coil: A Thousand Lights In A Darkened Room (Reissue), LP,LP

    Coil
    A Thousand Lights In A Darkened Room (Reissue)

    Coil präsentiert »A Thousand Lights In A Darkened Room«. Während der Übergangszeit, in der die Hauptverantwortlichen von Coil (Peter »Sleazy« Christopherson und John Balance) ihre kreative Richtung neu or…

    umgehend lieferbar, Bestand beim Lieferanten vorhanden
    2 LPs
     
    EUR 34,99*
    Artikel ist im Warenkorb
    Reich: Iterate: The Secret to Innovation in Schools, Buch

    Reich
    Iterate: The Secret to Innovation in Schools

    Innovate and implement new, effective ways of teaching in your school In Iterate: The Secret to Innovation in Schools, veteran educator, MIT professor, and incorrigible innovator Justin Reich delivers an…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 31,40*
    Artikel ist im Warenkorb
    The Meteors: These Evil Things (Curcao Blue Vinyl) (Secret Bonus Track), LP

    The Meteors
    These Evil Things (Curcao Blue 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…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 31,99*
    Artikel ist im Warenkorb
    The Meteors: Hymns For The Hellbound (Transparent Red Vinyl) (Secret Bonus Track), LP

    The Meteors
    Hymns For The Hellbound (Transparent Red 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…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 32,99*
    Artikel ist im Warenkorb
    The Meteors: Hymns For The Hellbound (+ Secret Bonus Track), LP

    The Meteors
    Hymns For The Hellbound (+ 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…

    lieferbar in mind. 4 Wochen
    LP
     
    EUR 28,99*
    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