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 ...
اقرأ المزيد
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
اقرأ المزيد
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيد
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...
اقرأ المزيدElaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...
اقرأ المزيد
Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid ...
اقرأ المزيد
The book collects essays from some of the foremost scholars in a relatively new and very promising field of research. It ...
اقرأ المزيد
This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, ...
اقرأ المزيد
Welcome to the world of 3D architectural visualizations using the most powerful and versatile 3D software package on the ...
اقرأ المزيد
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” ...
اقرأ المزيد
Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...
اقرأ المزيد
This volume presents the results of investigations into the foundations of the discipline, and represents the state-of-the-art ...
اقرأ المزيد
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 ...
اقرأ المزيد