This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
اقرأ المزيد
Formal Concept Analysis (FCA) is a mathematical theory of concepts and c- ceptual hierarchyleadingto methods for conceptually ...
اقرأ المزيد
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيد
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
اقرأ المزيد
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...
اقرأ المزيد
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
اقرأ المزيد
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
اقرأ المزيد
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيد
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...
اقرأ المزيد
Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...
اقرأ المزيد
This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...
اقرأ المزيد
XML is a completely platform-agnostic data medium. Flash is able to make use of XML data, which is very useful when creating ...
اقرأ المزيد
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
اقرأ المزيد
In this carefully edited volume a theoretical foundation as well as important new directions for data-mining research are ...
اقرأ المزيد
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
اقرأ المزيد
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
اقرأ المزيد
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” ...
اقرأ المزيد
You've long been enamored with the Python language, and have mastered its many nuances. Yet something seems to be missing—a ...
اقرأ المزيد