Computational Techniques in Precision Agriculture
This book explores the aspects of precision agriculture, along with diverse applications. It...
EAN: 9781032859774
Legal Risks in the Software Development Lifecycle
Legal Risks in the Software Development Lifecycle addresses the growing complexity of software...
EAN: 9781041133971
Legal Risks in the Software Development Lifecycle
Legal Risks in the Software Development Lifecycle addresses the growing complexity of software...
EAN: 9781041111023
Formal Methods, Informally
Both beginning- and experienced programmers can improve the quality of their programming with...
EAN: 9781009421027
Data-driven Decision Making and Soft Computing
This book reflects the comprehensive exploration of the intersection between fuzzy...
EAN: 9781041062974
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software...
EAN: 9783319999326
Testing Software and Systems
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference...
EAN: 9783319999265
Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the 7th IFIP WG 2.14 European Conference on...
EAN: 9783319998183
Static Analysis
This book constitutes the refereed proceedings of the 25th International Static Analysis...
EAN: 9783319997247
Reversible Computation
This book constitutes the refereed proceedings of the 10th International Conference on Reversible...
EAN: 9783319994970
Computer Safety, Reliability, and Security
EAN: 9783319991290
Integrated Formal Methods
This book constitutes the refereed proceedings of the 14th International Conference on Integrated...
EAN: 9783319989372
Security and Cryptography for Networks
This book constitutes the proceedings of the 11th International Conference on Security and...
EAN: 9783319981123
Artificial General Intelligence
This book constitutes the proceedings of the 11th International Conference on Artificial General...
EAN: 9783319976754
Mobile Web and Intelligent Information Systems
This book constitutes the refereed proceedings of the 15th International Conference on Mobile Web...
EAN: 9783319971629
Advances in Cryptology – CRYPTO 2018
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed...
EAN: 9783319968803
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine learning of software artefacts is an emerging area of interaction between the machine...
EAN: 9783319965611
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
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
Services – SERVICES 2018
This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES...
EAN: 9783319944715
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th...
EAN: 9783319944593
Services Computing – SCC 2018
This book constitutes the proceedings of the International Conference on Services Computing, SCC...
EAN: 9783319943756
