Theory and Applications of Satisfiability Testing – SAT 2018
This book constitutes the refereed proceedings of the 21st International Conference on Theory and...
EAN: 9783319941431
Model Checking Software
This book constitutes the refereed proceedings of the 25th International Symposium on Model...
EAN: 9783319941103
Theory and Practice of Model Transformation
This book constitutes the refereed proceedings of the 11th International Conference on Model...
EAN: 9783319933160
Modelling Foundations and Applications
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations...
EAN: 9783319929965
Tests and Proofs
This book constitutes the refereed proceedings of the 12th International Conference on Tests and...
EAN: 9783319929934
Graph Transformation
This book constitutes the refereed proceedings of the 11th International Conference on Graph...
EAN: 9783319929903
Algorithms and Models for the Web Graph
This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models...
EAN: 9783319928708
Unconventional Computation and Natural Computation
This book constitutes the proceedings of the 17th International Conference on Unconventional...
EAN: 9783319924342
Machines, Computations, and Universality
EAN: 9783319924014
Design, User Experience, and Usability: Theory and Practice
The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th...
EAN: 9783319917962
Service-Oriented Computing – ICSOC 2017 Workshops
EAN: 9783319917634
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916378
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916347
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry
EAN: 9783319915838
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation
EAN: 9783319915807
Advanced Information Systems Engineering
EAN: 9783319915623
Database Systems for Advanced Applications
This book constitutes the workshop proceedings of the 23rd International Conference on Database...
EAN: 9783319914541
Diagrammatic Representation and Inference
This book constitutes the refereed proceedings of the 10th International Conference on the Theory...
EAN: 9783319913759
Trends in Functional Programming
This book constitutes the thoroughly refereed revised selected papers of the 18th International...
EAN: 9783319897189