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

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

    Ihre Suche nach "Completeness" (CDs, Bücher, LPs und mehr) ergab 70 Treffer.

    Ansicht:

    Theoretical Aspects of Software Engineering

    Lecture Notes in Computer Science - Band 15841

    .- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

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

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

    Synthesis Lectures on Data, Semantics, and Knowledge

    This book explores the application of formal methods, rooted in mathematics and logic, to the analysis and enhancement of biomedical ontologies. The authors take a pragmatic approach focused on generating…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 58,66

    Curtis Franks
    Gentzen's Logical Calculi

    SpringerBriefs in Philosophy

    The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing un…

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

    Lucien Sina
    Complexity Theory

    What is complexity theory - and why is it so central to computer science? Complexity theory studies how much time, memory, or other resources are needed to solve algorithmic problems. It provides the foun…

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

    Traceability Matrix

    Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A traceability matrix is a document, usually in the form of a table, that co…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 145,16

    Tomaz Bratanic, Oskar Hane
    Essential Graphrag

    Upgrade your RAG applications with the power of knowledge graphs.Retrieval Augmented Generation (RAG) is a great way to harness the power of generative AI for information not contained in a LLM's training…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 58,73

    Judith A. Merkle
    The Vows of Religious Life in a Secular Society

    This book investigates religious vows, shedding light on the type of faith that can sustain humanity in secular times. It examines the personal impact of religious life as well as its potential to foster …

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

    Charles Lloyd (geb. 1938)
    Sangam - Live 23.5.2004 At Lobero Theatre, Santa Barbara

    “Sangam” is the first release from Charles Lloyd’s exciting new trio with Indian tabla master Zakir Hussain and Eric Harland, the gifted drummer from his ‘regular’ quartet. The album – Lloyd’s first live …

    Artikel am Lager
    CD
     
    Aktueller Preis: EUR 18,99

    Sonny Landreth
    Elemental Journey

    Für sein Instrumental-Album "Elementar Journey" hat Sonny Landreth selbst einige großartige Gastmusiker eingeladen, um diesem Album einen außergewöhlichen Touch zu geben: Joe Satriani hat auf dem kühnen O…

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

    Havergal Brian (1876-1972)
    Symphonie Nr.18

    Bisengaliev, BBC Scottish Symphony Orchestra, Friend

    lieferbar innerhalb 1-2 Wochen
    CD
     
    Aktueller Preis: EUR 14,99
    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.