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

Ana H. Mazur, Avelino F. Zorzo, Charles V. Neu, Edson Oliveirajr
Controlled Experimentation of Digital Forensics

The digital forensics research community develops new solutions daily to advance its subfields, including cloud and network forensics and security. However, a substantial amount of such research requires …

lieferbar ab 2.6.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 ab 12.6.2026.

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

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

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

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

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