{"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":"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"},{"product_id":"lecture-notes-in-computer-science-9783030011598","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe two-volume set LNCS 11185 + 11186 constitutes the proceedings of the 10th International Conference on Social Informatics, SocInfo 2018, held in Saint-Petersburg, Russia, in September 2018. The 30 full and 32 short papers presented in these proceedings were carefully reviewed and selected from 110 submissions. They deal with the applications of methods of the social sciences in the study of socio-technical systems, and computer science methods to analyze complex social processes, as well as those that make use of social concepts in the design of information systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914836341015,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030011598.jpg?v=1781507779"},{"product_id":"engineering-trustworthy-software-systems-9783030029289","title":"Engineering Trustworthy Software Systems","description":"\u003cp\u003eThis volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 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 original courses delivered at the school on topics such as: rely\/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. 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":52914843058455,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030029289.jpg?v=1781508035"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-modeling-9783030034184","title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","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":52914845122839,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030034184.jpg?v=1781508090"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-verification-9783030034214","title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","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":52914845155607,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030034214.jpg?v=1781508092"},{"product_id":"verified-software-theories-tools-and-experiments-9783030035921","title":"Verified Software. Theories, Tools, and Experiments","description":"\u003cp\u003eThis volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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":52914861179159,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030035921.jpg?v=1781511054"},{"product_id":"evaluation-of-novel-approaches-to-software-engineering-9783030225599","title":"Evaluation of Novel Approaches to Software Engineering","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018. The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and business information systems and software engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915062931735,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030225599.jpg?v=1781525705"},{"product_id":"lecture-notes-in-computer-science-9783030589202","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915069190423,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030589202.jpg?v=1781525867"},{"product_id":"lecture-notes-in-computer-science-9783030589516","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":52915069223191,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030589516.jpg?v=1781525868"},{"product_id":"electronic-government-and-the-information-systems-perspective-9783030589578","title":"Electronic Government and the Information Systems Perspective","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 9th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2020, held in Bratislava, Slovakia, in September 2020. The 15 full and one short papers presented were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: Knowledge representation and modeling in e-Government; e-Government theoretical background; E-Government cases - data and knowledge management; identity management and legal issues; artificial intelligence and machine learning in e-Government context.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915069321495,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030589578.jpg?v=1781525869"},{"product_id":"communications-in-computer-and-information-science-9783030590000","title":"Communications in Computer and Information Science","description":"\u003cp\u003eThis volume constitutes the refereed proceedings of the 10th International Conference on Multimedia Communications, Services and Security, MCSS 2020, held in Krakow, Poland, in October 2020. The 24 full papers and 2 short papers included in the volume were selected from 54 submissions. The papers cover ongoing research activities in the following topics: multimedia services; intelligent monitoring; audio-visual systems; biometric applications; experiments and deployments.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915069419799,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030590000.jpg?v=1781525873"},{"product_id":"reuse-in-the-big-data-era-9783030228880","title":"Reuse in the Big Data Era","description":"\u003cp\u003eThis book constitutes the proceedings of the 18th International Conference on Software and Systems Reuse, ICSR 2019, held in Cincinnati, Ohio, USA in June 2019. The 13 research papers included in this book were carefully reviewed and selected from 32 submissions. In addition, 3 industry innovation papers are included. The papers were organized in topical sections named: software reuse practice; software product line and requirements reuse; reuse and design and evolution; intelligent software reuse; and domain-specific software development.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915076497687,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030228880.jpg?v=1781526060"},{"product_id":"explainable-ai-interpreting-explaining-and-visualizing-deep-learning-9783030289546","title":"Explainable AI: Interpreting, Explaining and Visualizing Deep Learning","description":"\u003cp\u003eThe development of “intelligent” systems that can take decisions and perform autonomously might lead to faster and more consistent decisions. A limiting factor for a broader adoption of AI technology is the inherent risks that come with giving up human control and oversight to “intelligent” machines. For sensitive tasks involving critical infrastructures and affecting human well-being or health, it is crucial to limit the possibility of improper, non-robust and unsafe decisions and actions. Before deploying an AI system, we see a strong need to validate its behavior, and thus establish guarantees that it will continue to perform as expected when deployed in a real-world environment. In pursuit of that objective, ways for humans to verify the agreement between the AI decision structure and their own ground-truth knowledge have been explored. Explainable AI (XAI) has developed as a subfield of AI, focused on exposing complex AI models to humans in a systematic and interpretable manner. The 22 chapters included in this book provide a timely snapshot of algorithms, theory, and applications of interpretable and explainable AI and AI techniques that have been proposed recently reflecting the current discourse in this field and providing directions of future development. The book is organized in six parts: towards AI transparency; methods for interpreting AI systems; explaining the decisions of AI systems; evaluating interpretability and explanations; applications of explainable AI; and software for explainable AI.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915096617239,"sku":null,"price":13430.27,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030289546.jpg?v=1781526326"},{"product_id":"quality-of-information-and-communications-technology-9783030292386","title":"Quality of Information and Communications Technology","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019. The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security \u0026amp; privacy, requirements engineering, business processes, evidence-based software engineering, process improvement and assessment, model-driven engineering \u0026amp; software maintenance, data science \u0026amp; services, and verification and validation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915097501975,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030292386.jpg?v=1781526351"},{"product_id":"intelligent-computing-methodologies-9783030607968","title":"Intelligent Computing Methodologies","description":"\u003cp\u003eThis two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions. The ICIC theme unifies 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. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915107758359,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030607968.jpg?v=1781526532"},{"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"}],"url":"https:\/\/payment.letskitaboo.com\/collections\/information-technology-computers.oembed?page=4","provider":"Kitaboo One eStore","version":"1.0","type":"link"}