Formal Methods, Informally
Both beginning- and experienced programmers can improve the quality of their programming with...
EAN: 9781009420990
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
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992587
Parallel Problem Solving from Nature – PPSN XV
EAN: 9783319992525
Towards Autonomous Robotic Systems
This book constitutes the refereed proceedings of the 19th Annual Conference on Towards...
EAN: 9783319967271
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
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
This book constitutes the proceedings of the 16th International Conference on Practical...
EAN: 9783319945798
Wireless Algorithms, Systems, and Applications
This book constitutes the proceedings of the 13th International Conference on Wireless...
EAN: 9783319942674
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
Model Checking Software
This book constitutes the refereed proceedings of the 25th International Symposium on Model...
EAN: 9783319941103
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
Machines, Computations, and Universality
EAN: 9783319924014
Combinatorial Algorithms
This book constitutes the refereed post-conference proceedings of the 28th International...
EAN: 9783319788241
Blockchain-based Cyber Security
The book focuses on a paradigm of blockchain technology that addresses cyber security. The...
EAN: 9781032485447
Optimization via Relaxation and Decomposition
mso-bidi-font-weight: bold;">Written in an accessible engineering language and filled with...
EAN: 9783031874048