Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory...
This text offers a complete coverage in the Decision Mathematics module, also known as Discrete Mathematics, of the syllabuses of English A-level...
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic...
This title is the result of a one-week workshop sponsored by the Swedish research agency, FRN, on the interface between complexity and art. Among...
Stochastic local search (SLS) algorithms are among the most prominent and successful techniques for solving computationally difficult problems in many...
Algebra, as we know it today, consists of many different ideas, concepts and results. A reasonable estimate of the number of these different items...
This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology)...
The Proceedings contain twenty selected, refereed contributions arising from the International Conference on Public-Key Cryptography and...
Combinatorial Mathematics, Optimal Designs, and Their Applications