Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Interactive Theorem Proving
E-bok,
2017,
Engelska,
ISBN 9783319661070
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 …
Corrosion and Reliability Assessment of Inspected Pipelines
E-bok,
2023,
Engelska,
ISBN 9783031435324
This book provides the most up-to-date, advanced methods and tools for risk assessment of onshore pipelines. These methods and tools are based primarily on information collected …
Mechanisms of Circadian Systems in Animals and Their Clinical Relevance
E-bok,
2014,
Engelska,
ISBN 9783319089454
Well known experts in the field of Chronobiology from around the world, provide an integrative view of the state of the art of circadian biology. At present, genetic and epigenetic …
E-bok
Titeln har utgått ur sortimentet
Önskelista
Titeln har utgått ur sortimentet