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 reading
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ ...
Continue reading
This 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 reading
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
Continue reading
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
Continue reading
This book sets out the stress-system model for functional somatic symptoms in children and adolescents. The book begins ...
Continue reading
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Continue reading
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue reading
The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...
Continue reading
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...
Continue reading
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
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
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
The 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