18,231円 This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripke’s singular contributions to modal logic. Kripke’s work on modal logic helped usher in a new semantic epoch for the field and made facility with modal logic indispensable not only to technically ...

500円 Do you ever wonder how the world builds upon the complexities of mathematics and logic? How can understanding advanced theories transform our approach to everyday problems? This book proves to be the bridge between theoretical mathematics and practical solutions. Introducing 'Development Theory: ...

1,205円 They came seeking Illumination. Did they find it? Well, how would they know? What makes you think you're "enlightened"? Maybe you're one of those false awakeners. How do you know that your "enlightenment" isn't illusory? What criteria are you using to determine what "enlightenment" is? Why those ...

10,612円 Mathematical Foundations of Computer Science introduces students to the discrete mathematics needed later in their Computer Science coursework with theory of computation topics interleaved throughout. Students learn about mathematical concepts just in time to apply them to theory of computation i...

12,269円 Wireless Body Area Networks (WBANs) are vulnerable to cyberattacks and security breaches that could unlock the door for cybercriminals to penetrate hospital networks. This book covers the fundamental concepts of security and privacy in WBANs including security requirements, issues, and challenges...

3,739円 Questo libro ha lo scopo di fornire un’ampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nella loro unitarietà. Sfruttando largamente il pensiero di molti tra i più grandi scienziati, esso offre una chiara comprensione dei fondamenti della f...

17,016円 This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic ...

12,269円 This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusing on the significance of the I-function. Serving as a generalized form of special functions, particularly generalised hypergeometric functions, the I...

3,708円 A marvelous compendium of mathematical symbols and their fascinating histories Galileo famously wrote that the book of nature is written in mathematical language. The Language of Mathematics is a wide-ranging and beautifully illustrated collection of short, colorful histories of the most commonly...

4,932円 Propositiones ad acuendos juvenes (“Problems to Sharpen the Young”) is a ninth-century book written by medieval teacher and scholar Alcuin of York. Today, it has become one of the foundational texts in what is commonly called recreational mathematics. The book has been translated in many language...

14,923円 RC4 Stream Cipher and Its Variants is the first book to fully cover the popular software stream cipher RC4. With extensive expertise in stream cipher cryptanalysis and RC4 research, the authors focus on the analysis and design issues of RC4. They also explore variants of RC4 and the eSTREAM final...

28,191円 The widespread use of image, audio, and video data makes media content protection increasingly necessary and urgent. For maximum safety, it is no longer sufficient to merely control access rights. In order to fully protect multimedia data from piracy or unauthorized use, it must be secured throug...