Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Modeling By Nonlinear Differential Equations: Dissipative And Conservative Processes
E-bok,
2009,
Engelska,
ISBN 9789814468169
This book aims to provide mathematical analyses of nonlinear differential equations, which have proved pivotal to understanding many phenomena in physics, chemistry and biology. …
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
E-bok,
2018,
Engelska,
ISBN 9789813270954
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
E-bok,
2021,
Engelska,
ISBN 9789811236495
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of …