{"title":"Hardware (Computers)","description":"","products":[{"product_id":"digital-logic-design-9781139794312","title":"Digital Logic Design","description":"\u003cp\u003eThis textbook is a complete teaching tool for turning students into logic designers, assuming no prior knowledge of discrete mathematics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871305167127,"sku":null,"price":5941.32,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139794312.jpg?v=1780901606"},{"product_id":"introduction-to-parallel-computing-9781316800591","title":"Introduction to Parallel Computing","description":"\u003cp\u003eA comprehensive guide for students and practitioners to parallel computing models, processes, metrics, and implementation in MPI and OpenMP.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887576707351,"sku":null,"price":10528.25,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316800591.jpg?v=1780906781"},{"product_id":"applied-reconfigurable-computing-architectures-tools-and-applications-9783030790257","title":"Applied Reconfigurable Computing. Architectures, Tools, and Applications","description":"\u003cp\u003eThis book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021. The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and graph processing acceleration, computer security to the societal relevant topic of supporting early diagnosis of Covid infectious conditions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911254700311,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030790257.jpg?v=1781264537"},{"product_id":"implementation-and-application-of-automata-9783030791216","title":"Implementation and Application of Automata","description":"\u003cp\u003eThis book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this book were carefully reviewed and selected from 20 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911254995223,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030791216.jpg?v=1781264546"},{"product_id":"advances-and-trends-in-artificial-intelligence-from-theory-to-practice-9783030794637","title":"Advances and Trends in Artificial Intelligence. From Theory to Practice","description":"\u003cp\u003eThis two-volume set of LNAI 12798 and 12799 constitutes the thoroughly refereed proceedings of the 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA\/AIE 2021, held virtually and in Kuala Lumpur, Malaysia, in July 2021. The 87 full papers and 19 short papers presented were carefully reviewed and selected from 145 submissions. The IEA\/AIE 2021 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include the following: Part I, Artificial Intelligence Practices: Knowledge discovery and pattern mining; artificial intelligence and machine learning; sematic, topology, and ontology models; medical and health-related applications; graphic and social network analysis; signal and bioinformatics processing; evolutionary computation; attack security; natural language and text processing; fuzzy inference and theory; and sensor and communication networks Part II, From Theory to Practice: Prediction and recommendation; data management, clustering and classification; robotics; knowledge based and decision support systems; multimedia applications; innovative applications of intelligent systems; CPS and industrial applications; defect, anomaly and intrusion detection; financial and supply chain applications; Bayesian networks; BigData and time series processing; and information retrieval and relation extraction\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911255748887,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030794637.jpg?v=1781264571"},{"product_id":"matrix-and-analytical-methods-for-performance-analysis-of-telecommunication-systems-9783030831325","title":"Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems","description":"\u003cp\u003eThis introductory textbook is designed for a one-semester course on the use of the matrix and analytical methods for the performance analysis of telecommunication systems. It provides an introduction to the modelling and analysis of telecommunication systems for a broad interdisciplinary audience of students in mathematics and applied disciplines such as computer science, electronics engineering, and operations research.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911264760087,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030831325.jpg?v=1781264809"},{"product_id":"computational-science-and-its-applications-iccsa-2021-9783030869762","title":"Computational Science and Its Applications - ICCSA 2021","description":"\u003cp\u003eThe ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic. The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, computational astrochemistry, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, computational geometry, applied mathematics  human computer interaction, software design engineering, and others. Part V of the set includes the the proceedings on the following workshops: International Workshop on Computational Geometry and Applications (CGA 2021); International Workshop on Collaborative Intelligence in Multimodal Applications (CIMA2021); International Workshop on Computational Science and HPC (CSHPC 2021); International Workshop on Computational Optimization and Applications (COA 2021); International Workshop on Cities, Technologies and Planning (CTP 2021); International Workshop on Computational Astrochemistry (CompAstro 2021); International Workshop on Advanced Modeling E-Mobility in Urban Spaces (DEMOS 2021). The chapters \"On Local Convergence of Stochastic Global Optimization Algorithms\" and \"Computing Binding Energies of Interstellar Molecules by Semiempirical Quantum Methods: Comparison between DFT and GFN2 on Crystalline Ice\" are published open access under a CC BY license (Creative Commons Attribution 4.0 International License).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911270789399,"sku":null,"price":11405.6,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030869762.jpg?v=1781264991"},{"product_id":"formal-methods-for-industrial-critical-systems-9783030852481","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event. The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911271543063,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030852481.jpg?v=1781265003"},{"product_id":"computer-vision-systems-9783030871567","title":"Computer Vision Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Computer Vision Systems, ICVS 2021, held in September 2021. Due to COVID-19 pandemic the conference was held virtually. The 20 papers presented were carefully reviewed and selected from 29 submissions. cover a broad spectrum of issues falling under the wider scope of computer vision in real-world applications, including among others, vision systems for robotics, autonomous vehicles, agriculture and medicine. In this volume, the papers are organized into the sections: attention systems; classification and detection; semantic interpretation; video and motion analysis; computer vision systems in agriculture.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911274262807,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030871567.jpg?v=1781265636"},{"product_id":"formal-methods-in-outer-space-9783030873486","title":"Formal Methods in Outer Space","description":"\u003cp\u003eThis Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators. After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA’s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards. Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times. The book title reflects Klaus’s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911274819863,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030873486.jpg?v=1781265637"},{"product_id":"biometric-recognition-9783030866082","title":"Biometric Recognition","description":"\u003cp\u003eThe LNCS volume 12878 constitutes the proceedings of the 15th Chinese Conference on Biometric Recognition, held in Shanghai, China, in September 2021. The 53 papers presented in this book were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics such as multi-modal biometrics and emerging biometrics; hand biometrics; facial biometrics; and speech biometrics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911278752023,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030866082.jpg?v=1781265695"},{"product_id":"algorithms-for-sensor-systems-9783030892401","title":"Algorithms for Sensor Systems","description":"\u003cp\u003eThis book constitutes revised selected papers from the 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, held in Lisbon, Portugal*, in September 2021. The 10 full papers presented in this volume were carefully reviewed and selected from 28 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911284388119,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030892401.jpg?v=1781265811"},{"product_id":"progress-in-artificial-intelligence-and-pattern-recognition-9783030896911","title":"Progress in Artificial Intelligence and Pattern Recognition","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, held in Havana, Cuba, in October 2021. The 42 full papers presented were carefully reviewed and selected from 73 submissions. The papers promote and disseminate ongoing research on mathematical methods and computing techniques for artificial intelligence and pattern recognition, in particular in bioinformatics, cognitive and humanoid vision, computer vision, image analysis and intelligent data analysis.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911284912407,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030896911.jpg?v=1781265826"},{"product_id":"reachability-problems-9783030897161","title":"Reachability Problems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021. The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter\/timed\/cellular\/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms. Chapter ‘Recent Advances on Reachability Problems for Valence Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911285010711,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030897161.jpg?v=1781265829"},{"product_id":"automated-technology-for-verification-and-analysis-9783030888855","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911285731607,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030888855.jpg?v=1781265852"},{"product_id":"key-5g-physical-layer-technologies-9783030892098","title":"Key 5G Physical Layer Technologies","description":"\u003cp\u003e​ This updated book, reconfigured as a textbook, covers the key technologies associated with the physical transmission of data on 5G mobile systems. Following an updated overview of these technologies, the author provides a high-level description of 3GPP’s mobile communications standard (5G NR) and shows how the key technologies presented earlier facilitate the transmission of very high-speed user data and control data and can provide very low latency for use cases where this is important. In the final chapter, an overview and the physical layer aspects of 5G NR enabled Fixed Wireless Access (FWA) networks is presented. Material in the first edition addressed mainly the key physical layer technologies and features associated with 3GPP release 15, the first release to support 5G. This edition adds descriptions of some of the technological advancements supported in release 16, including integrated access and backhaul (IAB), sidelink communication, NR positioning, operation in unlicensed bands, and multiple transmission points transmission. This textbook is intended for graduate and upper undergraduate engineering students and practicing engineers who have an interest in 3GPP’s 5G enabled mobile and or FWA networks and want to acquire, where missing, the necessary technology background in order to understand 3GPP’s physical layer specifications and operation. The author provides working problems and helpful examples throughout the text.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911286059287,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030892098.jpg?v=1781265863"},{"product_id":"deceptive-ai-9783030917791","title":"Deceptive AI","description":"\u003cp\u003eThis book constitutes selected papers presented at the First International Workshop on Deceptive AI, DeceptECAI 2020, held in conjunction with the 24th European Conference on Artificial Intelligence, ECAI 2020, in Santiago de Compostela, Spain, in August 2020, and Second International Workshop on Deceptive AI, DeceptAI 2021, held in conjunction with the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021, in Montreal, Canada, in August 2021. Due to the COVID-19 pandemic both conferences were held in a virtual mode.  The 12 papers presented were thoroughly reviewed and selected from the 16 submissions. They present recent developments in the growing area of research in the interface between deception and AI.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911289303319,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030917791.jpg?v=1781265938"},{"product_id":"formal-aspects-of-component-software-9783030906368","title":"Formal Aspects of Component Software","description":"\u003cp\u003eThis book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling \u0026amp; Composition and Verification.  Chapter \"A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions\" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911291072791,"sku":null,"price":5397.75,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030906368.jpg?v=1781265994"},{"product_id":"security-privacy-and-applied-cryptography-engineering-9783030950859","title":"Security, Privacy, and Applied Cryptography Engineering","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2021, held in Kolkata, India, in December 2021. The 13 full papers presented were carefully reviewed and selected from 42 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic engineering. This is a very challenging field, requiring the expertise from diverse domains, ranging from mathematics to solid-state circuit design.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911299887383,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030950859.jpg?v=1781266821"},{"product_id":"web-services-icws-2021-9783030961404","title":"Web Services - ICWS 2021","description":"\u003cp\u003eThis book constitutes the proceedings of the 28th International Conference on Web Services, ICWS 2021, held virtually as part of SCF 2021, during December 10-14, 2021. The 7 full papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers cover aspects of services computing and applications. Centered around services computing, it covers various systems and networking research pertaining to cloud, edge and Internet-of-Things (IoT), as well as technologies for intelligent computing, learning, big data and blockchain applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911303557399,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030961404.jpg?v=1781266898"},{"product_id":"edge-computing-edge-2021-9783030965044","title":"Edge Computing - EDGE 2021","description":"\u003cp\u003eThis book constitutes the proceedings of the International Conference on Edge Computing, EDGE 2021, held virtually as part of SCF 2021, held as a Virtual Event, December 10–14, 2021.  The 5 full and 2 short papers presented in this volume were carefully reviewed and selected from 18 submissions. The conference proceeding EDGE 2021 presents the latest fundamental advances in the state of the art and practice of edge computing, identify emerging research topics, and define the future of edge computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911303852311,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030965044.jpg?v=1781266909"},{"product_id":"smart-cities-9783030967536","title":"Smart Cities","description":"\u003cp\u003eThis book constitutes the thoroughly refereed proceedings of the 4th Ibero-American Congress, ICSC-CITIES 2021, held in Cancún, Mexico, in November - December 2021. Due to the COVID-19 pandemic the conference was partially held online.  The 21 full papers and one short paper presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on ​computational intelligence for smart cities; urban informatics; internet of things, smart energy and smart grid.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911304540439,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030967536.jpg?v=1781266925"},{"product_id":"cognitive-computing-iccc-2021-9783030964191","title":"Cognitive Computing - ICCC 2021","description":"\u003cp\u003eThis book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2021, held as part of SCF 2021 in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 5 full and 3 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers cover all aspects of Sensing Intelligence (SIJ as a Service (SlaaS). Cognitive Computing is a sensing-driven computing (SDC) scheme that explores and integrates intelligence from all types of senses in various scenarios and solution contexts.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911306080535,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030964191.jpg?v=1781266974"},{"product_id":"logic-based-program-synthesis-and-transformation-9783030988692","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. *Conference was held as a hybrid event due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911308636439,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030988692.jpg?v=1781267059"},{"product_id":"verification-and-evaluation-of-computer-and-communication-systems-9783030988500","title":"Verification and Evaluation of Computer and Communication Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually. The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware\/software systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911315157271,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030988500.jpg?v=1781267187"},{"product_id":"electrical-and-computer-engineering-9783031019845","title":"Electrical and Computer Engineering","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the First International Congress, ICECENG 2022, held in February 2022. Due to COVID-19 pandemic the conference was held virtually. The 15 full and 2 short papers were selected from 48 submissions and are organized in 4 main tracks: technology trends, artificial intelligence, computing and security. The papers detail the application of formal methods to the construction and analysis of models describing technological processes at both micro and macro levels.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911317549335,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031019845.jpg?v=1781267241"},{"product_id":"testing-software-and-systems-9783031046735","title":"Testing Software and Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports.  The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911318860055,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031046735.jpg?v=1781267278"},{"product_id":"service-oriented-and-cloud-computing-9783031047183","title":"Service-Oriented and Cloud Computing","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911319154967,"sku":null,"price":10055.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031047183.jpg?v=1781267285"},{"product_id":"chinese-lexical-semantics-9783031065477","title":"Chinese Lexical Semantics","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-workshop proceedings of the 22nd Chinese Lexical Semantics Workshop, CLSW 2021, held in Nanjing, China in May 2021. The 68 full papers and 4 short papers included in this volume were carefully reviewed and selected from 261 submissions. They are organized in the following topical sections: Lexical Semantics and General Linguistics; Natural Language Processing and Language Computing; Cognitive Science and Experimental Studies; Lexical Resources and Corpus Linguistics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911324430615,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031065477.jpg?v=1781267471"},{"product_id":"high-performance-computing-9783031073120","title":"High Performance Computing","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022. The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine Learning, AI, Emerging Technologies; HPC Algorithms and Applications; Performance Modeling, Evaluation and Analysis; and Programming Environments and Systems Software.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911328854295,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031073120.jpg?v=1781267585"},{"product_id":"information-security-and-cryptology-icisc-2021-9783031088964","title":"Information Security and Cryptology - ICISC 2021","description":"\u003cp\u003eThis book constitutes selected papers from the 24th International Conference on Information Security and Cryptology, ICISC 2021, held in Seoul, South Korea, in December 2021. The total of 23 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are arranged by topic: Cryptographic Protocol in Quantum Computer Age; Security Analysis of Hash Algorithm; Security analysis of Symmetric Key Encryption Algorithm; Fault and Side-Channel Attack; Constructions and Designs; Quantum Circuit; Efficient Implementation. The aim of this conference was to provide an international forum for the latest results of research, development, and applications within the field of information security and cryptology.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911330590999,"sku":null,"price":10055.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031088964.jpg?v=1781267630"},{"product_id":"lecture-notes-in-computer-science-9783031081668","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universitat Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications.The contributions in this volume reflect Reiner s main research focus: formal methods, in particular applied to software verification.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911336718615,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031081668.jpg?v=1781267771"},{"product_id":"lecture-notes-in-computer-science-9783031086793","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and\/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing\/organising; and verification, validation, formal analysis, and testing of the above.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911337472279,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031086793.jpg?v=1781267789"},{"product_id":"machines-computations-and-universality-9783031135026","title":"Machines, Computations, and Universality","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 9th International Conference on Machines, Computations, and Universality, MCU 2022, held in Debrecen, Hungary, in August\/September 2022. The 10 revised full papers presented were carefully reviewed and selected from 18 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911346909463,"sku":null,"price":20179.14,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031135026.jpg?v=1781267979"},{"product_id":"information-processing-and-management-of-uncertainty-in-knowledge-based-systems-9783031089718","title":"Information Processing and Management of Uncertainty in Knowledge-Based Systems","description":"\u003cp\u003eThis two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy, in July 2022.  The 124 papers were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections as follows: aggregation theory beyond the unit interval; formal concept analysis and uncertainty; fuzzy implication functions; fuzzy mathematical analysis and its applications; generalized sets and operators; information fusion techniques based on aggregation functions, pre-aggregation functions, and their generalizations; interval uncertainty; knowledge acquisition, representation and reasoning; logical structures of opposition and logical syllogisms; mathematical fuzzy logics; theoretical and applied aspects of imprecise probabilities; data science and machine learning; decision making modeling and applications; e-health; fuzzy methods in data mining and knowledge discovery; soft computing and artificia intelligence techniques in image processing; soft methods in statistics and data analysis; uncertainty, heterogeneity, reliability and explainability in AI; weak and cautious supervised learning.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911359754519,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031089718.jpg?v=1781268982"},{"product_id":"advances-and-trends-in-artificial-intelligence-artificial-intelligence-practices-9783030794576","title":"Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices","description":"\u003cp\u003eThis two-volume set of LNAI 12798 and 12799 constitutes the thoroughly refereed proceedings of the 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA\/AIE 2021, held virtually and in Kuala Lumpur, Malaysia, in July 2021. The 87 full papers and 19 short papers presented were carefully reviewed and selected from 145 submissions. The IEA\/AIE 2021 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include the following: Part I, Artificial Intelligence Practices: Knowledge discovery and pattern mining; artificial intelligence and machine learning; sematic, topology, and ontology models; medical and health-related applications; graphic and social network analysis; signal and bioinformatics processing; evolutionary computation; attack security; natural language and text processing; fuzzy inference and theory; and sensor and communication networks Part II, From Theory to Practice: Prediction and recommendation; data management, clustering and classification; robotics; knowledge based and decision support systems; multimedia applications; innovative applications of intelligent systems; CPS and industrial applications; defect, anomaly and intrusion detection; financial and supply chain applications; Bayesian networks; BigData and time series processing; and information retrieval and relation extraction\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911369584919,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030794576.jpg?v=1781269317"},{"product_id":"applications-of-big-data-analytics-9783319764726","title":"Applications of Big Data Analytics","description":"\u003cp\u003eThis timely text\/reference reviews the state of the art of big data analytics, with a particular focus on practical applications. An authoritative selection of leading international researchers present detailed analyses of existing trends for storing and analyzing big data, together with valuable insights into the challenges inherent in current approaches and systems. This is further supported by real-world examples drawn from a broad range of application areas, including healthcare, education, and disaster management. The text also covers, typically from an application-oriented perspective, advances in data science in such areas as big data collection, searching, analysis, and knowledge discovery. Topics and features: Discusses a model for data traffic aggregation in 5G cellular networks, and a novel scheme for resource allocation in 5G networks with network slicing Explores methods that use big data in the assessment of flood risks, and apply neural networks techniques to monitor the safety of nuclear power plants Describes a system which leverages big data analytics and the Internet of Things in the application of drones to aid victims in disaster scenarios Proposes a novel deep learning-based health data analytics application for sleep apnea detection, and a novel pathway for diagnostic models of headache disorders Reviews techniques for educational data mining and learning analytics, and introduces a scalable MapReduce graph partitioning approach for high degree vertices Presents a multivariate and dynamic data representation model for the visualization of healthcare data, and big data analytics methods for software reliability assessmentThis practically-focused volume is an invaluable resource for all researchers, academics, data scientists and business professionals involved in the planning, designing, and implementation of big data analytics projects. Dr. Mohammed M. Alani is an Associate Professor in Computer Engineering and currently is the Provost at Al Khawarizmi International College, Abu Dhabi, UAE. Dr. Hissam Tawfik is a Professor of Computer Science in the School of Computing, Creative Technologies \u0026amp; Engineering at Leeds Beckett University, UK. Dr. Mohammed Saeed is a Professor in Computing and currently is the Vice President for Academic Affairs and Research at the University of Modern Sciences, Dubai, UAE. Dr. Obinna Anya is a Research Staff Member at IBM Research – Almaden, San Jose, CA, USA.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911408939287,"sku":null,"price":11405.6,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319764726.jpg?v=1781269869"},{"product_id":"lecture-notes-in-computer-science-9783319623924","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911934374167,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319623924.jpg?v=1781502553"},{"product_id":"lecture-notes-in-computer-science-9783319631219","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911936930071,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319631219.jpg?v=1781502625"},{"product_id":"dataflow-supercomputing-essentials-9783319661254","title":"DataFlow Supercomputing Essentials","description":"\u003cp\u003eThis illuminating text\/reference reviews the fundamentals of programming for effective DataFlow computing. The DataFlow paradigm enables considerable increases in speed and reductions in power consumption for supercomputing processes, yet the programming model requires a distinctly different approach. The algorithms and examples showcased in this book will help the reader to develop their understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Research, Development and Education, which analyzes the latest research in this area, and the training resources available.Topics and features: presents an implementation of Neural Networks using the DataFlow paradigm, as an alternative to the traditional ControlFlow approach; discusses a solution to the three-dimensional Poisson equation, using the Fourier method and DataFlow technology; examines how the performance of the Binary Search algorithm can be improved through implementation on a DataFlow architecture; reviews the different way of thinking required to best configure the DataFlow engines for the processing of data in space flowing through the devices; highlights how the DataFlow approach can efficiently support applications in big data analytics, deep learning, and the Internet of Things. This indispensable volume will benefit all researchers interested in supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be an invaluable resource.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911948071191,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319661254.jpg?v=1781502894"},{"product_id":"dataflow-supercomputing-essentials-9783319661285","title":"DataFlow Supercomputing Essentials","description":"\u003cp\u003eThis informative text\/reference highlights the potential of DataFlow computing in research requiring high speeds, low power requirements, and high precision, while also benefiting from a reduction in the size of the equipment. The cutting-edge research and implementation case studies provided in this book will help the reader to develop their practical understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Algorithms, Applications and Implementations, which reviews the key algorithms in this area, and provides useful examples. Topics and features: reviews the library of tools, applications, and source code available to support DataFlow programming; discusses the enhancements to DataFlow computing yielded by small hardware changes, different compilation techniques, debugging, and optimizing tools; examines when a DataFlow architecture is best applied, and for which types of calculation; describes how converting applications to a DataFlow representation can result in an acceleration in performance, while reducing the power consumption; explains how to implement a DataFlow application on Maxeler hardware architecture, with links to a video tutorial series available online. This enlightening volume will be of great interest to all researchers investigating supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be a helpful reference.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911948103959,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319661285.jpg?v=1781502895"},{"product_id":"computer-vision-systems-9783319683454","title":"Computer Vision Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017. The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo system, image retrieval,  visual detection, visual recognition,  system design, and 3D vision \/ fusion.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912052666647,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319683454.jpg?v=1781503428"},{"product_id":"fundamentals-of-software-engineering-9783319689722","title":"Fundamentals of Software Engineering","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912055353623,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319689722.jpg?v=1781503466"},{"product_id":"advances-in-visual-informatics-9783319700106","title":"Advances in Visual Informatics","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in the following topics: Visualization and Data Driven Technology; Engineering and Data Driven Innovation; Data Driven Societal Well-being and Applications; and Data Driven Cyber Security.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912059547927,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319700106.jpg?v=1781503539"},{"product_id":"transactions-on-computational-collective-intelligence-xxvii-9783319706474","title":"Transactions on Computational Collective Intelligence XXVII","description":"\u003cp\u003eThese transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and\/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and\/or artificial systems. This twenty-seventh issue is a special issue with 13 selected papers from the Second Seminar on Quantitative Methods of Group Decision Making.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912062890263,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319706474.jpg?v=1781503703"},{"product_id":"technology-trends-9783319727271","title":"Technology Trends","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the Third International Conference on Technology Trends, CITT 2017, held in Babahoyo, Ecuador, in November 2017. The 16 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on communications; computer and software engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912074391831,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319727271.jpg?v=1781503959"},{"product_id":"advanced-hybrid-information-processing-9783319733173","title":"Advanced Hybrid Information Processing","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the First International Conference on Advanced Hybrid Information Processing, ADHIB 2017, held in Harbin, China, in July 2017. The 64 full papers were selected from 134 submissions and focus on advanced methods and applications for hybrid information processing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912077504791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319733173.jpg?v=1781504027"},{"product_id":"high-performance-computing-9783319733531","title":"High Performance Computing","description":"\u003cp\u003eThis book constitutes the proceedings of the 4th Latin American Conference on High Performance Computing, CARLA 2017, held in Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, in September 2017. The 29 papers presented in this volume were carefully reviewed and selected from 50 submissions. They are organized in topical sections named: HPC infrastructures and datacenters; HPC industry and education; GPU, multicores, accelerators; HPC applications and tools; big data and data management; parallel and distributed algorithms; Grid, cloud and federations.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912077668631,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319733531.jpg?v=1781504031"},{"product_id":"smart-computing-and-communication-9783319738307","title":"Smart Computing and Communication","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the Second International Conference on Smart Computing and Communications, SmartCom 2017, held in Shenzhen, China, in December 2017. The 43 papers presented in this volume were carefully reviewed and selected from 116 submissions. They deal with topics from smart data to smart communications, smart cloud computing and smart security.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912079077655,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319738307.jpg?v=1781504059"},{"product_id":"accelerator-programming-using-directives-9783319748962","title":"Accelerator Programming Using Directives","description":"\u003cp\u003eThis book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017. The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are organized in the following three sections: applications; environments; and program evaluation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912081043735,"sku":null,"price":5127.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319748962.jpg?v=1781504119"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/hardware-computers.oembed?page=10","provider":"Kitaboo One eStore","version":"1.0","type":"link"}