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

    Formalization – alle Bücher

    Ihre Suche nach "Formalization" (Bücher) ergab 11 Treffer.

    Ansicht:

    Lei Huang
    Normalization Techniques in Deep Learning

    Synthesis Lectures on Computer Vision

    This book surveys normalization techniques with a deep analysis in training deep neural networks. Normalization methods can improve the training stability, optimization efficiency, and generalization abil…

    lieferbar ab 13.5.2026.
    Buch
    Aktueller Preis: EUR 42,66

    Maneesh Arora
    Parties and Prejudice

    "Anti-minority rhetoric in American politics has grown more overt. What were once fringe comments on Stormfront have now become typical campaign appeals from many mainstream politicians. This is the …

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 40,41

    Yujeong Yang
    The Politics of Inclusion and Exclusion

    In The Politics of Inclusion and Exclusion, Yujeong Yang investigates this question by examining locally divergent patterns of pension expansion in China. Drawing on interviews, surveys, and anecdotal evi…

    lieferbar innerhalb 1-2 Wochen
    Buch
    Aktueller Preis: EUR 115,56

    William Barclay Turnbull
    The Visions of Tundale; Together With Metrical Moralizations and Other Fragments of Early Poetry, Hitherto Inedited

    Reprint of the original, first published in 1843. 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

    William Barclay Turnbull
    The Visions of Tundale; Together With Metrical Moralizations and Other Fragments of Early Poetry, Hitherto Inedited

    Reprint of the original, first published in 1843. 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

    Peter Y. Zavalij, Vitalij K. Pecharsky
    Fundamentals of Powder Diffraction and Structural Characterization of Materials

    Fundamentals of Crystalline State and Crystal Lattice.- Finite Symmetry Elements and Crystallographic Point Groups.- Infinite Symmetry Elements and Crystallographic Space Groups.- Formalization of Symmetr…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 117,33

    Lucien Sina
    Logic: Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives

    This groundbreaking textbook presents a new approach to the study of logic by combining classical foundations with modern information-theoretic perspectives. Following a detailed introduction, it offers a…

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

    Wei Cheng, Sylvain Guilley, Olivier Rioul
    Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

    This book offers the reader a formalization, characterization and quantification of the real threat level posed by side-channel leaks from devices implementing cryptography. It exploits the best mathemati…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 175,23

    Maznah Mohamad, Syahirah Rasheed
    Sexuality and Islamic Spirituality in Early Malay Writings

    It is argued here that before the extensive formalization of sharia laws from the late nineteenth century onwards, Islam was prominently influenced by elements of enchantment and mysticism, mirrored in it…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 150,28

    Egbert Rijke
    Introduction to Homotopy Type Theory

    This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

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

    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
    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.