Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيدWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
اقرأ المزيد
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ ...
اقرأ المزيد
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
اقرأ المزيد
Advanced spectroscopic techniques allow the probing of very small systems and very fast phenomena, conditions that can be ...
اقرأ المزيد
This book presents recent research and hot topics in the field of real estate science in Japan. It features carefully selected ...
اقرأ المزيدPatients have suffered for a long time from Alzheimer's disease. The presence of some obstacles in treatment, which prompted ...
اقرأ المزيد
Fully-depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications addresses the problem of reducing the supply ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
اقرأ المزيد
In this book not only mathematical abstractions are discussed in a lucid manner, but also several practical applications ...
اقرأ المزيد
This practical and timely volume presents an overview of the principles of fMRI and explains key concepts, including scanning ...
اقرأ المزيد
Nanostructured materials are becoming of major significance, and their investigations require a comprehensive approach. The ...
اقرأ المزيد
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
اقرأ المزيد
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيد
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد