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