for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.
Bemærk: Kan ikke leveres før jul.
This volume comprises high-quality works in pure and applied mathematics from the mathematical communities in Spain and Brazil.
Bemærk: Kan ikke leveres før jul.
This book provides a comprehensive introduction to Soergel bimodules. In this book the reader is introduced to the theory through a series of lectures, which range from... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
Bemærk: Kan ikke leveres før jul.
This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book is a comprehensive examination of the conception, perception, performance, and composition of time in music across time and culture. These include mathematicians, music... Læs mere
Bemærk: Kan ikke leveres før jul.
This book discusses the recent developments in semigroups theory, category theory and the applications of these in various areas of research, including structure theory of semigroups, lattices, rings and partial algebras.
Bemærk: Kan ikke leveres før jul.
Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.