{"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":"software-engineering-for-resilient-systems-9783030308568","title":"Software Engineering for Resilient Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915573129495,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030308568.jpg?v=1781526988"},{"product_id":"web-information-systems-and-applications-9783030309527","title":"Web Information Systems and Applications","description":"\u003cp\u003eThis book constitutes the proceedings of the 16th International Conference on Web Information Systems and Applications, WISA 2019, held in Qingdao, China, in September 2019.  The 39 revised full papers and 33 short papers presented were carefully reviewed and selected from 154 submissions. The papers are grouped in topical sections on machine learning and data mining, cloud computing and big data, information retrieval, natural language processing, data privacy and security, knowledge graphs and social networks, blockchain, query processing, and recommendations.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915573653783,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030309527.jpg?v=1781526998"},{"product_id":"fundamentals-of-software-engineering-9783030315177","title":"Fundamentals of Software Engineering","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 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 the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915576340759,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030315177.jpg?v=1781527061"},{"product_id":"lecture-notes-in-computer-science-9783030687632","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis 8-volumes set constitutes the refereed of the 25th International Conference on Pattern Recognition Workshops, ICPR 2020, held virtually in Milan, Italy and rescheduled to January 10 - 11, 2021 due to Covid-19 pandemic. The 416 full papers presented in these 8 volumes were carefully reviewed and selected from about 700 submissions. The 46 workshops cover a wide range of areas including machine learning, pattern analysis, healthcare, human behavior, environment, surveillance, forensics and biometrics, robotics and egovision, cultural heritage and document analysis, retrieval, and women at ICPR2020.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915590922519,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030687632.jpg?v=1781527517"},{"product_id":"agents-and-artificial-intelligence-9783030711580","title":"Agents and Artificial Intelligence","description":"\u003cp\u003eThis book contains the revised and extended versions of selected papers from the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, held in Valletta, Malta, in February 2020. Overall, 45 full papers, 74 short papers, and 56 poster papers were carefully reviewed and selected from 276 initial submissions. 23 of the 45 full papers were selected to be included in this volume. These papers deal with topics such as agents and artificial intelligence.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915594330391,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030711580.jpg?v=1781527609"},{"product_id":"pattern-recognition-and-artificial-intelligence-9783030718046","title":"Pattern Recognition and Artificial Intelligence","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 4th Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2020, held in Hammamet, Tunisia, in December 2020.​ Due to the COVID-19 pandemic the conference was held online.The 24 revised papers presented were thoroughly reviewed and selected from 72 submissions. The papers are covering the topics of recent advancements in different areas of pattern recognition and artificial intelligence, such as statistical, structural and syntactic pattern recognition, machine learning, data mining, neural networks, computer vision, multimedia systems, information retrieval, etc.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915599474967,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030718046.jpg?v=1781527694"},{"product_id":"lecture-notes-in-computer-science-9783319561110","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book contains selected papers from the 7th International Workshop on Accelerating Analytics and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016, and the 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, held in New Dehli, India, in September 2016. The joint Workshops were co-located with VLDB 2016. The 9 papers presented were carefully reviewed and selected from 18 submissions. They investigate opportunities in accelerating analytics\/data management systems and workloads (including traditional OLTP, data warehousing\/OLAP, ETL streaming\/real-time, business analytics, and XML\/RDF processing) running memory-only environments, using processors (e.g. commodity and specialized multi-core, GPUs and FPGAs, storage systems (e.g. storage-class memories like SSDs and phase-change memory), and hybrid programming models like CUDA, OpenCL, and Open ACC. The papers also explore the interplay between overall system design, core algorithms, query optimization strategies, programming approaches, performance modeling and evaluation, from the perspective of data management applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915611828503,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319561110.jpg?v=1781528260"},{"product_id":"lecture-notes-in-computer-science-9783319597409","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":52915612713239,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319597409.jpg?v=1781528291"},{"product_id":"lecture-notes-in-computer-science-9783319608402","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis two-volume set LNAI 10313 and LNAI 10314 constitutes the proceedings of the International Joint Conference on Rough Sets, IJCRS 2017, held in Olsztyn, Poland, in July 2017. The 74 revised full papers presented together with 16 short papers and 16 invited talks, were carefully reviewed and selected from 130 submissions. The papers in this two set-volume of IJCRS 2017 follow the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of rough set theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like rough-fuzzy, neuro-rough, neuro-rough-fuzzy computing. IJCRS 2017encompasses topics spread among four main tracks: Rough Sets and Data Science (in relation to RSCTC series organized since 1998); Rough Sets and Granular Computing (in relation to RSFDGrC series organized since 1999); Rough Sets and Knowledge Technology (in relation to RSKT series organized since 2006); and Rough Sets and Intelligent Systems (in relation to RSEISP series organized since 2007).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915613729047,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319608402.jpg?v=1781528317"},{"product_id":"lecture-notes-in-computer-science-9783030703707","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe growth of a global digital economy has enabled rapid communication, instantaneous movement of funds, and availability of vast amounts of information. With this come challenges such as the vulnerability of digitalized sociotechnological systems (STSs) to destructive events (earthquakes, disease events, terrorist attacks). Similar issues arise for disruptions to complex linked natural and social systems (from changing climates, evolving urban environments, etc.). This book explores new approaches to the resilience of sociotechnological and natural-social systems in a digital world of big data, extraordinary computing capacity, and rapidly developing methods of Artificial Intelligence.Most of the book s papers were presented at the Workshop on Big Data and Systems Analysis held at the International Institute for Applied Systems Analysis in Laxenburg, Austria in February, 2020. Their authors are associated with the Task Group Advanced mathematical tools for data-driven applied systems analysis created and sponsored by CODATA in November, 2018.The world-wide COVID-19 pandemic illustrates the vulnerability of our healthcare systems, supply chains, and social infrastructure, and confronts our notions of what makes a system resilient. We have found that use of AI tools can lead to problems when unexpected events occur. On the other hand, the vast amounts of data available from sensors, satellite images, social media, etc. can also be used to make modern systems more resilient.Papers in the book explore disruptions of complex networks and algorithms that minimize departure from a previous state after a disruption; introduce a multigrammatical framework for the technological and resource bases of today s large-scale industrial systems and the transformations resulting from disruptive events; and explain how robotics can enhance pre-emptive measures or post-disaster responses to increase resiliency. Other papers explore current directions in data processing and handling and principles of FAIRness in data; how the availability of large amounts of data can aid in the development of resilient STSs and challenges to overcome in doing so. The book also addresses interactions between humans and built environments, focusing on how AI can inform today s smart and connected buildings and make them resilient, and how AI tools can increase resilience to misinformation and its dissemination.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915683918103,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030703707.jpg?v=1781529077"},{"product_id":"handbook-of-dynamic-data-driven-applications-systems-9783030745684","title":"Handbook of Dynamic Data Driven Applications Systems","description":"\u003cp\u003eThe Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr. Darema and the co-authors for researchers and practitioners developing DDDAS technologies.Beginning with general concepts and history of the paradigm, the text provides 32 chapters by leading experts in ten application areas to enable an accurate understanding, analysis, and control of complex systems; be they natural, engineered, or societal:The authors explain how DDDAS unifies the computational and instrumentation aspects of an application system, extends the notion of Smart Computing to span from the high-end to the real-time data acquisition and control, and manages Big Data exploitation with high-dimensional model coordination.The Dynamically Data Driven Applications Systems (DDDAS) paradigm inspired research regarding the prediction of severe storms.  Specifically, the DDDAS concept allows atmospheric observing systems, computer forecast models, and cyberinfrastructure to dynamically configure themselves in optimal ways in direct response to current or anticipated weather conditions.  In so doing, all resources are used in an optimal manner to maximize the quality and timeliness of information they provide.                                            Kelvin Droegemeier, Regents Professor of Meteorology at the University of Oklahoma; former Director of the White House Office of Science and Technology Policy                                          We may well be entering the golden age of data science, as society in general has come to appreciate the possibilities for organizational strategies that harness massive streams of data. The challenges and opportunities are even greater when the data or the underlying system are dynamic - and DDDAS is the time-tested paradigm for realizing this potential.                          Sangtae Kim, Distinguished Professor of Mechanical Engineering and Distinguished Professor of Chemical Engineering at Purdue University\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915717341463,"sku":null,"price":29627.57,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030745684.jpg?v=1781529377"},{"product_id":"lecture-notes-in-computer-science-9783319568416","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March\/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915759808791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319568416.jpg?v=1781529629"},{"product_id":"lecture-notes-in-computer-science-9783319568560","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software product lines; variability management and model variants; verification and refactoring for reuse; tools demonstrations; doctorial symposium; tutorials; and workshop.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915759939863,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319568560.jpg?v=1781529631"},{"product_id":"advanced-information-and-knowledge-processing-9783319530048","title":"Advanced Information and Knowledge Processing","description":"\u003cp\u003eThis research monograph provides the means to learn the theory and practice of graph and network analysis using the Python programming language. The social network analysis techniques, included, will help readers to efficiently analyze social data from Twitter, Facebook, LiveJournal, GitHub and many others at three levels of depth: ego, group, and community. They will be able to analyse militant and revolutionary networks and candidate networks during elections. For instance, they will learn how the Ebola virus spread through communities. Practically, the book is suitable for courses on social network analysis in all disciplines that use social methodology. In the study of social networks, social network analysis makes an interesting interdisciplinary research area, where computer scientists and sociologists bring their competence to a level that will enable them to meet the challenges of this fast-developing field. Computer scientists have the knowledge to parse andprocess data while sociologists have the experience that is required for efficient data editing and interpretation. Social network analysis has successfully been applied in different fields such as health, cyber security, business, animal social networks, information retrieval, and communications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915945210135,"sku":null,"price":14780.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319530048.jpg?v=1781586937"},{"product_id":"springerbriefs-in-computer-science-9783319542478","title":"SpringerBriefs in Computer Science","description":"\u003cp\u003eThis book investigates the pressing issue of resource management for Internet of Things (IoT). The unique IoT ecosystem poses new challenges and calls for unique and bespoke solutions to deal with these challenges. Using a holistic approach, the authors present a thorough study into the allocation of the resources available within IoT systems to accommodate application requirements. This is done by investigating different functionalities and architectural approaches involved in a basic workflow for managing the lifecycle of resources in an IoT system.  Resource Management for the Internet of Things will be of interest to researchers and students as well as professional developers interested in studying the IoT paradigm from data acquisition to the delivery of value-added services for the end user.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915969163543,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319542478.jpg?v=1781587071"},{"product_id":"lecture-notes-in-computer-science-9783319549996","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections entitled: resilience; accelerators; performance; memory systems; parallelism and many-core; scheduling; power\/energy.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915978240279,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319549996.jpg?v=1781587126"},{"product_id":"communications-in-computer-and-information-science-9783319213804","title":"Communications in Computer and Information Science","description":"\u003cp\u003eThis is the first volume of the two-volume set (CCIS 528 and CCIS 529) that contains extended abstracts of the posters presented during the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Heraklion, Crete, Greece in August 2015.The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume are organized in the following topical sections: design and evaluation methods, techniques and tools; cognitive and psychological issues in HCI; virtual, augmented and mixed reality; cross-cultural design; design for aging; children inHCI; product design; gesture, gaze and motion detection, modelling and recognition; reasoning, optimisation and machine learning for HCI; information processing and extraction for HCI; image and video processing for HCI; brain and physiological parameters monitoring; dialogue systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915999899927,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319213804.jpg?v=1781587381"},{"product_id":"lecture-notes-in-computer-science-9783319568805","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars\/Nets4Trains\/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions.The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for:Vehicles on road: e.g. cars, tracks and buses;Air: e.g. aircraft and unmanned aerial vehicles; andRail: e.g. trains, metros and trams.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916011794711,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319568805.jpg?v=1781587392"},{"product_id":"lecture-notes-in-computer-science-9783030582197","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Conference of the CLEF Association, CLEF 2020, held in Thessaloniki, Greece, in September 2020.*The conference has a clear focus on experimental information retrieval with special attention to the challenges of multimodality, multilinguality, and interactive search ranging from unstructured to semi structures and structured data. The 5 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 9 submissions. This year, the contributions addressed the following challenges: a large-scale evaluation of translation effects in academic search, advancement of assessor-driven aggregation methods for efficient relevance assessments, and development of a new test dataset.In addition to this, the volume presents 7 best of the labs papers which were reviewed as full paper submissions with the same review criteria. The 12 lab overview papers were accepted out of 15submissions and represent scientific challenges based on new data sets and real world problems in multimodal and multilingual information access.* The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916036731159,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030582197.jpg?v=1781587511"},{"product_id":"lecture-notes-in-computer-science-9783319585598","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 9th International Conference on Social Computing and Social Media, SCSM 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.The two volumes set of SCSM 2017 presents 67 papers which are organized in the following topical sections: user experience and behavior in social media, costumer behavior and social media, social issues in social media, social media for communication, learning and aging, opinion mining and sentiment analysis, social data and analytics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916049248535,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319585598.jpg?v=1781587569"},{"product_id":"lecture-notes-in-computer-science-9783319596501","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models and evolutionary computing; learning algorithms; visual analysis and advanced data processing techniques; data mining applications; and hybrid intelligent applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916062716183,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319596501.jpg?v=1781587635"},{"product_id":"lecture-notes-in-computer-science-9783319596655","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2017, held in Neuchatel, Switzerland, in June 2017.The 11 papers presented together with 4 short papers in this volume were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on running system efficiently, storing data smartly, roaming in graph, building collaborative services, and making things safe.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916062978327,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319596655.jpg?v=1781587640"},{"product_id":"lecture-notes-in-computer-science-9783319597461","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916064223511,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319597461.jpg?v=1781587646"},{"product_id":"lecture-notes-in-computer-science-9783319614823","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916100038935,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319614823.jpg?v=1781588034"},{"product_id":"lecture-notes-of-the-institute-for-computer-sciences-social-informatics-and-telecommunications-engineering-9783319618135","title":"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","description":"\u003cp\u003eThis book constitutes the post-conference proceedings of the Second EAI International Conference on Smart Grid Inspired Future Technologies, SmartGIFT 2017, held in London, UK, in March 2017. The revised full papers are presented in four tracks: Track 1 - Communications, Networks and Architectures; Track 2 - Smart Control and Operation; Track 3 - Grid and Components; and Track 4 - Data Management and Grid Analytics. Aside from the technical paper presentations, the book also contains five invited talks and two technical workshops. The two workshops organized were: the Improving the Robustness of Urban Electricity Network (IRENE) and Wireless Communications and Networking Technologies for Connected Smart Grids (WCSG). The IRENE workshop aimed to address the new dimension of threats in the critical infrastructures through demonstration of IRENE methodologies and approaches. The WCSG workshop aimed to gain insights into key challenges, understanding and design criteria of employing wireless technologies to develop and implement future smart grids related services and applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916104986903,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319618135.jpg?v=1781588059"},{"product_id":"detection-of-intrusions-and-malware-and-vulnerability-assessment-9783030808259","title":"Detection of Intrusions and Malware, and Vulnerability Assessment","description":"\u003cp\u003eThis book constitutes the proceedings of the 18th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2021, held virtually in July 2021. The 18 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 65 submissions. DIMVA serves as a premier forum for advancing the state of the art in intrusion detection, malware detection, and vulnerability assessment. Each year, DIMVA brings together international experts from academia, industry, and government to present and discuss novel research in these areas. Chapter “SPECULARIZER: Detecting Speculative Execution Attacks via Performance Tracing” 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":52916387152151,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030808259.jpg?v=1781589835"},{"product_id":"software-architecture-9783319658315","title":"Software Architecture","description":"\u003cp\u003eThis book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017. The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture Evolution; Automatic Generation; Architectural Decisions; Software Architecture Practice.​\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916395835671,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319658315.jpg?v=1781590003"},{"product_id":"lecture-notes-in-computer-science-9783030590130","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916396523799,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030590130.jpg?v=1781590030"},{"product_id":"lecture-notes-in-computer-science-9783030590192","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. The papers focus on data path algorithms; control path algorithms; network protocol design; network security; network services; and cloud computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916396687639,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030590192.jpg?v=1781590036"},{"product_id":"computer-aided-verification-9783319633909","title":"Computer Aided Verification","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":52916506165527,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319633909.jpg?v=1781590671"},{"product_id":"cloud-computing-big-data-emerging-topics-9783030612184","title":"Cloud Computing, Big Data \u0026 Emerging Topics","description":"\u003cp\u003eThis book constitutes the revised selected papers of the 8th International Conference on Cloud Computing, Big Data \u0026amp; Emerging Topics, JCC-BD\u0026amp;ET 2020, held in La Plata, Argentina*, in September 2020. The 11 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers are organized in topical sections of cloud computing and HPC; Big Data and machine and deep learning. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916521730327,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030612184.jpg?v=1781591065"},{"product_id":"future-of-digital-work-the-challenge-of-inequality-9783030646974","title":"Future of Digital Work: The Challenge of Inequality","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital Work: The Challenge of Inequality, IFIPJWC 2020, which was supposed to be held in Hyderabad, India, in December 2020, but was held virtually due to the COVID-19 pandemic. This conference was organized for IFIP’s 60th anniversary and to commemorate its mission to “achieve worldwide professional and socially responsible development and application of ICTs.” The 22 full papers presented together with an introduction and two keynotes were carefully reviewed and selected from 29 submissions. They are organized in topics on: innovation and entrepreneurship; the social significance of digital platforms; transforming healthcare; and the dark side of digitalization.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916698513687,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030646974.jpg?v=1781591689"},{"product_id":"introduction-to-computer-graphics-9783031281358","title":"Introduction to Computer Graphics","description":"\u003cp\u003eA basic understanding of the key techniques in computer graphics can open the door to this exciting field and its many applications, including for video games and for augmented and virtual reality. This easy-to-follow textbook and reference introduces the fundamental concepts of computer graphics, integrating both technical background and theory with practical examples and applications throughout. Thoroughly revised and updated, this new edition continues to present a user-friendly approach to creating images and animations, complementing the expanded coverage of topics with usage of example programs and exercises. Topics and features: Contains pedagogical tools, including easy-to-understand example programs and end-of-chapter exercises Presents a practical guide to basic computer graphics programming using the Open Graphics Library (OpenGL) and the widely used Java programming language Includes new and expanded content on the OpenGL graphics pipelines, shader programming, drawing basic objects using the OpenGL, three-dimensional modelling, quaternions, rasterisation, antialiasing and more Supplies complete Java project examples as supplementary material This reader-friendly textbook is an essential tool for second-year undergraduate students and above, providing clear and concise explanations of the basic concepts of computer graphics. It will enable readers to immediately implement these concepts using the OpenGL and Java (with only elementary knowledge of the programming language).Prof. Dr.-Ing. Karsten Lehn works at the Faculty of Information Technology at Fachhochschule Dortmund, University of Applied Sciences and Arts. Prof. Dr. Merijam Gotzes is teaching at Hamm-Lippstadt University of Applied Sciences. Prof. Dr. Frank Klawonn is head of the Data Analysis and Pattern Recognition Laboratory at the Ostfalia University of Applied Sciences and heads the Biostatistics Research Group at the Helmholtz Centre for Infection Research.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916713095447,"sku":null,"price":4857.84,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031281358.jpg?v=1781591812"},{"product_id":"security-privacy-and-anonymity-in-computation-communication-and-storage-9783030249076","title":"Security, Privacy, and Anonymity in Computation, Communication, and Storage","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 12th International Conference on Security, Privacy, and Anonymity in Computation, Communication, and Storage, SpaCCS 2019, held in Atlanta, GA, USA in July 2019. The 37 full papers were carefully reviewed and selected from 109 submissions. The papers cover many dimensions including security algorithms and architectures, privacy-aware policies, regulations and techniques, anonymous computation and communication, encompassing fundamental theoretical approaches, practical experimental projects, and commercial application systems for computation, communication and storage.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916716634391,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030249076.jpg?v=1781591852"},{"product_id":"privacy-technologies-and-policy-9783030025472","title":"Privacy Technologies and Policy","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 6th Annual Privacy Forum, APF 2018, held in Barcelona, Spain, in June 2018. The 11 revised full papers were carefully reviewed and selected from 49 submissions. The papers are grouped in topical sections named: technical analysis and techniques; privacy implementation; compliance; and legal aspects.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916721811735,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030025472.jpg?v=1781591933"},{"product_id":"runtime-verification-9783030037697","title":"Runtime Verification","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” 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":52916724728087,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030037697.jpg?v=1781591960"},{"product_id":"verified-software-theories-tools-and-experiments-9783030416003","title":"Verified Software. Theories, Tools, and Experiments","description":"\u003cp\u003eThis volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916766343447,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030416003.jpg?v=1781592308"},{"product_id":"testing-software-and-systems-9783030312800","title":"Testing Software and Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916775616791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030312800.jpg?v=1781592421"},{"product_id":"product-focused-software-process-improvement-9783030036737","title":"Product-Focused Software Process Improvement","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 19th International Conference on Product-Focused Software Process Improvement, PROFES 2018, held in Wolfsburg, Germany, in November 2018. The 16 revised full papers and 8 short papers presented together with 10 workshop papers and 2 industry talks were carefully reviewed and selected from 65 submissions. The papers are organized in the following topical sections: processes and methods; empirical studies in industry; testing; measuremene and monitoring; and global software engineering and scaling. Further relevant topics were added by the events co-located with PROFES 2018, the Second International Workshop on Managing Quality in Agile and Rapid Software Development Processes (QUASD) and the Third Workshop on Hybrid Software and System Development Approaches (HELENA).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52925918478615,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030036737.jpg?v=1781594158"},{"product_id":"wireless-algorithms-systems-and-applications-9783030235970","title":"Wireless Algorithms, Systems, and Applications","description":"\u003cp\u003eThis book constitutes the proceedings of the 14th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2019, held in Honolulu, HI, USA, in June 2019.  The 43 full and 11 short papers presented were carefully reviewed and selected from 143 submissions.  The papers deal with new ideas and recent advances in computer systems, wireless networks, distributed applications, and advanced algorithms that are pushing forward the new technologies for better information sharing, computer communication, and universal connected devices in various environments, especially in wireless networks.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926038671639,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030235970.jpg?v=1781594260"},{"product_id":"numerical-software-verification-9783030284237","title":"Numerical Software Verification","description":"\u003cp\u003eThis book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926075306263,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030284237.jpg?v=1781594303"},{"product_id":"software-engineering-and-formal-methods-9783319747811","title":"Software Engineering and Formal Methods","description":"\u003cp\u003eThis book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops: DataMod 2017 -- 6th International Symposium “From Data to Models and Back\"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926261461271,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319747811.jpg?v=1781594702"},{"product_id":"lectures-on-runtime-verification-9783319756325","title":"Lectures on Runtime Verification","description":"\u003cp\u003eThe idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926280368407,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319756325.jpg?v=1781594948"},{"product_id":"software-architecture-9783030299835","title":"Software Architecture","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019.  In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They are organized in topical sections as follows: Services and Micro-services, Software Architecture in Development Process, Adaptation and Design Space Exploration, and Quality Attributes. In the Industrial Track, 6 submissions were received and 3 were accepted to form part of these proceedings.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926719951127,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030299835_16f9ef56-5227-483c-9a97-314a11171581.jpg?v=1781598183"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/information-technology-computers.oembed?page=2","provider":"Kitaboo One eStore","version":"1.0","type":"link"}