{"title":"Programming (Computers)","description":"","products":[{"product_id":"agile-testing-9780511698712","title":"Agile Testing","description":"\u003cp\u003eThis book provides practical guidance for professionals, practitioners, and researchers faced with creating and rolling out their own agile testing processes.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52813627064599,"sku":null,"price":7561.68,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9780511698712.jpg?v=1780651682"},{"product_id":"economic-foundations-of-symmetric-programming-9780511862052","title":"Economic Foundations of Symmetric Programming","description":"\u003cp\u003eThis book on symmetric programming is for graduate students who have already taken a graduate course in microeconomic theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52813737427223,"sku":null,"price":6208.96,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9780511862052.jpg?v=1780653636"},{"product_id":"cambridge-tracts-in-theoretical-computer-science-9781107241312","title":"Cambridge Tracts in Theoretical Computer Science","description":"\u003cp\u003eThe first detailed account of the basic theory and applications of nominal sets.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825133089047,"sku":null,"price":7696.71,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107241312.jpg?v=1780655492"},{"product_id":"ml-for-the-working-programmer-9781107263772","title":"ML for the Working Programmer","description":"\u003cp\u003eThis new edition of a successful text treats modules in more depth, and covers the revision of ML language.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825135350039,"sku":null,"price":8773.54,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107263772.jpg?v=1780655541"},{"product_id":"modern-compiler-implementation-in-ml-9781107263826","title":"Modern Compiler Implementation in ML","description":"\u003cp\u003eDescribes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825135513879,"sku":null,"price":9313.45,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107263826.jpg?v=1780655545"},{"product_id":"modern-compiler-implementation-in-c-9781107263840","title":"Modern Compiler Implementation in C","description":"\u003cp\u003eDescribes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52825135612183,"sku":null,"price":9583.4,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107263840.jpg?v=1780655550"},{"product_id":"practical-foundations-for-programming-languages-9781107301757","title":"Practical Foundations for Programming Languages","description":"\u003cp\u003eThis book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52826292191511,"sku":null,"price":7425.3,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107301757.jpg?v=1780656086"},{"product_id":"fundamentals-of-stream-processing-9781107424005","title":"Fundamentals of Stream Processing","description":"\u003cp\u003eThis book teaches fundamentals of stream processing, covering application design, distributed systems infrastructure, and continuous analytic algorithms.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52827079966999,"sku":null,"price":12282.95,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781107424005.jpg?v=1780656718"},{"product_id":"introduction-to-property-testing-9781108152129","title":"Introduction to Property Testing","description":"\u003cp\u003eAn extensive and authoritative introduction to property testing, the study of super-fast algorithms for analyzing large quantities of data.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52828094955799,"sku":null,"price":11608.06,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108152129_63c744a6-d062-4b96-b552-f487dcb19d31.jpg?v=1780659425"},{"product_id":"art-of-feature-engineering-9781108571647","title":"Art of Feature Engineering","description":"\u003cp\u003eA practical guide for data scientists who want to improve the performance of any machine learning solution with feature engineering.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52833777221911,"sku":null,"price":6208.96,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108571647.jpg?v=1780661714"},{"product_id":"just-algorithms-9781108996808","title":"Just Algorithms","description":"\u003cp\u003eProperly developed algorithms can reduce incarceration and help policymakers adopt more legally sophisticated bail and sentencing practices.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52865620803863,"sku":null,"price":4589.24,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781108996808.jpg?v=1780897683"},{"product_id":"aspect-oriented-model-driven-software-product-lines-9781139124560","title":"Aspect-Oriented, Model-Driven Software Product Lines","description":"\u003cp\u003eAuthoritative treatment of software product line engineering for students and practitioners alike.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52866921791767,"sku":null,"price":7830.39,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139124560_f83c4e47-b495-424a-a50a-2a506e1603a7.jpg?v=1780899208"},{"product_id":"pearls-of-functional-algorithm-design-9781139234788","title":"Pearls of Functional Algorithm Design","description":"\u003cp\u003eThis book takes a radical approach to algorithm design, namely, design by calculation.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52867448930583,"sku":null,"price":7966.77,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139234788.jpg?v=1780899824"},{"product_id":"mobile-pastoralism-and-the-formation-of-near-eastern-civilizations-9781139333979","title":"Mobile Pastoralism and the Formation of Near Eastern Civilizations","description":"\u003cp\u003eThis book explores the roles of mobile and sedentary members of the ancient world in ancient Mesopotamia.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52867472982295,"sku":null,"price":5131.14,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139333979.jpg?v=1780899902"},{"product_id":"purely-functional-data-structures-9781139636353","title":"Purely Functional Data Structures","description":"\u003cp\u003eThis book describes data structures and data structure design techniques for functional languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870813712663,"sku":null,"price":6346.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139636353.jpg?v=1780900862"},{"product_id":"algorithms-on-strings-trees-and-sequences-9781139636285","title":"Algorithms on Strings, Trees, and Sequences","description":"\u003cp\u003eThis book describes a range of string problems in computer science and molecular biology and the algorithms developed to solve them.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870814794007,"sku":null,"price":11207.49,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139636285.jpg?v=1780900867"},{"product_id":"lisp-in-small-pieces-9781139636209","title":"Lisp in Small Pieces","description":"\u003cp\u003eThis will become the new standard reference for people wanting to know about the Lisp family of languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870815121687,"sku":null,"price":12422.76,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139636209.jpg?v=1780900874"},{"product_id":"concepts-in-programming-languages-9781139636797","title":"Concepts in Programming Languages","description":"\u003cp\u003eA comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870818005271,"sku":null,"price":9992.22,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139636797.jpg?v=1780900933"},{"product_id":"modern-compiler-implementation-in-java-9781139637015","title":"Modern Compiler Implementation in Java","description":"\u003cp\u003eThe second edition features a redesigned compiler project in Java, for a subset of Java itself.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52870818824471,"sku":null,"price":10123.31,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637015.jpg?v=1780900949"},{"product_id":"how-to-think-about-algorithms-9781139637268","title":"How to Think About Algorithms","description":"\u003cp\u003eTextbook that teaches students how to think about algorithms like an expert, without getting bogged down in formal proof.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871237599511,"sku":null,"price":5399.85,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139637268.jpg?v=1780901494"},{"product_id":"object-primer-9781139813860","title":"Object Primer","description":"\u003cp\u003eThe acclaimed beginner''s book on object technology now presents UML 2.0, Agile Modeling, and object development techniques.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871457800471,"sku":null,"price":8371.86,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139813860.jpg?v=1780901752"},{"product_id":"data-structures-and-algorithms-using-c-9781139814201","title":"Data Structures and Algorithms Using C#","description":"\u003cp\u003eFirst comprehensive tutorial and reference for C# implementation of data structures and algorithms.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871660405015,"sku":null,"price":6343.94,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139814201.jpg?v=1780901897"},{"product_id":"programming-in-visual-basic-2010-9781139814263","title":"Programming in Visual Basic 2010","description":"\u003cp\u003eAn introduction to programming using Microsoft''s Visual Basic.NET 2010 for anyone with little or no programming experience.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52871664664855,"sku":null,"price":7696.71,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139814263.jpg?v=1780901900"},{"product_id":"theories-of-programming-languages-9781139930550","title":"Theories of Programming Languages","description":"\u003cp\u003eThis text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872598749463,"sku":null,"price":8773.54,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139930550.jpg?v=1780902768"},{"product_id":"planning-algorithms-9781139931342","title":"Planning Algorithms","description":"\u003cp\u003eA coherent source for applications including robotics, computational biology, graphics, manufacturing, aerospace applications and medicine.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872610087191,"sku":null,"price":13232.94,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139931342.jpg?v=1780902803"},{"product_id":"p-np-and-np-completeness-9781139929776","title":"P, NP, and NP-Completeness","description":"\u003cp\u003eStarting from the basics of computability, this undergraduate introduction focuses on the P versus NP Question and the theory of NP-completeness.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52872616083735,"sku":null,"price":5671.26,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781139929776.jpg?v=1780902828"},{"product_id":"principles-of-automated-negotiation-9781316053478","title":"Principles of Automated Negotiation","description":"\u003cp\u003eTop researchers investigate the main challenges and state of the art in automated negotiation and discuss potential applications.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874356916503,"sku":null,"price":7153.81,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316053478.jpg?v=1780903354"},{"product_id":"term-rewriting-and-all-that-9781316098752","title":"Term Rewriting and All That","description":"\u003cp\u003eUnified and self-contained introduction to term-rewriting; suited for students or professionals.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874580558103,"sku":null,"price":7558.74,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316098752.jpg?v=1780903536"},{"product_id":"thinking-functionally-with-haskell-9781316189986","title":"Thinking Functionally with Haskell","description":"\u003cp\u003eThis book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52874827890967,"sku":null,"price":6613.9,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316189986.jpg?v=1780904078"},{"product_id":"algorithms-and-models-for-network-data-and-link-analysis-9781316711941","title":"Algorithms and Models for Network Data and Link Analysis","description":"\u003cp\u003eA hands-on, entry-level guide to algorithms for extracting information about social and economic behavior from network data.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887510712599,"sku":null,"price":12147.98,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316711941.jpg?v=1780906239"},{"product_id":"cambridge-tracts-in-theoretical-computer-science-9781316727164","title":"Cambridge Tracts in Theoretical Computer Science","description":"\u003cp\u003eA comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887511564567,"sku":null,"price":15792.37,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316727164.jpg?v=1780906266"},{"product_id":"compact-data-structures-9781316789568","title":"Compact Data Structures","description":"\u003cp\u003eThis practical, applications-oriented book describes essential tools for efficiently handling massive amounts of data.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52887577985303,"sku":null,"price":10663.22,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9781316789568.jpg?v=1780906792"},{"product_id":"texts-in-computer-science-9783030048792","title":"Texts in Computer Science","description":"\u003cp\u003eThis classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models.Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (attribute grammars), and static program analysis by data flow equations; introduces an efficient method for string matching and parsing suitable for ambiguous regular expressions (NEW); presents a focus on extended BNF grammars with their general parser and with LR(1) and LL(1) parsers (NEW); introduces a parallel parsing algorithm that exploits multiple processing threads to speed up syntax analysis of large files; discusses recent formal models of input-driven automata and languages (NEW); includes extensive use of theoretical models of automata, transducers and formal grammars, and describes all algorithms in pseudocode; contains numerous illustrative examples, and supplies a large set of exercises with solutions at an associated website.Advanced undergraduate and graduate students of computer science will find this reader-friendly textbook to be an invaluable guide to the essential concepts of syntax-directed compilation. The fundamental paradigms of language structures are elegantly explained in terms of the underlying theory, without requiring the use of software tools or knowledge of implementation, and through algorithms simple enough to be practiced by paper and pencil.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894019846423,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030048792.jpg?v=1781256639"},{"product_id":"lecture-notes-in-computer-science-9783030047719","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894026596631,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030047719.jpg?v=1781256649"},{"product_id":"context-aware-machine-learning-and-mobile-data-analytics-9783030885304","title":"Context-Aware Machine Learning and Mobile Data Analytics","description":"\u003cp\u003eThis book offers a clear understanding of the concept of context-aware machine learning including an automated rule-based framework within the broad area of data science and analytics, particularly, with the aim of data-driven intelligent decision making. Thus, we have bestowed a comprehensive study on this topic that explores multi-dimensional contexts in machine learning modeling, context discretization with time-series modeling, contextual rule discovery and predictive analytics, recent-pattern or rule-based behavior modeling, and their usefulness in various context-aware intelligent applications and services. The presented machine learning-based techniques can be employed in a wide range of real-world application areas ranging from personalized mobile services to security intelligence, highlighted in the book. As the interpretability of a rule-based system is high, the automation in discovering rules from contextual raw data can make this book more impactful for the applicationdevelopers as well as researchers. Overall, this book provides a good reference for both academia and industry people in the broad area of data science, machine learning, AI-Driven computing, human-centered computing and personalization, behavioral analytics, IoT and mobile applications, and cybersecurity intelligence.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52894378524951,"sku":null,"price":16129.82,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030885304.jpg?v=1781257385"},{"product_id":"lecture-notes-in-computer-science-9783319296289","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911039643927,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319296289.jpg?v=1781259056"},{"product_id":"reinforcement-learning-algorithms-analysis-and-applications-9783030411886","title":"Reinforcement Learning Algorithms: Analysis and Applications","description":"\u003cp\u003eThis book reviews research developments in diverse areas of reinforcement learning such as model-free actor-critic methods, model-based learning and control, information geometry of policy searches, reward design, and exploration in biology and the behavioral sciences. Special emphasis is placed on advanced ideas, algorithms, methods, and applications. The contributed papers gathered here grew out of a lecture course on reinforcement learning held by Prof. Jan Peters in the winter semester 2018\/2019 at Technische Universität Darmstadt. The book is intended for reinforcement learning students and researchers with a firm grasp of linear algebra, statistics, and optimization. Nevertheless, all key concepts are introduced in each chapter, making the content self-contained and accessible to a broader audience.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911076638999,"sku":null,"price":17479.59,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030411886.jpg?v=1781259345"},{"product_id":"reliability-safety-and-security-of-railway-systems-modelling-analysis-verification-and-certification-9783030187446","title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911114813719,"sku":null,"price":6747.52,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030187446.jpg?v=1781259947"},{"product_id":"formal-methods-9783319955827","title":"Formal Methods","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911118483735,"sku":null,"price":10730.72,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319955827.jpg?v=1781260051"},{"product_id":"computational-color-imaging-9783319560106","title":"Computational Color Imaging","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 6th Computational Color Imaging Workshop, CCIW 2017, held in Milano, Italy, in March 2017. The 23 full papers, including 4 tutorials and 3 invited papers, accepted were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on color image processing; color image quality; color in digital cultural heritage; spectral imaging; color characterization; color image analysis.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911152365847,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319560106.jpg?v=1781261675"},{"product_id":"guide-to-assembly-language-9783030356392","title":"Guide to Assembly Language","description":"\u003cp\u003eThis concise guide is designed to enable the reader to learn how to program in assembly language as quickly as possible. Through a hands-on programming approach, readers will also learn about the architecture of the Intel processor, and the relationship between high-level and low-level languages. This updated second edition has been expanded with additional exercises, and enhanced with new material on floating-point numbers and 64-bit processing.Topics and features: provides guidance on simplified register usage, simplified input\/output using C-like statements, and the use of high-level control structures; describes the implementation of control structures, without the use of high-level structures, and often with related C program code; illustrates concepts with one or more complete program; presents review summaries in each chapter, together with a variety of exercises, from short-answer questions to programming assignments; covers selection and iteration structures, logic,shift, arithmetic shift, rotate, and stack instructions, procedures and macros, arrays, and strings; includes an introduction to floating-point instructions and 64-bit processing; examines machine language from a discovery perspective, introducing the principles of computer organization. A must-have resource for undergraduate students seeking to learn the fundamentals necessary to begin writing logically correct programs in a minimal amount of time, this work will serve as an ideal textbook for an assembly language course, or as a supplementary text for courses on computer organization and architecture. The presentation assumes prior knowledge of the basics of programming in a high-level language such as C, C++, or Java.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911186477335,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030356392.jpg?v=1781262816"},{"product_id":"android-malware-detection-using-machine-learning-9783030746643","title":"Android Malware Detection using Machine Learning","description":"\u003cp\u003eThe authors develop a malware fingerprinting framework to cover accurate android malware detection and family attribution in this book. The authors emphasize the following: (1) the scalability over a large malware corpus; (2) the resiliency to common obfuscation techniques; (3) the portability over different platforms and architectures. First, the authors propose an approximate fingerprinting technique for android packaging that captures the underlying static structure of the android applications in the context of bulk and offline detection at the app-market level. This book proposes a malware clustering framework to perform malware clustering by building and partitioning the similarity network of malicious applications on top of this fingerprinting technique. Second, the authors propose an approximate fingerprinting technique that leverages dynamic analysis and natural language processing techniques to generate Android malware behavior reports. Basedon this fingerprinting technique, the authors propose a portable malware detection framework employing machine learning classification. Third, the authors design an automatic framework to produce intelligence about the underlying malicious cyber-infrastructures of Android malware. The authors then leverage graph analysis techniques to generate relevant intelligence to identify the threat effects of malicious Internet activity associated with android malware. The authors elaborate on an effective android malware detection system, in the online detection context at the mobile device level.  It is suitable for deployment on mobile devices, using machine learning classification on method call sequences. Also, it is resilient to common code obfuscation techniques and adaptive to operating systems and malware change overtime, using natural language processing and deep learning techniques. Researchers working in mobile and network security, machine learning and pattern recognition will find this book useful as a reference. Advanced-level students studying computer science within these topic areas will purchase this book as well.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911214690583,"sku":null,"price":20179.14,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030746643.jpg?v=1781263485"},{"product_id":"functional-and-logic-programming-9783030994617","title":"Functional and Logic Programming","description":"\u003cp\u003eThis book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers 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.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911316205847,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030994617.jpg?v=1781267208"},{"product_id":"texts-in-computer-science-9783030545185","title":"Texts in Computer Science","description":"\u003cp\u003eJava is now well-established as one of the world's major programming languages, used in everything from desktop applications to web-hosted applications, enterprise systems and mobile devices. Java applications cover cloud-based services, the Internet of Things, self-driving cars, animation, game development, big data analysis and many more domains.The second edition of Foundational Java: Key Elements and Practical Programming presents a detailed guide to the core features of Java - and some more recent innovations - enabling the reader to build their skills and confidence though tried-and-trusted stages, supported by exercises that reinforce the key learning points. All the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more substantial applications. Use of the Eclipse Integrated Development Environment (IDE) and the JUnit testing framework is integral to the book, ensuring maximum productivity and code quality when learning Java, although to ensure that skills are not confined to one environment the fundamentals of the Java compiler and run time are also explained. Additionally, coverage of the Ant tool will equip the reader with the skills to automatically build, test and deploy applications independent of an IDE.Topics and features:* Presents the most up-to-date information on Java, including Java 14* Examines the key theme of unit testing, introducing the JUnit 5 testing framework to emphasize the importance of unit testing in modern software development* Describes the Eclipse IDE, the most popular open source Java IDE and explains how Java can be run from the command line* Includes coverage of the Ant build tool* Contains numerous code examples and exercises throughout* Provides downloadable source code, self-test questions, PowerPoint slides and other supplementary material at the website http:\/\/www.foundjava.comThis hands-on, classroom-tested textbook\/reference is ideal for undergraduate students on introductory and intermediate courses on programming with Java. Professional software developers will also find this an excellent self-study guide\/refresher on the topic.Dr. David Parsons is National Postgraduate Director at The Mind Lab, Auckland, New Zealand. He has been teaching programming in both academia and industry since the 1980s and writing about it since the 1990s.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911348318487,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030545185.jpg?v=1781268694"},{"product_id":"artificial-intelligence-and-soft-computing-9783030878979","title":"Artificial Intelligence and Soft Computing","description":"\u003cp\u003eThe two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually. The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial intelligence methods and soft computing techniques as well as follows: ·        Neural Networks and Their Applications  ·        Fuzzy Systems and Their Applications  ·        Evolutionary Algorithms and Their Applications  ·        Artificial Intelligence in Modeling and Simulation  ·        Computer Vision, Image and Speech Analysis ·        Data Mining   ·        Various Problems of Artificial Intelligence ·        Bioinformatics, Biometrics and Medical Applications\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911356641559,"sku":null,"price":14780.04,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030878979.jpg?v=1781268901"},{"product_id":"symposium-on-real-time-and-hybrid-systems-9783030014612","title":"Symposium on Real-Time and Hybrid Systems","description":"\u003cp\u003eThis volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing.  Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bjørner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911362801943,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783030014612.jpg?v=1781269059"},{"product_id":"guide-to-data-structures-9783319700854","title":"Guide to Data Structures","description":"\u003cp\u003eThis accessible and engaging textbook\/guide provides a concise introduction to data structures and associated algorithms. Emphasis is placed on the fundamentals of data structures, enabling the reader to quickly learn the key concepts, and providing a strong foundation for later studies of more complex topics. The coverage includes discussions on stacks, queues, lists, (using both arrays and links), sorting, and elementary binary trees, heaps, and hashing. This content is also a natural continuation from the material provided in the separate Springer title Guide to Java by the same authors.Topics and features: reviews the preliminary concepts, and introduces stacks and queues using arrays, along with a discussion of array-based lists; examines linked lists, the implementation of stacks and queues using references, binary trees, a range of varied sorting techniques, heaps, and hashing; presents both primitive and generic data types in each chapter, and makes use of contour diagrams to illustrate object-oriented concepts; includes chapter summaries, and asks the reader questions to help them interact with the material; contains numerous examples and illustrations, and one or more complete program in every chapter; provides exercises at the end of each chapter, as well as solutions to selected exercises, and a glossary of important terms. This clearly-written work is an ideal classroom text for a second semester course in programming using the Java programming language, in preparation for a subsequent advanced course in data structures and algorithms. The book is also eminently suitable as a self-study guide in either academe or industry.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911451832599,"sku":null,"price":7422.41,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319700854.jpg?v=1781270323"},{"product_id":"python-workbook-9783319142401","title":"Python Workbook","description":"\u003cp\u003eWhile other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of academic disciplines and everyday situations. Solutions to selected exercises are also provided, supported by brief annotations that explain the technique used to solve the problem, or highlight specific points of Python syntax. No background knowledge is required to solve the exercises, beyond the material covered in a typical introductory Python programming course. Undergraduate students undergoing their first programming course and wishing to enhance their programming abilities will find the exercises and solutions provided in this book to be ideal for their needs.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911462777111,"sku":null,"price":5397.75,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319142401.jpg?v=1781501438"},{"product_id":"lecture-notes-in-computer-science-9783319635019","title":"Lecture Notes in Computer Science","description":"\u003cp\u003eThis book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52911940043031,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319635019.jpg?v=1781502729"},{"product_id":"model-driven-engineering-and-software-development-9783319663029","title":"Model-Driven Engineering and Software Development","description":"\u003cp\u003eThis book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016. The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.\u003c\/p\u003e","brand":"Gardners","offers":[{"title":"Default Title","offer_id":52912000696599,"sku":null,"price":6072.63,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0679\/6918\/8119\/files\/9783319663029.jpg?v=1781503129"}],"url":"https:\/\/payment.letskitaboo.com\/ur\/collections\/programming-computers.oembed?page=6","provider":"Kitaboo One eStore","version":"1.0","type":"link"}