 |
|
|
|
| | Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010
The present volume contains the proceedings of the seventh international workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, Italy, 16–17 September 2010, as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010).
FAST aims to foster cooperation among... | | Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing)The present book deals with algebras, congruences, morphisms, reasoning about identities, classes of algebras and their axiomatizability, etc., from the point of view of fuzzy logic. We therefore deal with topics traditionally studied in universal algebra. Our approach is the following. In classical universal algebra, one works in bivalent setting.... |
|
Rippling: Meta-Level Guidance for Mathematical Reasoning The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses... | | Freedom of Speech: Rights and Liberties under the Law (America's Freedoms)An innovative narrative approach combines history, politics, and legal doctrine to explore the origin and evolution of Americans' constitutional right to free speech. The First Amendment's declaration that "Congress shall make no law...abridging the Freedom of Speech" is the keystone of our democracy. However, the meaning of this freedom... | | Learning Perl/Tk: Graphical User Interfaces with Perl (O'Reilly Nutshell)By combining the rough-and-ready Perl language with the graphical user interface (GUI) capabilities of the Tk toolkit, Perl/Tk makes it easy to write event-based GUI applications quickly--once you know what you're doing. Learning Perl/Tk shows you how to build GUIs with everyone's favorite public-domain programming language. This book... |
|
|
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... | | | | |
|
|
| Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 |
