This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Lire la suiteThe book contains many ex- ples without mathematical analysis.In some other cases complete mathematical proofs are detailed, ...
Lire la suiteTransseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suiteThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suiteThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteDiscusses and explains topics such as hashing, Merkle trees, nodes, mining, proof of work and proof of stake, consensus mechanisms ...
Lire la suiteThis is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
Lire la suiteMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lire la suiteThe subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and ...
Lire la suiteThe book gives a concise introduction to variational methods and presents an overview of areas of current research in the ...
Lire la suiteThe contents in this book are presented at a theoretical-practical level. It explains vehicle dynamics concepts in detail, ...
Lire la suitefeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
Lire la suiteThis book contains groundbreaking contributions to the philosophical analysis of mathematical practice. Several philosophers ...
Lire la suiteThis book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, ...
Lire la suiteThis monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...
Lire la suite