The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
Lire la suiteThe book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suiteHow closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
Lire la suiteMotivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
Lire la suiteThe book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
Lire la suiteThis book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThe book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
Lire la suiteThese are the proceedings of the Workshop on Sequences, Subsequences, and Consequences that was held at the University of ...
Lire la suiteThe tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
Lire la suiteThis first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standard reference ...
Lire la suiteThe growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the ...
Lire la suiteThis book reports on research in the field of methods for modeling and analysis of telecommunication frontends and their ...
Lire la suiteThis volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suiteThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suiteThis volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
Lire la suiteThe fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lire la suiteThe fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in ...
Lire la suite