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
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
Neural-Symbolic Learning and Reasoning
EAN: 9783031711695
Parallel Problem Solving from Nature – PPSN XVIII
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th...
EAN: 9783031700705
Computer Safety, Reliability, and Security
This book constitutes the refereed proceedings of the 43rd International Conference on Computer...
EAN: 9783031686054
Database and Expert Systems Applications
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International...
EAN: 9783031683114
Collaboration Technologies and Social Computing
This book constitutes the proceedings of the 30th International Conference on Collaboration...
EAN: 9783031679971
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756629
Navigating Unpredictability: Collaborative Networks in Non-linear Worlds
Trust and trustworthy technologies in collaborative networks.Part II: Empowering vulnerable...
EAN: 9783031717420
Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711411
