Computer programming / software engineering

This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.

Build, enrich, and transform customer experience using SharePoint Online.

This volume constitutes the refereed post-conference proceedings of the Third International Conference on Machine Learning and Intelligent Communications, MLICOM 2018, held in Hangzhou, China, in July 2018.

This book constitutes the proceedings of the 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, held in Gottingen, Germany, in August 2019.

Master the booting procedure of various operating systems with in-depth analysis of bootloaders and firmware.

Decrease development time to market with Serverless Swift-the event-based modern architecture for full stack developers.

Address the most common integration challenges, by understanding the ins and outs of the choices and exemplifying the solutions with practical examples on how to create cloud native applications using Apache Camel.

Understand essential computer science concepts and skills.

Learn to use accelerated test-driven development (TDD) to build a React application from scratch.

Configure and customize Microsoft Dynamics 365 Field Services to help your organization deliver onsite service to customer locations.

Work with Db2 to write SQL and access databases using optimized code for the fastest response.

This essential classic provides a comprehensive foundation in the C# programming language and the framework it lives in.

Deep reinforcement learning is a fast-growing discipline that is making a significant impact in fields of autonomous vehicles, robotics, healthcare, finance, and many more.

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.

This volume constitutes the proceedings of the 11th IFIP WG 8.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.

The second generation of cloud computing systems, known as domain-specific clouds, are emerging based on application-specific processors and serverless computing paradigm.

This two-volume set LNICST 396 and 397 constitutes the post-conference proceedings of the Third EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2021, held in September 2021.

This book covers pseudorandom number generation algorithms, evaluation techniques, and offers practical advice and code examples.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, TPNC 2019, held in Kingston, ON, Canada, in December 2019.

Dieses Buch richtet sich an Studierende und IT-ler in Ausbildung und Beruf, die ohne unnötigen Theorieballast die Praxis der Entwicklung von Datenbankapplikationen erlernen möchten.

Modern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, medical-record keeping, government affairs, social media etc.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St.

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018.

This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019.

This book constitutes the refereed proceedings of the 6th IFIP TC 5 International Conference on Computational Intelligence and Its Applications, CIIA 2018, held in Oran, Algeria, in May 2018.

This book constitutes the proceedings of the 39th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2019, held in Cambridge, UK, in December 2019.

This volume constitutes the proceedings of the 13th International Conference on Combinatorial Optimization and Applications, COCOA 2019, held in Xiamen, China, in December 2019.

The two-volume set LNCS 11891 and 11892 constitutes the proceedings of the 17th International Conference on Theory of Cryptography, TCC 2019, held in Nuremberg, Germany, in December 2019.

This book constitutes the refereed post-conference proceedings of the 5th Russian Supercomputing Days, RuSCDays 2019, held in Moscow, Russia, in September 2019.

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.

This book discusses various open issues in software engineering, such as the efficiency of automated testing techniques, predictions for cost estimation, data processing, and automatic code generation.

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants.

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.

The three-volume set of LNCS 11921,11922, and 11923 constitutes the refereed proceedings of the 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019, held in Kobe, Japan, in December 2019.

This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.

Learn Spring Boot and how to build Java-based enterprise, web, and microservice applications with it.

This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.

This book constitutes  the refereed post-conference proceedings of the 25th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2018, held in Ma'ale HaHamisha, Israel, in June 2018.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.

Apply design principles to your classes, preparing them for reuse.

Learn the main features of Azure Cosmos DB and how to use Microsoft's multi-model database service as a data store for mission-critical applications.

Use the tricks and hidden features in this guide to become more productive with Windows 10.

This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis.