{"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":"lecture-notes-in-computer-science-9783030510541","title":"Lecture Notes in Computer Science","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 logicsPart II: interactive theorem proving\/ HOL; formalizations; verification; reasoning systems and tools*The conference was held virtually due to the COVID-19 pandemic.Chapter A Fast Verified Liveness Analysis in SSA Form 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":52894372331799,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030510541.jpg?v=1781257190"},{"product_id":"chatbot-research-and-design-9783031255816","title":"Chatbot Research and Design","description":"\u003cp\u003eThis book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022. The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52895089721623,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031255816.jpg?v=1781258748"},{"product_id":"recent-trends-in-algebraic-development-techniques-9783030737856","title":"Recent Trends in Algebraic Development Techniques","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911121989911,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030737856.jpg?v=1781260120"},{"product_id":"markers-of-psychosocial-maturation-9783030743154","title":"Markers of Psychosocial Maturation","description":"\u003cp\u003eThis book advances an integrative approach to understanding the phenomenon of psychosocial maturation. Through a rigorous, dialectically-informed interpretation of psychoanalytic and humanistic-existential-phenomenological sources, Mufid James Hannush distils thirty essential markers of maturity. The dialectical approach is described as a process whereby lived, affect-and-value laden polar meanings are transformed, through deep insight, into complementary and integrative meta-meanings. The author demonstrates how responding to the call of maturation can be viewed as a life project that serves the ultimate purpose of living a balanced life. The book will appeal to students and scholars of human development, psychotherapy, social work, philosophy, and existential, humanistic, and phenomenological psychology.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911213445399,"sku":null,"price":16129.82,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030743154.jpg?v=1781263464"},{"product_id":"lecture-notes-in-computer-science-9783319944609","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Rosu. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program\/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911233728791,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319944609.jpg?v=1781263880"},{"product_id":"programming-in-two-semesters-9783031013263","title":"Programming in Two Semesters","description":"\u003cp\u003eThis highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts. The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case study bringing together all the topics of the first semester.  The second part uses Java to teach advanced concepts and centres around object-oriented programming, teaching key object-oriented concepts such as inheritance and polymorphism.  The semester again ends with an advanced case study bringing together all the topics of the second semester. Topics and features: Assumes no prior knowledge, and makes the transition from Python to Java a smooth process Features numerous exercises and also an illustrative case study for each language Examines procedural and object-oriented methodologies, as well as design principles Covers such advanced topics as interfaces and lambda expressions, exceptions and Collections Includes a chapter on graphics programming in Python using Tkinter  Introduces the latest Java technology for graphical interfaces, JavaFX Explains design concepts using UML notation Offering a gentle introduction to the field and assuming no prerequisite background, Programming in Two Semesters is the ideal companion to undergraduate modules in software development or programming.  In addition, it will serve as a strong primer for professionals looking to strengthen their knowledge of programming with these languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911316762903,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031013263.jpg?v=1781267224"},{"product_id":"computer-science-9783030923853","title":"Computer Science","description":"\u003cp\u003eThis book bridges the gap between knowledge management and technology. It embraces the complete lifecycle of knowledge, information, and data from how knowledge flows through an organization to how end users want to handle it and experience it. Whether your intent is to design and implement a single technology or a complete collection of KM systems, this book provides the foundations necessary for success. It will help you understand your organization's needs and opportunities, strategize and prioritize features and functions, design with the end user in mind, and finally build a system that your users will embrace and which will realize meaningful business value for your organization.The book is the culmination of the authors collective careers, a combined sixty years of experience doing exactly what is detailed in this book. Their guidance has been honed by their own successes and failures as well as many others they have researched in order to provide a comprehensive study on KM transformations and the technologies that help to enable them. They have successfully applied this knowledge as the founders and leaders of the world s largest dedicated knowledge management consultancy, which runs these projects for many of the world s most complex organizations. They are writing as practitioners directly to other practitioners with the intent to enable them to apply and benefit from their knowledge and experience. Compelling reading for KM practitioners looking to ensure their technology decisions support their business and organizational objectives. -  Margot Brown, Director of Knowledge Management, World Bank Group \u0026amp;quote;We are two years into our KM Transformation and if I d had this book beforehand, it would have made the journey smoother and faster! This is a great playbook for how to plan, organize, and execute a KM transformation.\u0026amp;quote; - Stephanie Hill, Senior Director, Global Customer Services, PayPal\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911395242263,"sku":null,"price":8772.18,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030923853.jpg?v=1781269487"},{"product_id":"green-photonics-and-electronics-9783319670027","title":"Green Photonics and Electronics","description":"\u003cp\u003eThis books focuses on recent break-throughs in the development of a variety of photonic devices, serving distances ranging from mm to many km, together with their electronic counter-parts, e.g. the drivers for lasers, the amplifiers following the detectors and most important, the relevant advanced VLSI circuits. It explains that as a consequence of the increasing dominance of optical interconnects for high performance workstation clusters and supercomputers their complete design has to be revised. This book thus covers for the first time the whole variety of interdependent subjects contributing to green photonics and electronics, serving communication and energy harvesting. Alternative approaches to generate electric power using organic photovoltaic solar cells, inexpensive and again energy efficient in production are summarized. In 2015, the use of the internet consumed 5-6% of the raw electricity production in developed countries. Power consumption increases rapidlyand without some transformational change will use, by the middle of the next decade at the latest, the entire electricity production. This apocalyptic outlook led to a redirection of the focus of data center and HPC developers from just increasing bit rates and capacities to energy efficiency. The high speed interconnects are all based on photonic devices. These must and can be energy efficient but they operate in an electronic environment and therefore have to be considered in a wide scope that also requires low energy electronic devices, sophisticated circuit designs and clever architectures. The development of the next generation of high performance exaFLOP computers suffers from the same problem: Their energy consumption based on present device generations is essentially prohibitive.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911916941591,"sku":null,"price":14780.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319670027.jpg?v=1781501988"},{"product_id":"data-structures-and-algorithms-with-python-9783319130729","title":"Data Structures and Algorithms with Python","description":"\u003cp\u003eThis textbook explains the concepts and techniques required to write programs that can handle large amounts of data efficiently. Project-oriented and classroom-tested, the book presents a number of important algorithms supported by examples that bring meaning to the problems faced by computer programmers. The idea of computational complexity is also introduced, demonstrating what can and cannot be computed efficiently so that the programmer can make informed judgements about the algorithms they use. Features: includes both introductory and advanced data structures and algorithms topics, with suggested chapter sequences for those respective courses provided in the preface; provides learning goals, review questions and programming exercises in each chapter, as well as numerous illustrative examples; offers downloadable programs and supplementary files at an associated website, with instructor materials available from the author; presents a primer on Python for those from a different language background.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911929426199,"sku":null,"price":5532.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319130729.jpg?v=1781502427"},{"product_id":"logical-foundations-of-computer-science-9783319720562","title":"Logical Foundations of Computer Science","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912072163607,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319720562.jpg?v=1781503922"},{"product_id":"practical-aspects-of-declarative-languages-9783319733050","title":"Practical Aspects of Declarative Languages","description":"\u003cp\u003eThis book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912077439255,"sku":null,"price":5127.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319733050.jpg?v=1781504025"},{"product_id":"openshmem-and-related-technologies-big-compute-and-big-data-convergence-9783319738147","title":"OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence","description":"\u003cp\u003eThis book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017. The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for communication contexts in OpenSHMEM, different optimizations for OpenSHMEM on shared memory machines, exploring the implementation of OpenSHMEM and its memory model on Intel’s KNL architecture, and implementing new applications and benchmarks with OpenSHMEM.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912079012119,"sku":null,"price":5127.79,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319738147.jpg?v=1781504057"},{"product_id":"graph-transformation-specifications-and-nets-9783319753966","title":"Graph Transformation, Specifications, and Nets","description":"\u003cp\u003eThis volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from a symposium, held in October 2016 at TU Berlin,  commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation,  Concurrency Theory, in particular Petri Nets, Algebraic Specification, and Category Theory in Computer Science.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912087335191,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319753966.jpg?v=1781504636"},{"product_id":"beginners-guide-to-scala-object-orientation-and-functional-programming-9783319757711","title":"Beginner's Guide to Scala, Object Orientation and Functional Programming","description":"\u003cp\u003eScala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming.  Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this compiled from etc.) and with basic procedural language concepts (such as variables and allocation of values to these variables) the early chapters of the book do not assume any familiarity with object orientation nor with functional programming These chapters also step through other concepts with which the reader may not be familiar (such as list processing).  From this background, the book provides a practical introduction to both object and functional approaches using Scala. These concepts are introduced through practical experience taking the reader beyondthe level of the language syntax to the philosophy and practice of object oriented development and functional programming.  Students and those actively involved in the software industry will find this comprehensive introduction to Scala invaluable.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912109748503,"sku":null,"price":7152.45,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319757711.jpg?v=1781505808"},{"product_id":"computing-and-software-science-9783319919089","title":"Computing and Software Science","description":"\u003cp\u003eThe papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”. They are organized in two parts: The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity. The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements. Chapter 3 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":52914793742615,"sku":null,"price":3373.08,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319919089.jpg?v=1781506980"},{"product_id":"virtual-reality-and-augmented-reality-9783030017903","title":"Virtual Reality and Augmented Reality","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 15th International Conference on Virtual Reality and Augmented Reality, EuroVR 2018, held in London, UK, in October 2018. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 39 submissions. The papers are organized in 5topical sections: vision-based motion tracking; 3D acquisition and 3D reconstruction; haptics and 3D audio; perception and cognition; interactive techniques and use-case studies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914839060759,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030017903.jpg?v=1781507844"},{"product_id":"logic-based-program-synthesis-and-transformation-9783030138387","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eThis book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt\/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed\/concurrent programming; analysis of logic programming; and program analysis.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52914992513303,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030138387.jpg?v=1781512103"},{"product_id":"trends-in-functional-programming-9783030148058","title":"Trends in Functional Programming","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915000705303,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030148058.jpg?v=1781512230"},{"product_id":"functional-and-constraint-logic-programming-9783030162023","title":"Functional and Constraint Logic Programming","description":"\u003cp\u003eThis book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt\/Main, Germany, in September 2018.  From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging. They are organized in the following topical sections: compilers and code generation; debugging and testing; and foundations of functional logic programming.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915002867991,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030162023.jpg?v=1781512282"},{"product_id":"advances-in-manufacturing-ii-9783030187897","title":"Advances in Manufacturing II","description":"\u003cp\u003eThis book covers a variety of topics in manufacturing, with a special emphasis on product design, production planning, and implementation of both resources and production processes. The content is based on papers presented at the 6th International Scientific Technical Conference MANUFACTURING 2019, held in Poznan, Poland on May 19-22, 2019. The main focus is on showing best practices to use tools currently available in the enterprises to effectively improving industrial processes.  Knowledge and production flow management, decision-making systems, production leveling, enterprise efficiency, as well as maintenance, modeling and simulation of production processes are just some of the topics discussed in this book, which offers a timely and practice-oriented reference guide for applied researchers, product engineers and product managers.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915034325271,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030187897.jpg?v=1781513083"},{"product_id":"project-management-and-engineering-research-9783030544102","title":"Project Management and Engineering Research","description":"\u003cp\u003eThis book gathers the best papers presented at the International Congress on Project Management and Engineering, in its 2017 and 2018 editions, which were held in Cádiz and Madrid, Spain. It covers a range of topic areas, including civil engineering and urban planning, product and process engineering, environmental engineering, energy efficiency and renewable energies, rural development, information and communication technologies, and risk management and safety.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915063652631,"sku":null,"price":24228.47,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030544102.jpg?v=1781525728"},{"product_id":"nasa-monographs-in-systems-and-software-engineering-9783319486284","title":"NASA Monographs in Systems and Software Engineering","description":"\u003cp\u003eAs computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems).  The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.The following topics are covered: An historical account of the ProCoS projectHybrid SystemsCorrectness of Concurrent AlgorithmsInterfaces and LinkingAutomatic VerificationRun-time Assertions CheckingFormal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915758530839,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319486284.jpg?v=1781529586"},{"product_id":"sql-server-database-programming-with-java-9783031065538","title":"SQL Server Database Programming with Java","description":"\u003cp\u003eThis textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook.  Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students’ learning and understanding for topics they study in the classroom.   Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook. This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52915784483095,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783031065538.jpg?v=1781530338"},{"product_id":"advances-in-intelligent-systems-and-computing-9783319705811","title":"Advances in Intelligent Systems and Computing","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 2017), held on September 5-8, 2017, in Lviv, Ukraine; and at two workshops accompanying the conference: one on inductive modeling, jointly organized by the Lviv Polytechnic National University and the National Academy of Science of Ukraine; and another on project management, which was jointly organized by the Lviv Polytechnic National University, the International Project Management Association, the Ukrainian Project Management Association, the Kazakhstan Project Management Association, and Nazarbayev University. 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":52915906674967,"sku":null,"price":24228.47,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319705811.jpg?v=1781586712"},{"product_id":"lecture-notes-in-electrical-engineering-9783319698144","title":"Lecture Notes in Electrical Engineering","description":"\u003cp\u003eThis proceedings book gathers papers presented at the 4th International Conference on Advanced Engineering Theory and Applications 2017 (AETA 2017), held on 7-9 December 2017 at Ton Duc Thang University, Ho Chi Minh City, Vietnam. It presents selected papers on 13 topical areas, including robotics, control systems, telecommunications, computer science and more. All selected papers represent interesting ideas and collectively provide a state-of-the-art overview. Readers will find intriguing papers on the design and implementation of control algorithms for aerial and underwater robots, for mechanical systems, efficient protocols for vehicular ad hoc networks, motor control, image and signal processing, energy saving, optimization methods in various fields of electrical engineering, and others. The book also offers a valuable resource for practitioners who want to apply the content discussed to solve real-life problems in their challenging applications. It also addresses common and related subjects in modern electric, electronic and related technologies. As such, it will benefit all scientists and engineers working in the above-mentioned fields of application.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916036436247,"sku":null,"price":33676.89,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319698144.jpg?v=1781587509"},{"product_id":"lecture-notes-in-computer-science-9783319600741","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials\/briefings cover probabilistic program analysis, ontologies insoftware engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, \u0026amp;quote;people analytics\u0026amp;quote; in software development, DSLs in robotics, structuredprogram generation techniques, advanced aspects of software refactoring, and name binding in language implementation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916078575895,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319600741.jpg?v=1781587724"},{"product_id":"programming-languages-and-systems-9783030027681","title":"Programming Languages and Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916179337495,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030027681.jpg?v=1781588227"},{"product_id":"lecture-notes-in-computer-science-9783030590253","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916398391575,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030590253.jpg?v=1781590053"},{"product_id":"rewriting-logic-and-its-applications-9783030635954","title":"Rewriting Logic and Its Applications","description":"\u003cp\u003eThis book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916683768087,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030635954.jpg?v=1781591550"},{"product_id":"concise-guide-to-object-oriented-programming-9783030133047","title":"Concise Guide to Object-Oriented Programming","description":"\u003cp\u003eThis engaging textbook provides an accessible introduction to coding and the world of Object-Oriented (OO) programming, using Java as the illustrative programming language. Emphasis is placed on what is most helpful for the first-time coder, in order to develop and understand their knowledge and skills in a way that is relevant and practical. The examples presented in the text demonstrate how skills in OO programming can be used to create applications and programs that have real-world value in daily life.Topics and features: presents an overview of programming and coding, a brief history of programming languages, and a concise introduction to programming in Java using BlueJ; discusses classes and objects, reviews various Java library objects and packages, and introduces the idea of the Application Programming Interface (API); highlights how OO design forms an essential role in producing a useful solution to a problem, and the importance of the concept of class polymorphism; examines what to do when code encounters an error condition, describing the exception handling mechanism and practical measures in defensive coding; investigates the work of arrays and collections, with a particular focus on fixed length arrays, the ArrayList, HashMap and HashSet; describes the basics of building a Graphical User Interface (GUI) using Swing, and the concept of a design pattern; outlines two complete applications, from conceptual design to implementation, illustrating the content covered by the rest of the book; provides code for all examples and projects at an associated website. This concise guide is ideal for the novice approaching OO programming for the first time, whether they are a student of computer science embarking on a one-semester course in this area, or someone learning for the purpose of professional development or self-improvement. The text does not require any prior knowledge of coding, software engineering, OO, or mathematics.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916769489175,"sku":null,"price":4047.97,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030133047.jpg?v=1781592347"},{"product_id":"studies-in-computational-intelligence-9783030115937","title":"Studies in Computational Intelligence","description":"\u003cp\u003eThis book discusses the use of efficient metaheuristic algorithms to solve diverse power system problems, providing an overview of the various aspects of metaheuristic methods to enable readers to gain a comprehensive understanding of the field and of conducting studies on specific metaheuristic algorithms related to power-system applications. By bridging the gap between recent metaheuristic techniques and novel power system methods that benefit from the convenience of metaheuristic methods, it offers power system practitioners who are not metaheuristic computation researchers insights into the techniques, which go beyond simple theoretical tools and have been adapted to solve important problems that commonly arise. On the other hand, members of the metaheuristic computation community learn how power engineering problems can be translated into optimization tasks, and it is also of interest to engineers and application developers. Further, since each chapter can be read independently, the relevant information can be quickly found. Power systems is a multidisciplinary field that addresses the multiple approaches used for design and analysis in areas ranging from signal processing, and electronics to computational intelligence, including the current trend of metaheuristic computation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916775747863,"sku":null,"price":12080.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030115937.jpg?v=1781592423"},{"product_id":"conceptual-modeling-9783319699042","title":"Conceptual Modeling","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52916798456087,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319699042.jpg?v=1781593024"},{"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"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/software-development-engineering-computers.oembed?page=5","provider":"Kitaboo One eStore","version":"1.0","type":"link"}