{"title":"Software Development \u0026 Engineering (Computers)","description":"","products":[{"product_id":"software-engineering-9781009063180","title":"Software Engineering","description":"\u003cp\u003eDesigned for introductory courses with a significant team project, this textbook presents concepts with real-life case studies and examples.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52824132354327,"sku":null,"price":6613.9,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781009063180.jpg?v=1780654552"},{"product_id":"functional-programming-using-f-9781107065055","title":"Functional Programming Using F#","description":"\u003cp\u003eThis comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52824851677463,"sku":null,"price":6616.47,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107065055.jpg?v=1780655245"},{"product_id":"functional-approach-to-programming-9781107263796","title":"Functional Approach to Programming","description":"\u003cp\u003eAdvanced text on how to program in the functional way; has exercises, solutions and code.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825135415575,"sku":null,"price":8773.54,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107263796.jpg?v=1780655542"},{"product_id":"haskell-school-of-expression-9781107263925","title":"Haskell School of Expression","description":"\u003cp\u003eThis book teaches functional programming using Haskell and examples drawn from multimedia applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825135907095,"sku":null,"price":6748.88,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107263925.jpg?v=1780655562"},{"product_id":"introduction-to-distributed-algorithms-9781107385603","title":"Introduction to Distributed Algorithms","description":"\u003cp\u003eThe second edition of this successful textbook provides an up-to-date introduction both to distributed algorithms and to the theory behind them.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52826392985879,"sku":null,"price":9313.45,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107385603.jpg?v=1780656432"},{"product_id":"calendrical-calculations-9781107702370","title":"Calendrical Calculations","description":"\u003cp\u003eExpanded coverage includes generic cyclical calendars, astronomical lunar calendars, and the Korean, Vietnamese, Aztec, and Tibetan calendars.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52827586101527,"sku":null,"price":5127.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107702370.jpg?v=1780657255"},{"product_id":"testing-it-9781139012225","title":"Testing IT","description":"\u003cp\u003eThis second edition of Testing IT demonstrates the role and use of agile testing best practices and includes a specific agile case study.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52865653801239,"sku":null,"price":10532.34,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139012225.jpg?v=1780897717"},{"product_id":"software-modeling-and-design-9781139035972","title":"Software Modeling and Design","description":"\u003cp\u003eAll you need to know to model and design software applications from use cases to software architectures in UML.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52866652700951,"sku":null,"price":11612.58,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139035972_bbaf730c-59d5-40ec-8561-bf4a76ba0687.jpg?v=1780898977"},{"product_id":"programming-with-higher-order-logic-9781139506298","title":"Programming with Higher-Order Logic","description":"\u003cp\u003eA programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52867635085591,"sku":null,"price":5941.32,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139506298.jpg?v=1780900217"},{"product_id":"modeling-in-event-b-9781139637794","title":"Modeling in Event-B","description":"\u003cp\u003eA practical introduction to this model-based formal method, containing a broad range of illustrative examples.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871202046231,"sku":null,"price":17148.81,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637794.jpg?v=1780901474"},{"product_id":"python-for-software-design-9781139637855","title":"Python for Software Design","description":"\u003cp\u003eA no-nonsense introduction to software design using the Python programming language, for people with no programming experience.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871211647255,"sku":null,"price":5669.06,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637855.jpg?v=1780901478"},{"product_id":"programming-in-ada-2012-9781139986649","title":"Programming in Ada 2012","description":"\u003cp\u003eSure to become the go-to resource for those wishing to learn the language or to program in it.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874138353943,"sku":null,"price":11471.73,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139986649.jpg?v=1780903144"},{"product_id":"introduction-to-software-testing-9781316772195","title":"Introduction to Software Testing","description":"\u003cp\u003eThis classroom-tested new edition features expanded coverage of the basics and test automation frameworks, with new exercises and examples.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887520706839,"sku":null,"price":8098.65,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316772195.jpg?v=1780906461"},{"product_id":"declarative-logic-programming-9781970001983","title":"Declarative Logic Programming","description":"\u003cp\u003eThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren''s fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of \"what\" to do rather than \"how\" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically. Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling. For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving. LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning. The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887729996055,"sku":null,"price":6302.1,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781970001983.jpg?v=1780907695"},{"product_id":"engagement-of-intercultural-project-customers-9783030394851","title":"Engagement of Intercultural Project Customers","description":"\u003cp\u003eThis book examines the effective and appropriate integration of project customers in intercultural settings. It first presents the theoretical background and the state of the art in intercultural project stakeholder management. The book then describes the use of qualitative and quantitative (Delphi survey) methods to produce a dataset, and the development of a relational model for customer engagement in intercultural projects based on this dataset.    The book can be used to inform future research in the area of international project management, while also serving as a guide for project management practitioners who need to engage culturally diverse users, sponsors and customers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926042013975,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030394851.jpg?v=1781594265"},{"product_id":"computer-programming-in-c-for-beginners-9783030507503","title":"Computer Programming in C for Beginners","description":"\u003cp\u003eThis textbook is an ideal introduction in college courses or self-study for learning computer programming using the C language. Written for those with minimal or no programming experience, Computer Programming in C for Beginners offers a heavily guided, hands-on approach that enables the reader to quickly start programming, and then progresses to cover the major concepts of C programming that are critical for an early stage programmer to know and understand. While the progression of topics is conventional, their treatment is innovative and designed for rapid understanding of the many concepts in C that have traditionally proven difficult for beginners, such as variable typing and scope, function definition, passing by value, pointers, passing by reference, arrays, structures, basic memory management, dynamic memory allocation, and linked lists, as well as an introductory treatment of searching and sorting algorithms.  Written in an informal but clear narrative, the book uses extensive examples throughout and provides detailed guidance on how to write the C code to achieve the objectives of the example problems. Derived from the author’s many years of teaching hands-on college courses, it encourages the reader to follow along by programming the progressively more complex exercise programs presented. In some sections, errors are purposely inserted into the code to teach the reader about the common pitfalls of programming in general, and the C language in particular.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926260445463,"sku":null,"price":5937.66,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030507503.jpg?v=1781594687"},{"product_id":"language-and-automata-theory-and-applications-9783319537337","title":"Language and Automata Theory and Applications","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926278336791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319537337.jpg?v=1781594914"},{"product_id":"service-oriented-computing-9783031183041","title":"Service-Oriented Computing","description":"\u003cp\u003eThis book constitutes the revised selected papers of the 16th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2022, held in Hersonissos, Crete, Greece, in July 2022. The 8 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Advanced Application Architecture; Data Science and Applications; and Quantum Computing.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926285742359,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031183041.jpg?v=1781595045"},{"product_id":"agreement-technologies-9783030172947","title":"Agreement Technologies","description":"\u003cp\u003eThis book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018. The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next generation open distributed systems centered on the notion of agreement among computational agents. They are organized in the following topical sections: AT foundations and modelling of reasoning agents; argumentation and negotiation; coordination in open distributed systems with applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926717657367,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030172947_411bbdd9-c451-4bfd-961e-862179ceb530.jpg?v=1781598158"},{"product_id":"engineering-systems-and-networks-9783319457482","title":"Engineering Systems and Networks","description":"\u003cp\u003eThis book gathers a selection of the best papers presented at the joint international conference ICIEOM-CIO-IIE 2015, offering recent research on industrial engineering, management and operations from an international and interdisciplinary perspective. It includes contributions from different fields, such as operations research, modeling and simulation, production and service management and logistics, information systems and quality, and as such is of interest to both researchers and practitioners. Reflecting the interconnected nature of today’s production systems, characterized by intense flows of goods, information and individuals between companies and nations, it is a valuable resource for anyone wanting an in-depth understanding of the field to guide managerial practice in order to take full advantage of existing opportunities.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926723522839,"sku":null,"price":24228.47,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319457482_2187af9e-5baa-4a7d-8628-7d151d82ab14.jpg?v=1781598217"},{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-9783319669021","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\u003cp\u003eThis book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.  The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926725685527,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319669021_87559e7e-4585-4315-8ee9-e76923d2b41a.jpg?v=1781598244"},{"product_id":"inductive-logic-programming-9783319780900","title":"Inductive Logic Programming","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017. The 12 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52926970396951,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319780900.jpg?v=1781599828"},{"product_id":"software-technologies-applications-and-foundations-9783319747309","title":"Software Technologies: Applications and Foundations","description":"\u003cp\u003eThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.  The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are:  BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering  GCM 2017: 8th International Workshop on Graph Computation Models GRAND 2017: 1st International Workshop on Grand Challenges in Modeling MORSE 2017: 4th International Workshop on Model-driven Robot Software Engineering OCL 2017: 17th International Workshop in OCL and Textual Modeling STAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52927042126103,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319747309.jpg?v=1781599907"},{"product_id":"learning-java-with-games-9783319728865","title":"Learning Java with Games","description":"\u003cp\u003eThis innovative approach to teaching Java language and programming uses game design development as the method to applying concepts. Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective.  Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does not treat the object-oriented and procedure and loop parts of Java as two separate entities to be covered separately, but interweaves the two concepts so the students get a better picture of what Java is. After studying a rich set of projects, the book turns to build up a “Three-layer Structure for Games” as an architecture template and a guiding line for designing and developing video games. The proposed three-layer architecture not only merges essential Java object-oriented features but also addresses loosely coupled software architecture.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52928444236055,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319728865.jpg?v=1781601879"},{"product_id":"mixed-intelligent-systems-9783319911588","title":"Mixed Intelligent Systems","description":"\u003cp\u003eCorrectly functioning evaluation systems directly influence the efficient and effective planning and implementation of projects and the achievement of organisational objectives. This book critically analyses the results of research dedicated to mixed intelligent systems for project evaluation, taking into account the current state of knowledge in the field of project management. It argues for the need to move away from classical concepts and deploy interdisciplinary research methods in the development of comprehensive project evaluation systems. Considering contemporary issues relating to project evaluation, the author deals with both quantitative and qualitative evaluation methods and the problems surrounding systems that integrate them, before discussing the process of modelling mixed intelligent systems. Mixed Intelligent Systems makes a thought-provoking case for harnessing interdisciplinary methods and new ideas in project management research when developing evaluation systems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52928881328407,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319911588.jpg?v=1781602158"},{"product_id":"parallel-computational-technologies-9783031116230","title":"Parallel Computational Technologies","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 16th International Conference on Parallel Computational Technologies, PCT 2022, held in Dubna, Russia, during March 29–31, 2022. The 22 full papers included in this book were carefully reviewed and selected from 60 submissions. They were organized in topical sections as follows: high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52929096253719,"sku":null,"price":10055.83,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031116230.jpg?v=1781603198"},{"product_id":"effective-virtual-project-teams-9783030222284","title":"Effective Virtual Project Teams","description":"\u003cp\u003eCollaborating in virtual teams is a new reality in modern project management and work environments. Its emergence calls for an extensive analysis and re-alignment on the part of organizations, so as to help virtual teams maintain ''strategic momentum'' – a concept that this book introduces. Strategic momentum represents perseverance with regard to pursuing a virtual team’s strategy; a ''flywheel''  concept that drives the team members to concentrate on the project tasks until they have reached their shared goal.   The authors present a design science based model, together with an in-depth qualitative study involving eight virtual R\u0026amp;D project teams. In this model, strategic momentum is assessed in terms of empowerment, team task insight, and collective commitment. These three determinants can be promoted and sustained by various contextual factors and interventions on the part of the management. The authors also provide a wealth of practical tips to helppractitioners and consultants generate and sustain strategic momentum in their own contexts when working with virtual teams.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52929138163991,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030222284.jpg?v=1781603256"},{"product_id":"dynamic-programming-multi-objective-combinatorial-optimization-9783030639204","title":"Dynamic Programming Multi-Objective Combinatorial Optimization","description":"\u003cp\u003eThis book introduces a fairly universal approach to the design and analysis of exact optimization algorithms for multi-objective combinatorial optimization problems. It proposes the circuits without repetitions representing the sets of feasible solutions along with the increasing and strictly increasing cost functions as a model for such problems. The book designs the algorithms for multi-stage and bi-criteria optimization and for counting the solutions in the framework of this model. As applications, this book studies eleven known combinatorial optimization problems: matrix chain multiplication, global sequence alignment, optimal paths in directed graphs, binary search trees, convex polygon triangulation, line breaking (text justification), one-dimensional clustering, optimal bitonic tour, segmented least squares, optimization of matchings in trees, and 0\/1 knapsack problem. The results presented are useful for researchers in combinatorial optimization. This book is also useful as the basis for graduate courses.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52929396146455,"sku":null,"price":18829.37,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030639204.jpg?v=1781603501"},{"product_id":"automated-reasoning-9783030510749","title":"Automated Reasoning","description":"\u003cp\u003eThis two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving\/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter ‘Constructive Hybrid Games’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52929405649175,"sku":null,"price":9447.07,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030510749.jpg?v=1781603566"},{"product_id":"practical-aspects-of-declarative-languages-9783030391973","title":"Practical Aspects of Declarative Languages","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52930831122711,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030391973.jpg?v=1781608567"},{"product_id":"lecture-notes-in-computer-science-9783030030445","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter \u0026amp;quote;TeSSLa: Temporal Stream-Based Specification Language\u0026amp;quote; is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52931360522519,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030030445.jpg?v=1781608923"},{"product_id":"central-european-functional-programming-school-9783030283469","title":"Central European Functional Programming School","description":"\u003cp\u003eThis volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52932003070231,"sku":null,"price":8097.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030283469.jpg?v=1781609211"},{"product_id":"lecture-notes-in-computer-science-9783030003029","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThe set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing Systems and the second part concerns Scheduling; Debugging; Communication and Coordination; Monitoring.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52932924375319,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030003029.jpg?v=1781610579"},{"product_id":"formal-aspects-of-component-software-9783030021467","title":"Formal Aspects of Component Software","description":"\u003cp\u003eThis book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018. The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52932954685719,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030021467.jpg?v=1781611694"},{"product_id":"advances-in-intelligent-systems-and-computing-iii-9783030010690","title":"Advances in Intelligent Systems and Computing III","description":"\u003cp\u003eThis book reports on new theories and applications in the field of intelligent systems and computing. It covers computational and artificial intelligence methods, as well as advances in computer vision, current issues in big data and cloud computing, computation linguistics, and cyber-physical systems. It also reports on data mining and knowledge extraction technologies, as well as central issues in intelligent information management. Written by active researchers, the respective chapters are based on papers presented at the International Conference on Computer Science and Information Technologies (CSIT 2018), held on September 11–14, 2018, in Lviv, Ukraine, and jointly organized by the Lviv Polytechnic National University, Ukraine, the Kharkiv National University of Radio Electronics, Ukraine, and the Technical University of Lodz, Poland, under patronage of Ministry of Education and Science of Ukraine. Given its breadth of coverage, the book provides academics and professionals with extensive information and a timely snapshot of the field of intelligent systems, and is sure to foster new discussions and collaborations among different groups.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52933835489559,"sku":null,"price":24228.47,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030010690.jpg?v=1781613163"},{"product_id":"design-engineering-journey-9783031259692","title":"Design Engineering Journey","description":"\u003cp\u003eThis book provides an introductory treatment of the design methodology. It introduces the principles of design, and discusses design tools and techniques from traditional and multidisciplinary perspectives and comprehensively explores the design engineering process. It presents a broad multidisciplinary perspective to design.Delivers Innovation, creativity, design thinking, collaboration, communication, problem solving, and technical skills are key skills for tackling today''s complex design problems.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52934562480407,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031259692.jpg?v=1781613980"},{"product_id":"advances-in-science-technology-innovation-9783031265808","title":"Advances in Science, Technology \u0026 Innovation","description":"\u003cp\u003eThis book highlights the recent findings and advances in science engineering technology and sustainability issues. It aims to discuss, reflect and share experience in addressing the findings in science engineering technology and sustainability. The book aims to report the various interrelated disciplines from different institutions to discuss, reflect and share technology and experience in addressing new findings and strategies. This book presents the proceedings of the Science Engineering Technology and Sustainability International Conference (SETS2021) which was held virtually-as sustainable virtual conferences become the new normal-during December 23-25, 2021. This book is presenting latest research findings, and it is suitable for researchers, postgraduate students, professionals and experts. The book includes interesting and top research in fuzzy modeling and decision-making applications in computer science. Several chapters address trending research about bioremediation and phytoremediation. There are mainly three research findings that cover artificial intelligence, sustainability and new technologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52934590693655,"sku":null,"price":20245.27,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031265808.jpg?v=1781614190"},{"product_id":"microservices-architektur-9783868025835","title":"Microservices-Architektur","description":"\u003cp\u003eDie Microservices-Architektur ist ein moderner Architekturstil für die Bereitstellung von autonomen Services im Web. Die lose Kopplung, die hohe Skalierbarkeit und ein flexibles Deployment sind die herausragenden Merkmale der Architektur. Der Aufbau einer Microservices-Architektur stellt uns vor einige Problemstellungen, die mit bestehenden Patterns effizient gelöst werden können. Der shortcut zeigt, wie man Patterns in Spring implementieren kann.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52936320811287,"sku":null,"price":448.13,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783868025835.jpg?v=1781529826"},{"product_id":"product-management-9781483659657","title":"Product Management","description":"\u003cp\u003eProduct management is a demanding but exciting career. The product managers challenges are unending, his responsibilities are rigorous, and what he does, has direct impact on a companys financial performance. Building and launching new products and turning an idea from a piece of paper into a functional product is almost a miracle. In addition, the product manager manages the product throughout its life. In doing so, the product manager deals with pretty much every function in the company. Speaking of the product life, anything done well during the planning phase will pay off during the other phases of the product life cycle. The execution phase is the phase when a product really takes shape. Once the product is complete and ready to be launched, it is an exciting time for the product manager. The product is ready to put under real-world test. Just building and launching a product is not enough. Target customers should be told about how great a product is, which takes good marketing and evangelism. Market routes must be established to sell and promote the product and make business out of it. Additionally, different types of services can be defined to be attached with the product as an overall offering. Defining and implementing a go-to-market plan for the product is complicated but interesting set of activities. If the go-to-market ecosystem is set up well, the product manager can watch his products and associated services revenues multiply. Once the product is out there, it needs to be taken care of. Sustaining a product takes effort. This is the time to turn a good product into a great product to take the product toward completeness and maturity. Eventually, any product will get old and obsolete. Even the greatest of products must be given a farewell, and the end of life must happen to keep the innovation wheel rotating. New products and services enter the picture, and the product management action starts all over again.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53036600525079,"sku":null,"price":3373.08,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781483659657.jpg?v=1781068693"},{"product_id":"principles-of-programming-9781514430378","title":"Principles of Programming","description":"\u003cp\u003ePrinciples of Programming: Java Level 1 is a minimalist computer science textbook, designed for a short, intensive, beginner-level coding course. Unlike other textbooks, this book does not attempt to cover all of Java. The book starts you off with \"Hello World,\" gradually adding new concepts, in order of increasing complexity. Topics covered include screen output, information storage and processing, user input, Boolean logic and decision making, and looping. After learning all the concepts, you get to build a simple game. Finally, the book features a guide to getting help and the definitions of its few technical terms.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53074811355415,"sku":null,"price":538.56,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781514430378.jpg?v=1781241549"},{"product_id":"elements-of-umltm-20-style-9781107385313","title":"Elements of UML(TM) 2.0 Style","description":"\u003cp\u003eConcise and easy-to-understand guidelines and standards for creating UML 2.0 diagrams.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":53490757665047,"sku":null,"price":3105.69,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107385313_2938af89-0e4e-4bc3-b33d-f07e4dfaf797.jpg?v=1780656411"}],"url":"https:\/\/payment.letskitaboo.com\/te\/collections\/software-development-engineering-computers.oembed?page=2","provider":"Kitaboo One eStore","version":"1.0","type":"link"}