Formalization – alle Bücher und CDs

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

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

AJJ

Good Luck Everybody (Digisleeve)

Product Information Good Luck Everybody, is a grim glimpse into the tidal wave reality of modern life in America. It's a collection of songs that will undoubtedly stand out in the band's 15-year catalog…

lieferbar in mind. 4 Wochen

CD

Intelligent Computer Mathematics

Lecture Notes in Computer Science - Band 16136, Lecture Notes in Artificial Intelligence

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6--11, 2025.The 24 full papers …

lieferbar ab 17.11.2025.

Buch

Hereditary Models of Dynamic Processes in Geospheres

The book is aimed at developing and analyzing fundamentally new mathematical models of dynamicprocesses in the Earth's geospheres, taking into account heredity, in order to detect (predict) natural and ma…

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

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

Buch

Wei Cheng, Olivier Rioul, Sylvain Guilley
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

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