This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Weiterlesen
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Weiterlesen
Proposing the concept of real-world data circulation (RWDC), this book presents various practical and industry-related studies ...
Weiterlesen
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International ...
Weiterlesen
This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
Weiterlesen
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Weiterlesen
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of ...
Weiterlesen
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Weiterlesen
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Weiterlesen
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Weiterlesen
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Weiterlesen
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Weiterlesen
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Weiterlesen
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Weiterlesen
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen