This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.
The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.
This book constitutes the proceedings of the Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2022, held in conjunction with Computer Graphics International conference, CGI 2022, which took place virtually, in September 2022.
This book serves as a concise textbook for students in an advanced undergraduate or first-year graduate course in various disciplines such as applied mathematics, control, and engineering, who want to understand the modern standard of numerical methods of ordinary and delay differential equations.
This book constitutes the refereed proceedings of the 34th International Workshop on Combinatorial Algorithms, IWOCA 2023, held in Tainan, Taiwan, during June 7-10, 2023.
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
This book constitutes the refereed proceedings of the Doctoral Consortium and Workshops on New Trends in Database and Information Systems, ADBIS 2023, held in Barcelona, Spain, during September 4-7, 2023.
John Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded sixth edition.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This book is a comprehensive guide to exploratory data analysis (EDA), providing readers with the tools, techniques, and knowledge needed to conduct effective and thorough data exploration.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This book constitutes the revised selected papers of the 13th International Conference on Service-Oriented Computing, ICSOC 2015, held in Goa, India in November 2015.
The LNCS journal Transactions on Large-Scale Data and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This book constitutes the refereed proceedings of the International Conference on Soft Computing in Data Science, SCDS 2017, held in Yogyakarta, Indonesia, November 27-28, 2017.
This book first introduces the background of spatial audio reproduction, with different types of audio content and for different types of playback systems.
This book constitutes selected papers of the 17th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2017, held in Istanbul, Turkey, in July 2017.
This book constitutes the refereed proceedings of the 8th International Conference on Applications and Techniques in Information Security, ATIS 2017, held in Auckland, New Zealand, in July 2017.
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017.
This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017.
This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.
This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016.
The two volume set CCIS 775 and 776 constitutes the refereed proceedings of the First International Conference on Computational Intelligence, Communications, and Business Analytics, CICBA 2017, held in Kolkata, India, in March 2017.
This two-volume set CCIS 751 and CCIS 752 constitutes the proceedings of the 17th Asia Simulation Conference, AsiaSim 2017, held in Malacca, Malaysia, in August/September 2017.
This book constitutes the proceedings of the 4th Asia Pacific Requirements Engineering Symposium, APRES 2017, held in Melaka, Malaysia, in November 2017.
This two-volume set CCIS 751 and CCIS 752 constitutes the proceedings of the 17th Asia Simulation Conference, AsiaSim 2017, held in Malacca, Malaysia, in August/September 2017.
This book presents the proceedings of the Conference on Algorithms and Applications (ALAP 2018), which focuses on various areas of computing, like distributed systems and security, big data and analytics and very-large-scale integration (VLSI) design.
This book constitutes the proceedings of the 12th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2017, held in Harbin, China, December 2017.
This book constitutes the refereed proceedings of the First International Conference on Data Science Analytics and Applications, DaSAA 2017, held in Chennai, India, in January 2017.
This book constitutes the thoroughly refereed proceedings of the 16th National Conference, NASAC 2017, held in Harbin, China, in November 2017, and the 17th National Conference, NASAC 2018, held in Shenzhen, China, in November 2018.
This book constitutes the thoroughly refereed post conference papers of the 4th International Conference on Blockchain and Trustworthy Systems, Blocksys 2022, held in Chengdu, China, in August 2022.
This book constitutes the refereed proceedings of the 7th International Conference on Geoinformatics in Sustainable Ecosystem and Society, GSES 2019, and First International Conference on Geospatial Artificial Intelligence for Urban Computing, GeoAI 2019, held in Guangzhou, China, in November 2019.
This book provides insights into the 3rd International Conference on Communication, Devices and Computing (ICCDC 2021), which was held in Haldia, India, on August 16-18, 2021.
This two-volume set (CCIS 905 and CCIS 906) constitutes the refereed proceedings of the Second International Conference on Advances in Computing and Data Sciences, ICACDS 2018, held in Dehradun, India, in April 2018.
This book (CCIS 899) constitutes the refereed proceedings of the First International Conference on Applications of Computing and Communication Technologies, ICACCT 2018, held in Delhi, India, in March 2018.
This book gathers selected papers presented at the Third International Symposium on Signal and Image Processing (ISSIP 2020), organized by the Department of Information Technology, RCC Institute of Information Technology, Kolkata, during March 18-19, 2020.
This two-volume set (CCIS 1045 and CCIS 1046) constitutes the refereed proceedings of the Third International Conference on Advances in Computing and Data Sciences, ICACDS 2019, held in Ghaziabad, India, in April 2019.
This volume constitutes selected papers presented at the Third International Conference on Computing and Data Science, CONF-CDS 2021, held online in August 2021.
