The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.
This nine-volume set LNCS 14104 - 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3-6, 2023.
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go.
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
The three-volume proceedings set CCIS 2049, 2050 and 2051 constitutes the refereed proceedings of the 5th International Conference on Applied Technologies on International Conference on Applied Technologies, ICAT 2023, held in Samborondon, Ecuador, November 22-24, 2023.
This proceedings, HCI-CPT 2024, constitutes the refereed proceedings of the 6th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 26th International Conference, HCI International 2024, which took place from June 29 - July 4, 2024 in Washington DC, USA.
The 6-volume set constitutes the worshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings.
This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5-7, 2024.
This book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23-26, 2023.
This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024.
This nine-volume set LNCS 14104 - 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3-6, 2023.
This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23-27, 2024.
This two-volume set, CCIS 2348 and CCIS 2349 ,constitutes the revised selected papers from the International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024 Workshops, held in Santiago de Chile, Chile, in October 2024.
Effective techniques and experienced insights to maximize your C# 6 and 7 programming skills Key Features Written by C# legend and top StackOverflow contributor Jon Skeet Unlock the new features of C# 6 and 7 Insights on the future of the C# language Master asynchronous functions, interpolated strings, tuples, and more Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
Software Telemetry shows you how to efficiently collect, store, and analyze system and application log data so you can monitor and improve your systems.
SummaryEnterprise Java Microservices is an example-rich tutorial that shows how to design and manage large-scale Java applications as a collection of microservices.
SummaryReactive Application Development is a hands-on guide that teaches you how to build reliable enterprise applications using reactive design patterns.