Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...
اقرأ المزيد
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
اقرأ المزيد
Religion in the Public Sphere: A Comparative Analysis of German, Israeli, American and International Law
How closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
اقرأ المزيد
Representations, Wavelets, and Frames : A Celebration of the Mathematical Work of Lawrence W. Baggett
Motivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
اقرأ المزيد
Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...
اقرأ المزيد
Researching Elites and Power Theory, Methods, Analyses
This book describes how elite studies theoretically and methodologically construct their object, i.e. how particular conceptualizations ...
اقرأ المزيد
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Sequences and Their Applications - SETA 2008 : 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings
The book is organized in topical sections on probabilistic methods and randomness properties of sequences; correlation; combinatorial ...
اقرأ المزيد
Sequences, Subsequences, and Consequences
These are the proceedings of the Workshop on Sequences, Subsequences, and Consequences that was held at the University of ...
اقرأ المزيد
Sets, Logic and Maths for Computing
The tools for developing these skills are in part qualitative – concepts such as set, relation, function, and structures ...
اقرأ المزيد
Symbolic Integration I
This first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standard reference ...
اقرأ المزيد
Symbolic-Numeric Computation
The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the ...
اقرأ المزيد
Systematic Modeling and Analysis of Telecom Frontends and their Building Blocks
This book reports on research in the field of methods for modeling and analysis of telecommunication frontends and their ...
اقرأ المزيد
Testing of Communicating Systems (vol. # 3964)
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
اقرأ المزيد
Testing of Software and Communicating Systems
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
اقرأ المزيد
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيد
The Arché Papers on the Mathematics of Abstraction
This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
اقرأ المزيد
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
اقرأ المزيد
The Fourfold Way in Real Analysis
The fourfold way starts with the consideration of entire functions of one variable satisfying specific estimates at infinity, ...
اقرأ المزيد
Theory of Cryptography (vol. # 3378)
This book constitutes the thoroughly refereed proceedings of the 10th Theory of Cryptography Conference, TCC 2013, held in ...
اقرأ المزيد
