Formalization – alle Bücher

Johanna Schomisch
Influence of National Culture on the Formalization of Management Systems

In this book, it was researched whether differences in the formalization of management systems occur in certain countries and whether these can be attributed primarily to the culture of the country or whe…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

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

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

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

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

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

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

Guide to Software Verification with Frama-C

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