Free Delivery Over $100
11051 books were found.
This book gathers selected papers presented at the 6th International Conference on Artificial Intelligence and Evolutionary... Read More >>
Read More >>
These techniques are unique for the discretisation of first-kind integral equations since the resulting systems... Read More >>
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing,... Read More >>
This book constitutes the refereed proceedings of the 18th International Conference on Modeling Decisions for Artificial... Read More >>
This book constitutes the proceedings of the Second International Conference on Spatial Data and Intelligence, SpatialDI... 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 13th International Conference on Combinatorics on Words, WORDS... Read More >>
This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory,... 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 constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical... Read More >>
Il libro contiene in forma compatta il programma svolto negli insegnamenti introduttivi di Statistica e tratta alcuni... Read More >>
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis... Read More >>
Advanced security topics such as secure remote work, data security, network security, application and device security,... Read More >>
This textbook approaches the essence of machine learning and data science by considering math problems and building... Read More >>
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN... Read More >>
This book presents a systematic exposition of the main ideas and methods in treating inverse problems for PDEs arising... 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 proceedings of the 17th International Symposium on Algorithms and Data Structures,... Read More >>
With the development of Big Data platforms for managing massive amount of data and wide availability of tools for... Read More >>