This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Continue reading
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue reading
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue reading
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Continue reading
This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Cryptographic ...
Continue reading
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security ...
Continue reading
A recent trend in the field of Galois theory is to tie the previous theory of curve coverings (mostly of the Riemann sphere) ...
Continue reading
Most of the papers included here address methodology and feature practical case studies, so that the book likely has broad ...
Continue reading
It focused on Aerospace, Electronic Industry, Chemical Technology, Life Sciences, Materials, Geophysics, Financial Mathematics ...
Continue reading
It focused on Aerospace, Electronic Industry, Chemical Technology, Life Sciences, Materials, Geophysics, Financial Mathematics ...
Continue reading
ECMI is synonymous with European Mathematics for Industry and organizes successful biannual conferences. The 14th European ...
Continue reading
Projective duality is a very classical notion naturally arising in various areas of mathematics, such as algebraic and differential ...
Continue reading
Projective geometry, and the Cayley-Klein geometries is one of the foundations of algebraic geometry and has many applications ...
Continue reading
Projective geometry, and the Cayley-Klein geometries is one of the foundations of algebraic geometry and has many applications ...
Continue reading
Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...
Continue reading
Proofs from THE BOOK è un'opera straordinaria che ha saputo calamitare l'interesse di numerosissimi lettori, matematici ...
Continue reading
The place in survival analysis now occupied by proportional hazards models and their generalizations is so large that it ...
Continue reading
The topics in the book include: - the representation of mathematical statements by formulas in a formal language. - the interpretation ...
Continue reading