This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent ...
اقرأ المزيدThis volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدFoundations of Security: What Every Programmer Needs to Know teaches new and current software professionals state-of-the-art ...
اقرأ المزيدThe increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...
اقرأ المزيدThis book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيدThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
اقرأ المزيدETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and ...
اقرأ المزيدThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThe goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
اقرأ المزيدThe strong potential of this research can be seen in real industrial situations with recent progress being made in areas ...
اقرأ المزيد