Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Concrete Semantics
häftad,
2016,
Engelska,
ISBN 9783319357591
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to …
Concrete Semantics
inbunden,
2014,
Engelska,
ISBN 9783319105413
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to …
Textbook of Tinnitus
inbunden,
2024,
Engelska,
ISBN 9783031356469
This book describes the theoretical background of the different forms of tinnitus (ringing in the ears) and detailed knowledge of state-of-the-art treatments of tinnitus. Tinnitus …