Electronic Books

Total Books: 961 - 980 /2323

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

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 ...

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the ...

Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...

Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” ...

Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...

This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent ...

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

This book explains how best to use Analysis Services, SQL Server Integration Services, SQL Server Reporting Services, and ...

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Total Books: 961 - 980 /2323