Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Seeing the Light: The Case for Nuclear Power in the 21st Century
e-bok,
2017,
Engelsk,
ISBN 9781108298186
Nuclear power is not an option for the future but an absolute necessity. Global threats of climate change and lethal air pollution, killing millions each year, make it clear that …
Fra
354,-
Linear Logic in Computer Science
e-bok,
2004,
Engelsk,
ISBN 9780511894329
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical …