The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland.
The three-volume set LNCS 15338, 15339 and 15340 constitutes the refereed proceedings from the 41st Computer Graphics International Conference, CGI 2024, held during July 1-5, 2024, in Geneva, Switzerland.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.
This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011.
Practical Elements of Safety contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held at Birmingham, UK in February 2004.
The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions.
This guide demonstrates how virtual build and test can be supported by the Discrete Event Systems Specification (DEVS) simulation modeling formalism, and the System Entity Structure (SES) simulation model ontology.
This book constitutes the refereed proceedings of the 15th EAI International Conference on Bio-inspired Information and Communications Technologies, BICT 2024, held in Quzhou, China, during August 15-16, 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.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
This four-volume set constitutes the post-conference proceedings of the 7th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2023, held in Harbin, China, during September 22-24, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
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 eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
Software Telemetry shows you how to efficiently collect, store, and analyze system and application log data so you can monitor and improve your systems.
SummaryWriting Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of the benefits of specification by example.
This book not only presents the state-of-the-art research on knowledge modelling, knowledge retrieval and knowledge reuse, but also elaborates the Collaborative Knowledge Management (CKM) paradigm and the architecture for the next generation of knowledge management systems.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This book constitutes the refereed proceedings of the 22nd International Conference on Computational Methods in Systems Biology, CMSB 2024, which took place in Pisa, Italy, during September 16-18, 2024.
The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.
The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15-17, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.
This book focuses on conducting a comprehensive analysis of blockchain scalability serving large-scale application scenarios, from the "e;what, why, how"e; three perspectives, layer by layer.
This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
Written by an Oracle Consulting Director, this guide covers the latest updates to help consultants tackle real-world challenges and build efficient, scalable solutions.
The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.
