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

    Trefferliste "Versification" - alle Bücher und CDs

    Ihre Suche nach "Versification" (Bücher und CDs) ergab 63 Treffer.

    Ansicht:

    David Masson
    The Poetical Works of John Milton. Edited with Memoir, Introductions, Notes, and an Essay on Milton's English and Versification

    Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

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

    David Masson
    The Poetical Works of John Milton. Edited with Memoir, Introductions, Notes, and an Essay on Milton's English and Versification

    Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

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

    Tom Hood
    The Rhymester. Or, The Rules of Rhyme. A Guide to English Versification. With a Dictionary of Rhymes, an Examination of Classical Measures, and Comments Upon Burlesque, Comic Verse, and Song-writing

    Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

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

    Eva Lilja,
    Rhythm in Modern Poetry

    A pioneering work in cognitive versification studies, scrutinizing the rhythmical means of free verse.Investigating a previously neglected area of study, Rhythm in Modern Poetry establishes a foundation f…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 55,94

    Patrick Hofstetter
    Pending Verification

    Twenty-five years after her father s death, Mara Weiss receives a letter stating that his identification was non-conclusive. No explanation. No correction. Just a reclassification.What begins as an admini…

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

    AI Verification

    Lecture Notes in Computer Science - Band 15947

    This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.The scope of the topics was broadly categorized into two groups. The fir…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Donghee Shin
    Algorithmic Fact-Verification

    How is AI transforming the ways society decides what is true? Algorithms now go beyond detecting misinformation. They operate with agentic reasoning, identifying patterns, evaluating credibility, and shap…

    lieferbar ab 14.10.2026.
    Buch
    Aktueller Preis: EUR 42,87

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Computer Aided Verification

    This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Validation and Verification of Automated Driving Systems

    Sustainable Mobility & Energy

    The book offers a comprehensive overview on the state-of the art methods in validation and verification of automated driving systems. It covers latest development in corresponding standards (ASAM), discus…

    lieferbar ab 1.5.2026.
    Buch
    Aktueller Preis: EUR 176,46

    Guide to Software Verification with Frama-C

    Computer Science Foundations and Applied Logic

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

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

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

    This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Automated Technology for Verification and Analysis

    Lecture Notes in Computer Science - Band 16145

    This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,80

    Caroline Dominik
    Embedding Sequential Circuits for their Polynomial Formal Verification

    As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    Verification and Evaluation of Computer and Communication Systems

    Lecture Notes in Computer Science

    This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November…

    lieferbar ab 24.4.2026.
    Buch
    Aktueller Preis: EUR 74,17

    Günter Fischer
    Der Bau der Cheops-Pyramide

    Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

    lieferbar ab 14.9.2026.
    Buch
    Aktueller Preis: EUR 24,00

    Samuel Andreyev (geb. 1981)
    Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion"

    Peyee Chen, ensemble proton bern, Luigi Gaggero

    Artikel wird nachgefertigt.
    Voraussichtlich wieder lieferbar Ende Mai 2026
    CD
     
    Vorheriger Preis EUR 17,99, reduziert um 11%
    Aktueller Preis: EUR 15,99

    Design and Verification of Cyber-Physical Systems: From Theory to Applications

    Lecture Notes in Computer Science

    This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has…

    Erscheint bald
    Buch
    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.