{"title":"Computers (Juvenile Nonfiction)","description":"","products":[{"product_id":"computer-science-9783031283116","title":"Computer Science","description":"\u003cp\u003eThis textbook provides a balanced coverage on software design, including design principles, methodologies, and techniques in contexts of designing modules of small and larger sizes with a multi-paradigm viewpoint emphasizing design trade-off. Commonly used design diagrams and patterns are also covered in terms of the design ideas behind and their effective use. The book also explores what (software) design thinking is, the role it plays in a design process, and ways to promote it. Despite object orientation being still the center of attention, there is a strong promotion throughout the book that software design should consider all appropriate design paradigms and methodologies.The book is organized in 10 chapters. Chapter 1 is dedicated to an exploration of what software design may be and entail. Next, chapters 2 and 3 are designed to help readers better understand object orientation, and the essentials of object-oriented design. Chapter 4 is then dedicated to the design of methods,while chapters 5, 6, and 8 respectively include topics about the design of objects, modeling with the Unified Modeling Language, and the use of design patterns. Larger software elements are often directly responsible for the formation of software architecture, thus chapter 7 covers four kinds of larger software elements: libraries, components, frameworks, and microservices, and their architectural implications. Chapter 9 finally brings the presentation of software design to an end with a coverage on software architecture focusing on software architectural views. Case studies are important in learning how to design software, hence chapter 10 then gathers some small design case studies that can be used in earlier chapters as appropriate. These case studies can be extended in different ways to provide additional design opportunities.This textbook book is intended for a junior level undergraduate course on software design, yet the depth of the book makes it also appropriate for a design course at beginning graduate level. Professionals may also find the book useful in their professional development.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894225400087,"sku":null,"price":6880.35,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031283116.jpg?v=1781256841"},{"product_id":"artificial-intelligence-application-in-networks-and-systems-9783031353147","title":"Artificial Intelligence Application in Networks and Systems","description":"\u003cp\u003eThe application of artificial intelligence in networks and systems is a rapidly evolving field that has the potential to transform a wide range of industries.  The refereed proceedings in this book is from the Artificial Intelligence Application in Networks and Systems session of the Computer Science Online Conference 2023 (CSOC 2023), which was held online in April 2023. The section brings together experts from different fields to present their research and discuss the latest trends and challenges. One of the key themes in this section is the development of intelligent systems that can learn, adapt, and optimize their performance in real time. Researchers are exploring how AI algorithms can be used to create autonomous networks and systems that can make decisions without human intervention. Furthermore, this section highlights the use of AI in improving network performance and efficiency. Researchers are exploring how AI algorithms can be used to optimize network routing, reduce congestion, and improve the quality of service. These efforts can help organizations save costs and improve user experience.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894899536151,"sku":null,"price":24961.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031353147.jpg?v=1781258356"},{"product_id":"software-engineering-research-in-system-science-9783031353116","title":"Software Engineering Research in System Science","description":"\u003cp\u003eThe latest advancements in software engineering are featured in this book, which contains the refereed proceedings of the part of the 12th Computer Science Online Conference 2023 (CSOC 2023), held online in April 2023. The software engineering research in system science session is focusing on the importance of software engineering in the field of system science. This section provides a platform for researchers to share their insights on modern research methodologies, machine learning, and statistical learning techniques in software engineering research. The session provides a unique opportunity for researchers and industry experts to explore the latest trends in software engineering and inspire future research directions. This session brings together experts from different fields to present their research and discuss the latest challenges and opportunities. One of the key themes of this session is the application of artificial intelligence in software engineering. Researchers are exploring how techniques can be used to automate various aspects of software engineering, such as testing, debugging, and maintenance. This helps improve the quality and efficiency of software development processes.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894913265943,"sku":null,"price":24961.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031353116.jpg?v=1781258461"},{"product_id":"implementation-and-application-of-automata-9783031074691","title":"Implementation and Application of Automata","description":"\u003cp\u003eThis book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June\/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and theory of automata and related structures.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911137030423,"sku":null,"price":6880.35,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031074691.jpg?v=1781261312"},{"product_id":"data-analytics-in-system-engineering-9783031535529","title":"Data Analytics in System Engineering","description":"\u003cp\u003eThese proceedings offer an insightful exploration of integrating data analytics in system engineering. This book highlights the essential role of data in driving innovation, optimizing processes, and solving complex challenges in the field. Targeted at industry professionals, researchers, and enthusiasts, this book serves as a comprehensive resource, providing actionable insights and showcasing transformative applications of data in engineering. It is a must-read for anyone keen on understanding and participating in the ongoing evolution of system engineering in our data-centric world.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911143944471,"sku":null,"price":18705.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031535529.jpg?v=1781261443"},{"product_id":"service-oriented-computing-9783030648466","title":"Service-Oriented Computing","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, held in Crete, Greece, in September 2020.* The 9 full and 2 short papers were carefully reviewed and selected from 23 submissions. The papers mainly focus on IoT and cyber-physical systems, advanced application areas, cloud and edge, and service-based applications. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911182446871,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030648466.jpg?v=1781262701"},{"product_id":"informatics-and-cybernetics-in-intelligent-systems-9783030774486","title":"Informatics and Cybernetics in Intelligent Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches techniques is held.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911249195287,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030774486.jpg?v=1781264294"},{"product_id":"introduction-to-design-science-9783030781323","title":"Introduction to Design Science","description":"\u003cp\u003eThis book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in the form of process diagrams and through a canvas format. While the book does not presume any prior knowledge of design science, it provides readers with a thorough understanding of the subject and enables them to delve into much deeper detail, thanks to extensive sections on further reading. Design science in information systems and technology aims to create novel artifacts in the form of models, methods, and systems that support people in developing, using and maintaining IT solutions. This work focuses on design science as applied to information systems and technology, but it alsoincludes examples from, and perspectives of, other fields of human practice. Chapter 1 provides an overview of design science and outlines its ties with empirical research. Chapter 2 discusses the various types and forms of knowledge that can be used and produced by design science research, while Chapter 3 presents a brief overview of common empirical research strategies and methods. Chapter 4 introduces a methodological framework for supporting researchers in doing design science research as well as in presenting their results. This framework includes five core activities, which are described in detail in Chapters 5 to 9. Chapter 10 discusses how to communicate design science results, while Chapter 11 compares the proposed methodological framework with methods for systems development and shows how they can be combined. Chapter 12 discusses how design science relates to research paradigms, in particular to positivism and interpretivism, and Chapter 13 discusses ethical issues and principles for design science research. The new Chapter 14 showcases a study on digital health consultations and illustrates the whole process in one comprehensive example. Also added to this 2nd edition are a number of sections on practical guidelines for carrying out basic design science tasks, a discussion on design thinking and its relationship to design science, and the description of artefact classifications. Eventually, both the references in each chapter and the companion web site were updated to reflect recent findings.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911250112791,"sku":null,"price":5253.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030781323.jpg?v=1781264404"},{"product_id":"artificial-intelligence-in-intelligent-systems-9783030774455","title":"Artificial Intelligence in Intelligent Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the artificial intelligence in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Artificial intelligence in intelligent systems topics are presented in this book. Modern hybrid and bio-inspired algorithms and their application are discussed in selected papers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911252144407,"sku":null,"price":18705.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030774455.jpg?v=1781264454"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-tools-and-trends-9783030837235","title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","description":"\u003cp\u003eThe four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. 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, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. Part IV, Tools and Trends: From Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911266201879,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030837235.jpg?v=1781264859"},{"product_id":"model-checking-software-9783030846299","title":"Model Checking Software","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML\/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911269118231,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030846299.jpg?v=1781264951"},{"product_id":"data-science-and-intelligent-systems-9783030903213","title":"Data Science and Intelligent Systems","description":"\u003cp\u003eThis book constitutes the second part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021) proceedings. The real-world problems related to data science and algorithm design related to systems and software engineering are presented in this papers. Furthermore, the basic research’ papers that describe novel approaches in the data science, algorithm design and in systems and software engineering are included. The CoMeSySo 2021 conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911289729303,"sku":null,"price":17454.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030903213.jpg?v=1781265949"},{"product_id":"devops-for-airborne-software-9783030975791","title":"DevOps for Airborne Software","description":"\u003cp\u003eThis Springer Brief presents a selection of tools and techniques which either enable or improve the use of DevOps for airborne software engineering. They are evaluated against the unique challenges of the aviation industry such as safety and airworthiness, and exercised using a demonstrator in order to gather first experience. The book is structured as follows: after a short introduction to the main topics of the work in chapter 1, chapter 2 provides more information on the tools, techniques, software and standards required to implement the subsequently presented ideas. In particular, the development practice BDD, the relation between DevOps, CI \u0026amp; CD and both the Rust \u0026amp; the Nix programming language are introduced. In chapter 3 the authors explain and justify their ideas towards advancing the state of the art, mapping the aforementioned tools and techniques to the DevOps Cycle while considering aspects of Do-178C. Next, in chapter 4 the experiences gathered while implementinga demonstrator using the tools and techniques are described. Eventually, chapter 5 briefly summarizes the findings and presents a compilation of open points and missing pieces which are yet to be resolved. The book targets three different reader groups. The first one are development managers from the aerospace industry who need to see examples and experience reports for the application of DevOps for airborne software. The second group are investigators in the safety-critical embedded systems domain who look for benchmarks at various application domains. And the third group are lecturers who offer graduate level software engineering courses for safety-critical software engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911307424023,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030975791.jpg?v=1781267024"},{"product_id":"language-logic-and-computation-9783030984793","title":"Language, Logic, and Computation","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.  The volume contains 17 full revised papers presented at the conference from 17  submissions.   The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: ·         Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) ·         Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911314862359,"sku":null,"price":8131.55,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030984793.jpg?v=1781267172"},{"product_id":"reversible-computation-9783031090059","title":"Reversible Computation","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions.  They were organized in topical sections named: Reversible and Quantum Circuits;  Applications of quantum Computing; Foundations and Applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911330754839,"sku":null,"price":6880.35,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031090059.jpg?v=1781267636"},{"product_id":"quality-software-through-reuse-and-integration-9783319561578","title":"Quality Software Through Reuse and Integration","description":"\u003cp\u003eThis book presents 13 high-quality research articles that provide long sought-after answers to questions concerning various aspects of reuse and integration. Its contents lead to the inescapable conclusion that software, hardware, and design productivity – including quality attributes – is not bounded. It combines the best of theory and practice and contains recipes for increasing the output of our productivity sectors. The idea of improving software quality through reuse is not new. After all, if software works and is needed, why not simply reuse it? What is new and evolving, however, is the idea of relative validation through testing and reuse, and the abstraction of code into frameworks for instantiation and reuse. Literal code can be abstracted. These abstractions can in turn yield similar codes, which serve to verify their patterns. There is a taxonomy of representations from the lowest-level literal codes to their highest-level natural language descriptions. As a result,product quality is improved in proportion to the degree of reuse at all levels of abstraction. Any software that is, in theory, complex enough to allow for self-reference, cannot be certified as being absolutely valid. The best that can be attained is a relative validity, which is based on testing. Axiomatic, denotational, and other program semantics are more difficult to verify than the codes, which they represent! But, are there any limits to testing? And how can we maximize the reliability of software or hardware products through testing? These are essential questions that need to be addressed; and, will be addressed herein.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911356969239,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319561578.jpg?v=1781268910"},{"product_id":"new-perspectives-in-software-engineering-9783031203220","title":"New Perspectives in Software Engineering","description":"\u003cp\u003eThis book contains the proceedings of the CIMPS Conference held on October 19-21, 2022, Hipócrates University, Acapulco de Juárez, Guerrero, México, that is dedicated to Software Engineering, in particular, software processes improvement, computer security and communication technology, artificial intelligence and data analysis (big data) with a focus on innovation and\/or entrepreneurship, bringing together the academic sectors, governmental and industrial that promote the comprehensive development of a culture of research, innovation and competitiveness of organizations dedicated to and\/or that make use of Information and Communication Telecommunications.  This book presents software engineering with impact in a combination of different fields:  Organizational Models, Standards and Methodologies, Knowledge Management, Software Systems, Applications and Tools, Information and Communication Technologies, Information security, Artificial intelligence, DataAnalysis.   It is used in different domains in which a broad scope of audience is interested in: •          Software engineers •          Analyst •          Project management •          Consultant •          Professors in academia •          Students •          Corporate heads of firms •          Senior general managers •          Managing directors •          Board directors •          Academics and researchers in the field both in universities and business schools •          Information technology directors and managers •          Quality managers and directors •         Libraries and information centres serving the needs of the above   This book contents are also useful for Ph.D. students, master’s and undergraduate students of IT-related degrees such as Computer Science, Information Systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911439773975,"sku":null,"price":24961.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031203220.jpg?v=1781270065"},{"product_id":"lecture-notes-in-computer-science-9783319629322","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel computation, parallel computing applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911936209175,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319629322.jpg?v=1781502608"},{"product_id":"multi-agent-based-simulation-xviii-9783319915876","title":"Multi-Agent Based Simulation XVIII","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Multi-Agent-Based Simulation, MABS 2017, held in Sao Paulo, Brazil, in May 2017. The workshop was held in conjunction with the 16th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2017. The 15 revised full papers included in this volume were carefully selected from 23 submissions. The topic of the papers is about applying agent-based simulation techniques to real-world problems focusing on the confluence of socio-technical-natural sciences and multi-agent systems with a strong application\/empirical vein.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912131637527,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319915876.jpg?v=1781506276"},{"product_id":"understanding-human-activities-through-3d-sensors-9783319918631","title":"Understanding Human Activities Through 3D Sensors","description":"\u003cp\u003eThis book constitutes the revised selected papers of the Second International Workshop on Understanding Human Activities through 3D Sensors, UHA3DS 2016, that was held in conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, held in Cancun, Mexico, in December 2016. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections on Behavior Analysis, Human Motion Recognition, and Application Datasets.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914793611543,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319918631.jpg?v=1781506978"},{"product_id":"knowledge-based-software-engineering-2018-9783319976792","title":"Knowledge-Based Software Engineering: 2018","description":"\u003cp\u003eThis book summarizes the new research results presented at the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), which took place on August 27–30, 2018 on the island of Corfu, Greece. The JCKBSE is a well-established international biennial conference that focuses on the applications of Artificial Intelligence in Software Engineering. The JCKBSE 2018 was organized by the Department of Informatics of the University of Piraeus, the Department of Computer and Information Engineering of Nippon Institute of Technology, and the Department of Informatics of Ionian University. The book will benefit not only experts and researchers in the field of (Knowledge-Based) Software Engineering, but also general readers in the fields of Artificial Intelligence, Computational Intelligence and Computer Science who wish to learn more about the field of (Knowledge-Based) Software Engineering and its applications. An extensive list of bibliographic references at the endof each paper encourages readers to probe further into the application areas that interest them most.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914807537943,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319976792.jpg?v=1781507329"},{"product_id":"engineering-software-systems-research-and-praxis-9783319996172","title":"Engineering Software Systems: Research and Praxis","description":"\u003cp\u003eThis book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving practical problems encountered in actual software development.  The book is divided into 13 chapters, which address core aspects such as security, performance and quality measurement. Chiefly intended to stimulate new research by presenting real problems faced by the industry, and to facilitate software development by applying precisely defined, validated and efficient models and methods, the book offers a valuable guide – for researchers and industry practitioners at small, medium and large companies alike.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914818416919,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319996172.jpg?v=1781507594"},{"product_id":"communications-in-computer-and-information-science-9783030009403","title":"Communications in Computer and Information Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 4th International Conference on Technologies and Innovation, CITI 2018, held in Guayaquil, Ecuador, in November 2018. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. They are organized in topical sections named: ICT in agronomy; software engineering; intelligent and knowledge-based systems; e-learning.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914835685655,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030009403.jpg?v=1781507756"},{"product_id":"automated-software-engineering-a-deep-learning-based-approach-9783030380069","title":"Automated Software Engineering: A Deep Learning-Based Approach","description":"\u003cp\u003eThis book discusses various open issues in software engineering, such as the efficiency of automated testing techniques, predictions for cost estimation, data processing, and automatic code generation. Many traditional techniques are available for addressing these problems. But, with the rapid changes in software development, they often prove to be outdated or incapable of handling the software’s complexity. Hence, many previously used methods are proving insufficient to solve the problems now arising in software development. The book highlights a number of unique problems and effective solutions that reflect the state-of-the-art in software engineering. Deep learning is the latest computing technique, and is now gaining popularity in various fields of software engineering. This book explores new trends and experiments that have yielded promising solutions to current challenges in software engineering. As such, it offers a valuable reference guide for a broad audience including systems analysts, software engineers, researchers, graduate students and professors engaged in teaching software engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914849480983,"sku":null,"price":14951.84,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030380069.jpg?v=1781510721"},{"product_id":"human-computer-interaction-multimodal-and-natural-interaction-9783030490621","title":"Human-Computer Interaction. Multimodal and Natural Interaction","description":"\u003cp\u003eThe three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.* A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 submissions. The 145 papers included in these HCI 2020 proceedings were organized in topical sections as follows: Part I: design theory, methods and practice in HCI; understanding users; usability, user experience and quality; and images, visualization and aesthetics in HCI. Part II: gesture-based interaction; speech, voice, conversation and emotions; multimodal interaction; and human robot interaction. Part III: HCI for well-being and Eudaimonia; learning, culture and creativity; human values, ethics, transparency and trust; and HCI in complex environments. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915015319831,"sku":null,"price":11198.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030490621.jpg?v=1781512621"},{"product_id":"artificial-general-intelligence-9783030521523","title":"Artificial General Intelligence","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020. The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover topics such as AGI architectures, artificial creativity and AI safety, transfer learning, AI unification and benchmarks for AGI.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915023610135,"sku":null,"price":9947.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030521523.jpg?v=1781512815"},{"product_id":"knowledge-based-software-engineering-2020-9783030539498","title":"Knowledge-Based Software Engineering: 2020","description":"\u003cp\u003eThis book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24–26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference. JCKBSE is a well-established, international, biennial conference that focuses on the applications of artificial intelligence in software engineering. The 2020 edition of the conference was organized by Hiroyuki Nakagawa, Graduate School of Information Science and Technology, Osaka University, Japan, and George A. Tsihrintzis and Maria Virvou, Department of Informatics, University of Piraeus, Greece.  This research book is a valuable resource for experts and researchers in the field of (knowledge-based) software engineering, as well as general readers in the fields of artificial and computational Intelligence and, more generally, computer science wanting to learn more about the field of (knowledge-based) software engineering and its applications. An extensive list of bibliographic references at the end of each paper helps readers to probe further into the application areas of interest to them.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915027738903,"sku":null,"price":14951.84,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030539498.jpg?v=1781512922"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-engineering-principles-9783030614706","title":"Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles","description":"\u003cp\u003eThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. 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, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915109069079,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030614706.jpg?v=1781526608"},{"product_id":"artificial-intelligence-9783030307639","title":"Artificial Intelligence","description":"\u003cp\u003eThis book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019.  The 23 full papers presented along with 7 short papers in this volume were carefully reviewed and selected from 130 submissions. The conference deals with a wide range of topics, including multi-agent systems, intelligent robots and behaviour planning; automated reasoning and data mining; natural language processing and understanding of texts; fuzzy models and soft computing; intelligent systems and applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915572932887,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030307639.jpg?v=1781526984"},{"product_id":"formal-methods-9783030908706","title":"Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks \u0026amp; Active Learning, Logics \u0026amp; Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915660292375,"sku":null,"price":12449.44,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030908706.jpg?v=1781528975"},{"product_id":"diagrammatic-representation-and-inference-9783030542498","title":"Diagrammatic Representation and Inference","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters. *The conference was held virtually due to the COVID-19 pandemic. The chapters ‘Modality and Uncertainty in Data Visualization: A Corpus Approach to the Use of Connecting Lines,’ ‘On Effects of Changing Multi-Attribute Table Design on Decision Making: An Eye Tracking Study,’ ‘Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs,’ ‘The DNA Framework of Visualization’ and ‘Visualizing Curricula’ 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":52915690570007,"sku":null,"price":8757.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030542498.jpg?v=1781529243"},{"product_id":"advances-in-agile-and-user-centred-software-engineering-9783030375348","title":"Advances in Agile and User-Centred Software Engineering","description":"\u003cp\u003eThis book constitutes revised selected papers from the 3rd International Conference on Lean and Agile Software Development, LASD 2019, and the 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, which took place under the umbrella of the 14th Federated Conferences on Computer Science and Information Systems, FedCSIS, in Leipzig, Germany, in September 2019.   LASD 2019 received a total of 30 submissions, of which 6 full and 1 short paper are included in this volume. For MIDI 2019 one short paper was accepted for publication in this book, from a total of 6 submissions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915735724311,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030375348.jpg?v=1781529507"},{"product_id":"computational-intelligence-cyber-security-and-computational-models-recent-trends-in-computational-models-intelligent-and-secure-systems-9783031155567","title":"Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 5th International Conference, ICC3 2021, held in Coimbatore, India, during December 16–18, 2021.    The 14 full papers included in this book were carefully reviewed and selected from 84 submissions. They were organized in topical sections as follows: computational intelligence; cyber security; and computational models.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915790709015,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031155567.jpg?v=1781530466"},{"product_id":"software-engineering-artificial-intelligence-networking-and-paralleldistributed-computing-9783031196041","title":"Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing","description":"\u003cp\u003eThis book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications, and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.   The conference organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 15 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915793232151,"sku":null,"price":17454.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031196041.jpg?v=1781530546"},{"product_id":"guide-to-efficient-software-design-9783030285012","title":"Guide to Efficient Software Design","description":"\u003cp\u003eThis classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These concepts are then applied to a case study, and reinforced through practice exercises, with the option to follow either a structured design or object-oriented design paradigm. The text applies an incremental and iterative software development approach, emphasizing the use of design characteristics and modeling techniques as a way to represent higher levels of design abstraction, and promoting the model-view-controller (MVC) architecture.Topics and features: provides a case study to illustrate the various concepts discussed throughout the book, offering an in-depth look at the pros and cons of different software designs; includes discussion questions and hands-on exercises that extend the case study and apply the concepts to other problem domains; presents a review of program design fundamentals to reinforce understanding of the basic concepts; focuses on a bottom-up approach to describing software design concepts; introduces the characteristics of a good software design, emphasizing the model-view-controller as an underlying architectural principle; describes software design from both object-oriented and structured perspectives; examines additional topics on human-computer interaction design, quality assurance, secure design, design patterns, and persistent data storage design; discusses design concepts that may be applied to many types of software development projects; suggests a template for a software design document, and offers ideas for further learning. Students of computer science and software engineering will find this textbook to be indispensable for advanced undergraduate courses on programming and software design. Prior background knowledge and experience of programming is required, but familiarity in software design is not assumed.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915919094039,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030285012.jpg?v=1781586789"},{"product_id":"human-computer-interaction-design-and-user-experience-9783030490591","title":"Human-Computer Interaction. Design and User Experience","description":"\u003cp\u003eThe three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.* A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 submissions. The 145 papers included in this HCI 2020 proceedings were organized in topical sections as follows:Part I: design theory, methods and practice in HCI; understanding users; usability, user experience and quality; and images, visualization and aesthetics in HCI. Part II: gesture-based interaction; speech, voice, conversation and emotions; multimodal interaction; and human robot interaction. Part III: HCI for well-being and Eudaimonia; learning, culture and creativity; human values, ethics, transparency and trust; and HCI in complex environments. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916315652375,"sku":null,"price":11198.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030490591.jpg?v=1781589145"},{"product_id":"human-computer-interaction-human-values-and-quality-of-life-9783030490652","title":"Human-Computer Interaction. Human Values and Quality of Life","description":"\u003cp\u003eThe three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.* A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 submissions. The 145 papers included in these HCI 2020 proceedings were organized in topical sections as follows: Part I: design theory, methods and practice in HCI; understanding users; usability, user experience and quality; and images, visualization and aesthetics in HCI. Part II: gesture-based interaction; speech, voice, conversation and emotions; multimodal interaction; and human robot interaction. Part III: HCI for well-being and Eudaimonia; learning, culture and creativity; human values, ethics, transparency and trust; and HCI in complex environments. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916316766487,"sku":null,"price":11198.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030490652.jpg?v=1781589153"},{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-applications-9783030614676","title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","description":"\u003cp\u003eThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. 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, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916362838295,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030614676.jpg?v=1781589360"},{"product_id":"discovery-science-9783030337780","title":"Discovery Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 22nd International Conference on Discovery Science, DS 2019, held in Split, Coratia, in October 2019. The 21 full and 19 short papers presented together with 3 abstracts of invited talks in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. The papers are organized in the following topical sections: Advanced Machine Learning; Applications; Data and Knowledge Representation; Feature Importance; Interpretable Machine Learning; Networks; Pattern Discovery; and Time Series.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916381122839,"sku":null,"price":8757.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030337780.jpg?v=1781589695"},{"product_id":"software-engineering-application-in-informatics-9783030903183","title":"Software Engineering Application in Informatics","description":"\u003cp\u003eThis book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial intelligence are crucial topics for the research within an intelligent systems problem domain.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916399603991,"sku":null,"price":17454.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030903183.jpg?v=1781590095"},{"product_id":"software-engineering-perspectives-in-intelligent-systems-9783030633196","title":"Software Engineering Perspectives in Intelligent Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an international forum for the discussion of the latest high-quality research results.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916527300887,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030633196.jpg?v=1781591482"},{"product_id":"software-engineering-perspectives-in-intelligent-systems-9783030633226","title":"Software Engineering Perspectives in Intelligent Systems","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an international forum for the discussion of the latest high-quality research results.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916527399191,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030633226.jpg?v=1781591486"},{"product_id":"software-engineering-research-management-and-applications-9783030243449","title":"Software Engineering Research, Management and Applications","description":"\u003cp\u003eThis edited book presents the scientific outcomes of the 17th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2019) held on May 29–31, 2019 in Honolulu, Hawaii. The aim of the conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way.  This book includes 13 of the conference’s most promising papers featuring recent research in software engineering, management and applications\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916692746519,"sku":null,"price":17454.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030243449.jpg?v=1781591606"},{"product_id":"developments-in-language-theory-9783030248864","title":"Developments in Language Theory","description":"\u003cp\u003eThis book constitutes the proceedings of the 23rd International Conference on Developments in Language Theory, DLT 2019, held in Warsaw, Poland, in August 2019. The 20 full papers presented together with three invited talks were carefully reviewed and selected from 30 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties  of words and languages; grammars, acceptors and transducers for strings, trees, graphics, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to complexity theory and logic; picture description and analysis, polyominoes and bidimensional patterns; cryptography; concurrency; celluar automata; bio-inspired computing; quantum computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916715127063,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030248864.jpg?v=1781591832"},{"product_id":"applied-computer-sciences-in-engineering-9783030310196","title":"Applied Computer Sciences in Engineering","description":"\u003cp\u003eThis volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; bioengineering; Internet of things; power applications; simulation systems; optimization.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916726989079,"sku":null,"price":11198.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030310196.jpg?v=1781592155"},{"product_id":"implementation-and-application-of-automata-9783319601342","title":"Implementation and Application of Automata","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallée, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions. The topics of the presented papers include state complexity of automata; implementations of automata and experiments; enhanced regular expressions; and complexity analysis.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916788265239,"sku":null,"price":5629.15,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319601342.jpg?v=1781592561"},{"product_id":"intelligent-computing-theories-and-application-9783031138294","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":52916814151959,"sku":null,"price":13700.64,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031138294.jpg?v=1781593164"},{"product_id":"principles-and-practice-of-constraint-programming-9783030584757","title":"Principles and Practice of Constraint Programming","description":"\u003cp\u003eThis book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 55 full papers presented in this volume were carefully reviewed and selected from 122 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics\/tracks: technical track; application track; and CP and data science and machine learning.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916815986967,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030584757.jpg?v=1781593178"},{"product_id":"runtime-verification-9783030884949","title":"Runtime Verification","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021. The 11 regular papers and 7 short\/tool\/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916840694039,"sku":null,"price":8131.55,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030884949.jpg?v=1781593453"},{"product_id":"meta-heuristic-techniques-in-software-engineering-and-its-applications-9783031117138","title":"Meta Heuristic Techniques in Software Engineering and Its Applications","description":"\u003cp\u003eThis book discusses an integration of machine learning with metaheuristic techniques that provide more robust and efficient ways to address traditional optimization problems. Modern metaheuristic techniques, along with their main characteristics and recent applications in artificial intelligence, software engineering, data mining, planning and scheduling, logistics and supply chains, are discussed in this book and help global leaders in fast decision making by providing quality solutions to important problems in business, engineering, economics and science. Novel ways are also discovered to attack unsolved problems in software testing and machine learning. The discussion on foundations of optimization and algorithms leads beginners to apply current approaches to optimization problems. The discussed metaheuristic algorithms include genetic algorithms, simulated annealing, ant algorithms, bee algorithms and particle swarm optimization. New developments on metaheuristics attract researchers and practitioners to apply hybrid metaheuristics in real scenarios.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926265032983,"sku":null,"price":16203.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031117138.jpg?v=1781594764"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/computers-juvenile-nonfiction.oembed?page=3","provider":"Kitaboo One eStore","version":"1.0","type":"link"}