{"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":"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\/collections\/software-development-engineering-computers.oembed","provider":"Kitaboo One eStore","version":"1.0","type":"link"}