Experimentation in Software Engineering
This textbook, which has become the leading source for empirical software engineering research...
EAN: 9783662693056
Reachability Problems
This book constitutes the proceedings of the 18th International Conference on Reachability...
EAN: 9783031726200
Formal Methods Teaching
This book constitutes the proceedings of the 6th International Workshop on Formal Methods...
EAN: 9783031713781
Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 20th International Conference on Formal...
EAN: 9783031712609
Formal Methods
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th...
EAN: 9783031711763
Computational Collective Intelligence
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th...
EAN: 9783031708183
Computational Collective Intelligence
This two-volume set LNAI 14810-14811 constitutes the refereed proceedings of the 16th...
EAN: 9783031708152
Business Process Management
This book constitutes the refereed proceedings of the 22nd International Conference on Business...
EAN: 9783031703959
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track
EAN: 9783031703805
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track
EAN: 9783031703775
Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track
EAN: 9783031703706
Machine Learning and Knowledge Discovery in Databases. Research Track
EAN: 9783031703676
Machine Learning and Knowledge Discovery in Databases. Research Track
EAN: 9783031703645
Machine Learning and Knowledge Discovery in Databases. Research Track
EAN: 9783031703515
Machine Learning and Knowledge Discovery in Databases. Research Track
EAN: 9783031703409
Parallel Problem Solving from Nature – PPSN XVIII
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th...
EAN: 9783031700842
Model-Driven Engineering and Software Development
This book constitutes the refereed post-proceedings of the 11th International Conference on...
EAN: 9783031663383