Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Continue reading
Proposing the concept of real-world data circulation (RWDC), this book presents various practical and industry-related studies ...
Continue reading
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
Continue reading
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
Continue reading
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
Continue reading
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
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 constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of ...
Continue reading
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
Continue reading
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Continue reading
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
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
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Continue reading
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
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 reading