{"title":"Information Technology (Computers)","description":null,"products":[{"product_id":"scaling-up-machine-learning-9781139635578","title":"Scaling up Machine Learning","description":"\u003cp\u003eThis integrated collection covers a range of parallelization platforms, concurrent programming frameworks and machine learning settings, with case studies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870813057303,"sku":null,"price":6346.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139635578.jpg?v=1780900842"},{"product_id":"python-for-scientists-9781139949620","title":"Python for Scientists","description":"\u003cp\u003e9781139949620.epub\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872639316247,"sku":null,"price":4317.93,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139949620.jpg?v=1780902939"},{"product_id":"multimedia-computing-9781139984638","title":"Multimedia Computing","description":"\u003cp\u003eThis innovative textbook presents an experiential, holistic approach to multimedia computing along with practical algorithms.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874163683607,"sku":null,"price":8908.51,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139984638.jpg?v=1780903182"},{"product_id":"mining-of-massive-datasets-9781316147047","title":"Mining of Massive Datasets","description":"\u003cp\u003e9781316147047.epub\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874680238359,"sku":null,"price":7018.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316147047.jpg?v=1780903852"},{"product_id":"building-high-integrity-applications-with-spark-9781316365380","title":"Building High Integrity Applications with SPARK","description":"\u003cp\u003eThis is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52877017219351,"sku":null,"price":7288.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316365380.jpg?v=1780904885"},{"product_id":"real-time-software-design-for-embedded-systems-9781316477311","title":"Real-Time Software Design for Embedded Systems","description":"\u003cp\u003eThis tutorial reference goes from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887480598807,"sku":null,"price":11338.11,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316477311.jpg?v=1780905442"},{"product_id":"lecture-notes-in-computer-science-9783030034276","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe 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. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52893883826455,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030034276.jpg?v=1781256460"},{"product_id":"lecture-notes-in-computer-science-9783030843403","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 20th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2021, held in Elk, Poland, September 24-26, 2021. The 38 papers presented together with 1 invited speech and 3 abstracts of keynotes were carefully reviewed and selected from 69 submissions. The main topics covered by the chapters in this book are mobile and pervasive computing, machine learning, high performance computing, image processing, industrial management. Additionally, the reader will find interesting papers on computer information systems, biometrics, security systems, and sensor network service. The contributions are organized in the following topical sections: biometrics and pattern recognition applications; computer information systems and security; industrial management and other applications; machine learning and artificial neural networks; modelling and optimization, and others.Chapter 24 \u0026amp;quote;A first step towards automated species recognition from camera trap images of mammals using AI in a European temperate forest\u0026amp;quote; is 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":52893941137687,"sku":null,"price":10055.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030843403.jpg?v=1781256561"},{"product_id":"communications-in-computer-and-information-science-9783030659653","title":"Communications in Computer and Information Science","description":"\u003cp\u003eThis volume constitutes the refereed proceedings of the workshops which complemented the 20th Joint European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD, held in September 2020. Due to the COVID-19 pandemic the conference and workshops were held online. The 43 papers presented in volume were carefully reviewed and selected from numerous submissions. The volume presents the papers that have been accepted for the following workshops: 5th Workshop on Data Science for Social Good, SoGood 2020; Workshop on Parallel, Distributed and Federated Learning, PDFL 2020; Second Workshop on Machine Learning for Cybersecurity, MLCS 2020, 9th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2020, Workshop on Data Integration and Applications, DINA 2020, Second Workshop on Evaluation and Experimental Design in Data Mining and Machine Learning, EDML 2020, Second  International Workshop  on  eXplainable  Knowledge  Discovery in  Data Mining, XKDD 2020; 8th International Workshop on News Recommendation and Analytics, INRA 2020. The papers from INRA 2020 are published open access and licensed under the terms of the Creative Commons Attribution 4.0 International License.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894046159127,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030659653.jpg?v=1781256666"},{"product_id":"lecture-notes-in-computer-science-9783030053338","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eDigital democracy is a hot topic nowadays, its relevance growing along with the impact of computational platforms on our(political) life. Communication is the basal fabric on which society is defined, and it appears obvious that the civic organisation and politics itself should take the opportunities the \u0026amp;quote;digital revolution\u0026amp;quote; offers. Institutional inertia, nevertheless, causes large delays in updating and adapting. Therefore, the balance between participation and delegated representation is now facing a crisis. A thorough understanding of the factors involved in participation is a first step towards providing solutions. Using the Internet to fill the gap and build a digital democracy provides an opportunity, along with several risks that need to be carefully analysed. It needs to be implemented using a fully inter- and trans-disciplinary perspective.  The six contributions included in this State-of-the Art Survey present research in the field of social sciences as well as mathematics and computer science and aim at contributing to a better understanding of the potential and dangers of digital democracy, helping readers go beyond the misunderstandings, the misconceptions,and the conceptual and practical abuses that the very notion of democracy is undergoing during this age of technological revolution and social turmoils.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894371184919,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030053338.jpg?v=1781257167"},{"product_id":"lecture-notes-in-computer-science-9783030590161","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held during September 13-15, 2020. The conference was planned to take place in Qingdao, China; due to the COVID-19 pandemic it was held virtually. The 67 full and 14 short papers presented in these proceedings were carefully reviewed and selected from 216 submissions. These submissions cover many hot research topics, including machine-learning algorithms for wireless systems and applications, Internet of Things (IoTs) and related wireless solutions, wireless networking for cyber-physical systems (CPSs), security and privacy solutions for wireless applications, blockchain solutions for mobile applications, mobile edge computing, wireless sensor networks, distributed and localized algorithm design and analysis, wireless crowdsourcing, mobile cloud computing, vehicular networks, wireless solutions for smart cities, wireless algorithms for smart grids, mobile social networks, mobile system security, storage systems for mobile applications, etc.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894877286679,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030590161.jpg?v=1781258105"},{"product_id":"ifip-advances-in-information-and-communication-technology-9783030199098","title":"IFIP Advances in Information and Communication Technology","description":"\u003cp\u003eThis book constitutes the refereed proceedings of two International Workshops held as parallel events of the 15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019, in Hersonissos, Crete, Greece, in May 2019: the 8th Mining Humanistic Data Workshop, MHDW 2019, and the 4th Workshop on 5G-Putting Intelligence to the Network Edge, 5G-PINE 2019.The 6 full papers and 4 short papers presented at MHDW 2019 were carefully reviewed and selected from 13 submissions; out of the 14 papers submitted to 5G-PINE 2019, 6 were accepted as full papers and 1 as short paper. The MHDW papers focus on the application of innovative as well as existing data matching, fusion and mining and knowledge discovery and management techniques (such as decision rules, decision trees, association rules, ontologies and alignments, clustering, filtering, learning, classifier systems, neural networks, support vector machines, preprocessing, post processing, feature selection, visualization techniques) to data derived from all areas of humanistic sciences, e.g., linguistic, historical, behavioral, psychological, artistic, musical, educational, social, and ubiquitous computing and bioinformatics. The papers presented at 5G-PINE focus on several innovative findings coming directly from modern European research in the area of  modern 5G telecommunications infrastructures and related innovative services and cover a wide variety of technical and business aspects promoting options for growth and development.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894884167959,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030199098.jpg?v=1781258121"},{"product_id":"lecture-notes-in-computer-science-9783030243029","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894886297879,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030243029.jpg?v=1781258156"},{"product_id":"lecture-notes-in-computer-science-9783030243081","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894886330647,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030243081.jpg?v=1781258160"},{"product_id":"lecture-notes-in-computer-science-9783030643546","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment.We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field.We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods.This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894886461719,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030643546.jpg?v=1781258164"},{"product_id":"lecture-notes-in-computer-science-9783030377342","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 11961 and 11962 constitutes the thoroughly refereed proceedings of the 25th International Conference on MultiMedia Modeling, MMM 2020, held in Daejeon, South Korea, in January 2020.Of the 171 submitted full research papers, 40 papers were selected for oral presentation and 46 for poster presentation; 28 special session papers were selected for oral presentation and 8 for poster presentation; in addition, 9 demonstration papers and 6 papers for the Video Browser Showdown 2020 were accepted. The papers of LNCS 11961 are organized in the following topical sections: audio and signal processing; coding and HVS; color processing and art; detection and classification; face; image processing; learning and knowledge representation; video processing; poster papers; the papers of LNCS 11962 are organized in the following topical sections: poster papers; AI-powered 3D vision; multimedia analytics: perspectives, tools and applications; multimedia datasets for repeatable experimentation; multi-modal affective computing of large-scale multimedia data; multimedia and multimodal analytics in the medical domain and pervasive environments; intelligent multimedia security; demo papers; and VBS papers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894914609431,"sku":null,"price":13430.27,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030377342.jpg?v=1781258475"},{"product_id":"computational-science-and-its-applications-iccsa-2018-9783319951683","title":"Computational Science and Its Applications - ICCSA 2018","description":"\u003cp\u003eThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.Apart from the general tracks, ICCSA 2018 also includes 34 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.The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894980079895,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319951683.jpg?v=1781258642"},{"product_id":"programming-languages-and-systems-9783030341756","title":"Programming Languages and Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52895078908183,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030341756.jpg?v=1781258735"},{"product_id":"lecture-notes-in-computer-science-9783030293871","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named:Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety\/critical systems.Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction.Part IV: user modelling and user studies; user experience; users emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52895175999767,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030293871.jpg?v=1781258860"},{"product_id":"lecture-notes-in-computer-science-9783030831646","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 17th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2021, held as a virtual event, in August 2021.The 15 full papers presented in this book were carefully reviewed and selected from 40 submissions. The papers of MobiWIS 2021 deal focus on topics such as security and privacy; web and mobile applications; networking and communication; intelligent information systems; and IoT and ubiquitous computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911118680343,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030831646.jpg?v=1781260057"},{"product_id":"model-driven-engineering-and-software-development-9783030110307","title":"Model-Driven Engineering and Software Development","description":"\u003cp\u003eThis book constitutes thoroughly revised and selected papers from the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, held in Funchal, Madeira, Portugal, in January 2018. The 22 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 101 submissions. They contribute to the development of highly relevant research trends in model-driven engineering and software development such as innovative methods for MDD-based development and testing of web-based applications and user interfaces, support for development of Domain-Specific Languages (DSLs), MDD-based application development on multiprocessor platforms, advances in MDD tooling, formal semantics and behaviour modelling, and MDD-based product-line engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911124021527,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030110307.jpg?v=1781260164"},{"product_id":"structured-object-oriented-formal-language-and-method-9783030136512","title":"Structured Object-Oriented Formal Language and Method","description":"\u003cp\u003eThis book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and  Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911126085911,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030136512.jpg?v=1781260215"},{"product_id":"bioinspired-optimization-methods-and-their-applications-9783030637101","title":"Bioinspired Optimization Methods and Their Applications","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2020, held in Brussels, Belgium, in November 2020. The 24 full papers presented in this book were carefully reviewed and selected from 68 submissions. The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other. Due to the Corona pandemic BIOMA 2020 was held as a virtual event.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911130968343,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030637101.jpg?v=1781260319"},{"product_id":"lecture-notes-in-computer-science-9783031103636","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911138603287,"sku":null,"price":10055.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031103636.jpg?v=1781261339"},{"product_id":"software-engineering-for-resilient-systems-9783319659480","title":"Software Engineering for Resilient Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.  The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911140438295,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319659480.jpg?v=1781261389"},{"product_id":"principles-of-modeling-9783319952468","title":"Principles of Modeling","description":"\u003cp\u003eThis Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday. The title of this Festschrift is “Principles of Modeling\" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics. The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911144042775,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319952468.jpg?v=1781261445"},{"product_id":"computer-science-9783031181764","title":"Computer Science","description":"\u003cp\u003eThis book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine \u0026amp;quote;state-of-the-art\u0026amp;quote; solutions from various research communities (such as Information Systems Engineering, Cloud Computing, Fog\/Edge Computing, Pervasive systems, Distributed systems, and Middleware systems) related to the Pervasive Information Systems emergence as a common point of view. Through these multiple contributions, this book tackles important challenges concerning Information Systems evolution, promoting a holistic view of Pervasive Information System.Pervasive Information Systems (PIS) can be defined as a new class of Information Systems. It can be characterized by an IT that is gradually embedded in the physical environment and can accommodate the user's requirements and desires when necessary. This evolution implies considering Information Systems beyond the organization's physical environment to integrate new technologies transparently, leading to a pervasive environment whose behavior should be more and more reactive \u0026amp; proactive. It corresponds to an important change in Information Systems Engineering. Pervasive Information Systems are deeply multidisciplinary systems, demanding a holistic view in which multiple domains are invited to contribute.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911144763671,"sku":null,"price":20179.14,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031181764.jpg?v=1781261470"},{"product_id":"advances-in-knowledge-discovery-and-data-mining-9783030474263","title":"Advances in Knowledge Discovery and Data Mining","description":"\u003cp\u003eThe two-volume set LNAI 12084 and 12085 constitutes the thoroughly refereed proceedings of the 24th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2020, which was due to be held in Singapore, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 135 full papers presented were carefully reviewed and selected from 628 submissions. The papers present new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, visualization, decision-making systems, and the emerging applications. They are organized in the following topical sections: recommender systems; classification; clustering; mining social networks; representation learning and embedding; mining behavioral data; deep learning; feature extraction and selection; human, domain, organizational and social factors in data mining; mining sequential data; mining imbalanced data; association; privacy and security; supervised learning; novel algorithms; mining multi-media\/multi-dimensional data; application; mining graph and network data; anomaly detection and analytics; mining spatial, temporal, unstructured and semi-structured data; sentiment analysis; statistical\/graphical model; multi-source\/distributed\/parallel\/cloud computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911148892439,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030474263.jpg?v=1781261584"},{"product_id":"computational-science-and-its-applications-iccsa-2018-9783319951652","title":"Computational Science and Its Applications - ICCSA 2018","description":"\u003cp\u003eThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 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. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911150760215,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319951652.jpg?v=1781261627"},{"product_id":"silicon-valley-cybersecurity-conference-9783030727253","title":"Silicon Valley Cybersecurity Conference","description":"\u003cp\u003eThis book constitutes selected and revised papers from the First Silicon Valley Cybersecurity Conference, held in San Jose, USA, in December 2020. Due to the COVID-19 pandemic the conference was held in a virtual format.  The 9 full papers and 6 short papers presented in this volume were thoroughly reviewed and selected from 30 submissions. They present most recent research on dependability, reliability, and security to address cyber-attacks, vulnerabilities,faults, and errors in networks and systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911151186199,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030727253.jpg?v=1781261638"},{"product_id":"lecture-notes-in-computer-science-9783031105227","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe eight-volume set LNCS 13375 - 13382 constitutes the proceedings of the 22nd International Conference on Computational Science and Its Applications, ICCSA 2022, which was held in Malaga, Spain during July 4 - 7, 2022. The first two volumes contain the proceedings from ICCSA 2022, which are the 57 full and 24 short papers presented in these books were carefully reviewed and selected from 279 submissions.The other six volumes present the workshop proceedings, containing 285 papers out of 815 submissions. These six volumes includes the proceedings of the following workshops:?Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2022); Workshop on Advancements in Applied Machine-learning and Data Analytics (AAMDA 2022); Advances in information Systems and Technologies for Emergency management, risk assessment and mitigation based on the Resilience (ASTER 2022); Advances in Web Based Learning (AWBL 2022); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2022); Bio and Neuro inspired Computing and Applications (BIONCA 2022); Configurational Analysis For Cities (CA Cities 2022); Computational and Applied Mathematics (CAM 2022), Computational and Applied Statistics (CAS 2022); Computational Mathematics, Statistics and Information Management (CMSIM); Computational Optimization and Applications (COA 2022); Computational Astrochemistry (CompAstro 2022); Computational methods for porous geomaterials (CompPor 2022); Computational Approaches for Smart, Conscious Cities (CASCC 2022); Cities, Technologies and Planning (CTP 2022); Digital Sustainability and Circular Economy (DiSCE 2022); Econometrics and Multidimensional Evaluation in Urban Environment (EMEUE 2022); Ethical AI applications for a human-centered cyber society (EthicAI 2022); Future Computing System Technologies and Applications (FiSTA 2022); Geographical Computing and Remote Sensing for Archaeology (GCRSArcheo 2022); Geodesign in Decision Making: meta planning and collaborative design for sustainable and inclusive development (GDM 2022); Geomatics in Agriculture and Forestry: new advances and perspectives (GeoForAgr 2022); Geographical Analysis, Urban Modeling, Spatial Statistics (Geog-An-Mod 2022); Geomatics for Resource Monitoring and Management (GRMM 2022); International Workshop on Information and Knowledge in the Internet of Things (IKIT 2022); 13th International Symposium on Software Quality (ISSQ 2022); Land Use monitoring for Sustanability (LUMS 2022); Machine Learning for Space and Earth Observation Data (MALSEOD 2022); Building multi-dimensional models for assessing complex environmental systems (MES 2022); MOdels and indicators for assessing and measuring the urban settlement deVElopment in the view of ZERO net land take by 2050 (MOVEto0 2022); Modelling Post-Covid cities (MPCC 2022); Ecosystem Services: nature s contribution to people in practice. Assessment frameworks, models, mapping, and implications (NC2P 2022); New Mobility Choices For Sustainable and Alternative Scenarios (NEMOB 2022); 2nd Workshop on Privacy in the Cloud\/Edge\/IoT World (PCEIoT 2022); Psycho-Social Analysis of Sustainable Mobility in The Pre- and Post-Pandemic Phase (PSYCHE 2022); Processes, methods and tools towards RESilient cities and cultural heritage prone to SOD and ROD disasters (RES 2022); Scientific Computing Infrastructure (SCI 2022); Socio-Economic and Environmental Models for Land Use Management (SEMLUM 2022); 14th International Symposium on Software Engineering Processes and Applications (SEPA 2022); Ports of the future - smartness and sustainability (SmartPorts 2022); Smart Tourism (SmartTourism 2022); Sustainability Performance Assessment: models, approaches and applications toward interdisciplinary and integrated solutions (SPA 2022); Specifics of smart cities development in Europe (SPEED 2022); Smart and Sustainable Island Communities (SSIC 2022); Theoretical and Computational Chemistryand its Applications (TCCMA 2022); Transport Infrastructures for Smart Cities (TISC 2022); 14th International Workshop on Tools and Techniques in Software Development Process (TTSDP 2022); International Workshop on Urban Form Studies (UForm 2022); Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2022); International Workshop on Urban Space and Mobilities (USAM 2022);  Virtual and Augmented Reality and Applications (VRA 2022); Advanced and Computational Methods for Earth Science Applications (WACM4ES 2022); Advanced Mathematics and Computing Methods in Complex Computational Systems (WAMCM 2022).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911207678231,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031105227.jpg?v=1781263344"},{"product_id":"lecture-notes-in-computer-science-9783030242961","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five general tracks: computational methods, algorithms and scientific applications; high performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 259 workshop papers were presented at 33 workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as software engineering, security, artificial intelligence and blockchain technologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911218295063,"sku":null,"price":11405.6,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030242961.jpg?v=1781263573"},{"product_id":"parallel-and-distributed-computing-applications-and-technologies-9783030967727","title":"Parallel and Distributed Computing, Applications and Technologies","description":"\u003cp\u003eThis book constitutes the proceedings of the 22nd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2021, which took place in Guangzhou, China, during December 17-19, 2021. The 24 full papers and 34 short papers included in this volume were carefully reviewed and selected from 97 submissions. The papers are categorized into the following topical sub-headings: networking and architectures, software systems and technologies, algorithms and applications, and security and privacy.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911304605975,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030967727.jpg?v=1781266927"},{"product_id":"passive-and-active-measurement-9783030987855","title":"Passive and Active Measurement","description":"\u003cp\u003eThis book constitutes the proceedings of the 23rd International Conference on Passive and Active Measurement, PAM 2022, held in March 2022. Due to COVID-19 pandemic, the conference was held virtually. The 15 full papers and 15 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers present emerging and early-stage research in network measurements – work that seeks to better understand complex, real-world networked systems and offer critical empirical foundations and support to network research.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911315091735,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030987855.jpg?v=1781267181"},{"product_id":"artificial-intelligence-in-music-sound-art-and-design-9783031037894","title":"Artificial Intelligence in Music, Sound, Art and Design","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP. The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover a wide range of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911320498455,"sku":null,"price":14780.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031037894.jpg?v=1781267313"},{"product_id":"detection-of-intrusions-and-malware-and-vulnerability-assessment-9783031094842","title":"Detection of Intrusions and Malware, and Vulnerability Assessment","description":"\u003cp\u003eThis book constitutes the proceedings of the 19th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2022, held in Cagliari, Italy, in June – July 2021. The 10 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 39 submissions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911334490391,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031094842.jpg?v=1781267712"},{"product_id":"lecture-notes-in-computer-science-9783031086489","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in the following topical sections:Part I: Art Karshmer Lectures in Access to Mathematics, Science and Engineering; Digital Solutions for Inclusive Mobility: solutions and accessible maps for indoor and outdoor mobility; implementation and innovation in the area of independent mobility through digital technologies; haptic and digital access to art and artefacts; accessibility of co-located meetings; interactions for text input and alternative pointing; cognitive disabilities and accessibility; augmentative and alternative communication (AAC): emerging trends, opportunities and innovations; language accessibility for the deaf and hard-of-hearing.Part II: Digital accessibility: readability and understandability; serious and fun games; internet of things: services and applications for people with disabilities and elderly persons; technologies for inclusion and participation at work and everyday activities; robotic and virtual reality technologies for children with disabilities and older adults; development, evaluation and assessment of assistive technologies; ICT to support inclusive education universal learning design (ULD); design for assistive technologies and rehabilitation; assistive technologies and inclusion for older people.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911337439511,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031086489.jpg?v=1781267789"},{"product_id":"agents-and-artificial-intelligence-9783031101618","title":"Agents and Artificial Intelligence","description":"\u003cp\u003eThis book constitutes selected papers from the refereed proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, which was held online during February 4–6, 2021. A total of 72 full and 99 short papers were carefully reviewed and selected for the conference from a total of 298 submissions; 17 selected full papers are included in this book. They were organized in topical sections named agents and artificial intelligence.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911341076759,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031101618.jpg?v=1781267881"},{"product_id":"intelligent-computing-theories-and-application-9783031138706","title":"Intelligent Computing Theories and Application","description":"\u003cp\u003eThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi''an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911347171607,"sku":null,"price":14780.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031138706.jpg?v=1781267991"},{"product_id":"lecture-notes-in-computer-science-9783319597737","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two volumes LNCS 10337 and 10338 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, held in Corunna, Spain, in June 2017.The total of 102 full papers was carefully reviewed and selected from 194 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on natural and artificial computation for biomedicine and neuroscience, addressing topics such as theoretical neural computation; models; natural computing in bioinformatics; physiological computing in affective smart environments; emotions; as well as signal processing and machine learning applied to biomedical and neuroscience applications.The second volume deals with biomedical applications, based on natural and artificial computing and addresses topics such as biomedical applications; mobile brain computer interaction; human robot interaction; deep learning; machine learning applied to big data analysis; computational intelligence in data coding and transmission; and applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911447605527,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319597737.jpg?v=1781270211"},{"product_id":"lecture-notes-in-computer-science-9783319624013","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":52911934472471,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319624013.jpg?v=1781502557"},{"product_id":"lecture-notes-in-computer-science-9783319633879","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911938601239,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319633879.jpg?v=1781502674"},{"product_id":"integrated-formal-methods-9783319668451","title":"Integrated Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912020390167,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319668451.jpg?v=1781503226"},{"product_id":"programming-languages-and-systems-9783319712376","title":"Programming Languages and Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912065216791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319712376.jpg?v=1781503770"},{"product_id":"membrane-computing-9783319733593","title":"Membrane Computing","description":"\u003cp\u003eThis book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017. The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912077701399,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319733593.jpg?v=1781504032"},{"product_id":"graphical-models-for-security-9783319748603","title":"Graphical Models for Security","description":"\u003cp\u003eThis book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.  The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912080945431,"sku":null,"price":5127.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319748603.jpg?v=1781504116"},{"product_id":"lecture-notes-in-computer-science-9783031086458","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in the following topical sections:Part I: Art Karshmer Lectures in Access to Mathematics, Science and Engineering; Digital Solutions for Inclusive Mobility: solutions and accessible maps for indoor and outdoor mobility; implementation and innovation in the area of independent mobility through digital technologies; haptic and digital access to art and artefacts; accessibility of co-located meetings; interactions for text input and alternative pointing; cognitive disabilities and accessibility; augmentative and alternative communication (AAC): emerging trends, opportunities and innovations; language accessibility for the deaf and hard-of-hearing.Part II: Digital accessibility: readability and understandability; serious and fun games; internet of things: services and applications for people with disabilities and elderly persons; technologies for inclusion and participation at work and everyday activities; robotic and virtual reality technologies for children with disabilities and older adults; development, evaluation and assessment of assistive technologies; ICT to support inclusive education universal learning design (ULD); design for assistive technologies and rehabilitation; assistive technologies and inclusion for older people.11 Chapters are 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":52912105980183,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031086458.jpg?v=1781505055"},{"product_id":"software-engineering-and-formal-methods-9783319929705","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914794397975,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319929705.jpg?v=1781507003"},{"product_id":"static-analysis-9783319997254","title":"Static Analysis","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914818711831,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319997254.jpg?v=1781507602"},{"product_id":"lecture-notes-in-computer-science-9783030003593","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri?cation, 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 veri?cation 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":52914826051863,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030003593.jpg?v=1781507640"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/information-technology-computers.oembed?page=10","provider":"Kitaboo One eStore","version":"1.0","type":"link"}