Trends in Functional Programming
This book constitutes revised selected papers from the 21st International Symposium on Trends in...
EAN: 9783030577605
Graph Transformation
This book constitutes the refereed proceedings of the 13th International Conference on Graph...
EAN: 9783030513719
Coordination Models and Languages
This book constitutes the proceedings of the 22nd International Conference on Coordination Models...
EAN: 9783030500283
Inductive Logic Programming
This book constitutes the refereed conference proceedings of the 29th International Conference on...
EAN: 9783030492090
Artificial Intelligence in Music, Sound, Art and Design
EAN: 9783030438586
Cyber Physical Systems. Model-Based Design
EAN: 9783030411305
Introduction to R for Terrestrial Ecology
EAN: 9783030276027
Dynamic Logic. New Trends and Applications
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI...
EAN: 9783030388072
Languages and Compilers for Parallel Computing
EAN: 9783030352240
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 20th International Conference on...
EAN: 9783030353322
Integrated Formal Methods
This book constitutes the refereed proceedings of the 15th International Conference on Integrated...
EAN: 9783030349677
Languages and Compilers for Parallel Computing
EAN: 9783030346263
Programming Languages and Systems
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and...
EAN: 9783030341749
On the Move to Meaningful Internet Systems: OTM 2019 Conferences
This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International...
EAN: 9783030332457
From Software Engineering to Formal Methods and Tools, and Back
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these...
EAN: 9783030309848
Static Analysis
This book constitutes the refereed proceedings of the 26th International Symposium on Static...
EAN: 9783030323035
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated...
EAN: 9783030317836
