Denna webbshop är stängd för köp.
Klicka här för mer information

Sök i Udac - Exogena processer

Type Theory and Formal Proof

Type Theory and Formal Proof

av Rob Nederpelt

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and resea…

A Farewell to Ice: A Report from the Arctic

av Peter Wadhams

While Glaciers Slept

av Dr. M Jackson
A Farewell to Ice: A Report from the Arctic

Based on five decades of research and observation, a haunting and unsparing look at the melting ice caps, and what their disappearance will mean. Peter Wadhams has been studying…

While Glaciers Slept

While Glaciers Slept weaves together the parallel stories of what happens when the climates of a family and a planet change. M Jackson, a noted scientist and National Geographic…