Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Continue readingWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
Continue readingAlthough designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ ...
Continue readingThis book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
Continue readingFrom a manufacturability standpoint, nanometer routers must explicitly deal with the ever increasing design complexity, and ...
Continue readingPatients have suffered for a long time from Alzheimer's disease. The presence of some obstacles in treatment, which prompted ...
Continue readingThis book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
Continue readingThis book sets out the stress-system model for functional somatic symptoms in children and adolescents. The book begins ...
Continue readingThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Continue readingThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue readingThe primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...
Continue readingThe Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading