for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer... Læs mere
In this introductory text, the fundamental algorithms of numerical linear algebra are developed in a parallel context. Topics include direct... Læs mere
This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of... Læs mere