Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software...
EAN: 9783319999326
Algorithmic Game Theory
This book constitutes the refereed proceedings of the 11th International Symposium on Algorithmic...
EAN: 9783319996592
Rough Sets
This LNAI 1103 constitutes the proceedings of the International Joint Conference on Rough Sets,...
EAN: 9783319993676
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992587
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992525
Integrated Formal Methods
This book constitutes the refereed proceedings of the 14th International Conference on Integrated...
EAN: 9783319989372
Semantic Web: ESWC 2018 Satellite Events
This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events...
EAN: 9783319981918
From Animals to Animats 15
This book constitutes the refereed proceedings of the 15th International Conference on Simulation...
EAN: 9783319976273
Intelligent Computer Mathematics
?This book constitutes the refereed proceedings of the 11th International Conference on...
EAN: 9783319968117
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
Implementation and Application of Automata
This book constitutes the proceedings of the 23rd International Conference on Implementation and...
EAN: 9783319948119
Computing and Combinatorics
This book constitutes the proceedings of the 24th International Conference on Computing and...
EAN: 9783319947754
Descriptional Complexity of Formal Systems
This book constitutes the proceedings of the 20th International Conference on Descriptional...
EAN: 9783319946306
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th...
EAN: 9783319944593
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
Theory and Applications of Satisfiability Testing – SAT 2018
This book constitutes the refereed proceedings of the 21st International Conference on Theory and...
EAN: 9783319941431
Fault-Tolerant Message-Passing Distributed Systems
This book presents the most important fault-tolerant distributed programming abstractions and...
EAN: 9783319941400
Model Checking Software
This book constitutes the refereed proceedings of the 25th International Symposium on Model...
EAN: 9783319941103
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
EAN: 9783319930305
Tests and Proofs
This book constitutes the refereed proceedings of the 12th International Conference on Tests and...
EAN: 9783319929934
