Free Delivery Over $100
11051 books were found.
Read More >>
This book offers a clear and comprehensive introduction to broad learning, one of the novel learning problems studied... Read More >>
This book explores the ways in which the broad range of technologies that make up the smart city infrastructure... Read More >>
Based on talks from the 2017 and 2018 Combinatorial and Additive Number Theory (CANT) workshops at the City University... Read More >>
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Read More >>
In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically... Read More >>
Dieses Buch bietet eine schlanke und gut zugängliche Hinführung zur Angewandten Mathematik, speziell zur Numerischen... Read More >>
This book constitutes the refereed proceedings of the Third IFIP WG 1.8 International Conference on Topics in Theoretical... Read More >>
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal... Read More >>
This book presents refereed proceedings of the First International Conference on Neural Computing for Advanced Applications,... Read More >>
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal... Read More >>
This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial... Read More >>
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte... Read More >>
This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory,... Read More >>
This volume constitutes the proceedings of the 14th International Conference on Algorithmic Aspects in Information... Read More >>
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held... Read More >>
Iceberg semantics is a new framework of Boolean semantics for mass nouns and count nouns in which the interpretation... Read More >>
This book constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information... Read More >>