This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee mas
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...
Lee mas
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lee mas
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Lee mas
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Lee mas
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared ...
Lee mas
Covering every aspect of Flash animation, the book is a fast-paced yet thorough review of the Flash animation process. This ...
Lee mas
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book ...
Lee mas
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Lee mas
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. ...
Lee mas
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” ...
Lee mas
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Lee mas
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results ...
Lee mas
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
Lee mas
This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...
Lee mas
This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...
Lee mas
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lee mas
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
Lee mas