Formalization – alle Bücher

Chen Yang, Zhu Qian
When Formalization Fails

Globally, states use rural-to-urban resettlement to fuel development, yet this formal process consistently generates its own informalities. Using a comparative case study of China-contrasting its affluent…

lieferbar ab 23.7.2026.

Buch

Chen Yang, Zhu Qian
When Formalization Fails

Elements in Global Development Studies

Globally, states use rural-to-urban resettlement to fuel development, yet this formal process consistently generates its own informalities. Using a comparative case study of China-contrasting its affluent…

lieferbar ab 31.7.2026.

Buch

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 in mind. 4 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

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

I.B. Tauris

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

Buch

Intelligent Computer Mathematics

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 innerhalb 2-3 Wochen

Buch

John Z. Shi
The Voyage from Vortex to Helicity (1517 - 1969)

SpringerBriefs in History of Science and Technology

This book in a single contribution for the first time examines the historical development of the concepts of vortex, vorticity, knot, chirality, and helicity between 1517 and 1969. It considers their orig…

lieferbar innerhalb 2-3 Wochen

Buch

NASA Formal Methods

Lecture Notes in Computer Science - Band 16622

This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in t…

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

Hereditary Models of Dynamic Processes in Geospheres

Mathematics of Planet Earth - Band 12

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

lieferbar innerhalb 2-3 Wochen

Buch

Automated Deduction - CADE 30

Lecture Notes in Computer Science - Band 15943

This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for…

lieferbar innerhalb 2-3 Wochen

Buch

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

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

Trefferliste "Formalization" - alle Bücher