0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (5)
  • R250 - R500 (65)
  • R500+ (5,399)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > General theory of computing > Data structures

Multi-Criteria Decision Making Theory and Applications in Sustainable Healthcare (Hardcover): Mohamed Abdel-Basset, Ripon Kumar... Multi-Criteria Decision Making Theory and Applications in Sustainable Healthcare (Hardcover)
Mohamed Abdel-Basset, Ripon Kumar Chakrabortty, Abduallah Gamal
R4,171 Discovery Miles 41 710 Ships in 12 - 19 working days

Highlights the contributions of different optimization techniques, decision analytics (predictive, prescriptive, and descriptive), multi-criteria decision making "Helps develop intelligent machines to provide solutions to real-world problems, which are not modelled or are too difficult to model mathematically in hospital management systems " Discusses machine learning-based analytics such as GAN networks, autoencoders, computational imaging, quantum computing will be rigorously applied to smart cloud computing Explores evolutionary algorithms that demonstrate their ability as robust approaches to cope with the fundamental steps of image processing, image analysis, and computer vision pipeline (e.g., restoration, segmentation, registration, classification, reconstruction, or tracking), Creates a bridge between Industrial Engineering concepts and Computational Intelligence for designing complex and convoluted hospital management problems

Decision Intelligence - Human-Machine Integration for Decision Making (Hardcover): Miriam O'Callaghan Decision Intelligence - Human-Machine Integration for Decision Making (Hardcover)
Miriam O'Callaghan
R2,967 Discovery Miles 29 670 Ships in 12 - 19 working days

Revealing the flaws in human decision making, this book explores how AI can be used to optimise decisions for improved business outcomes and efficiency, as well as looking ahead into the significant contributions Decision Intelligence (DI) can make to society and the ethical challenges it may raise. Offering an impressive framework of Decision Intelligence (DI), from the theories and concepts used to design autonomous intelligent agents to the technologies that power DI systems and the ways in which companies use decision-making building blocks to build DI solutions that enable businesses to democratise AI, this book provides a systematic approach to AI intelligence and human involvement. Replete with case studies on DI application, as well as wider discussions on the social implications of the technology, this book appeals to both students of AI and data solutions and businesses considering DI adoption.

Algorithmic Mechanism Design for Internet of Things Services Market - Design Incentive Mechanisms to Facilitate the Efficiency... Algorithmic Mechanism Design for Internet of Things Services Market - Design Incentive Mechanisms to Facilitate the Efficiency and Sustainability of IoT Ecosystem (Hardcover, 1st ed. 2022)
Yutao Jiao, Ping Wang, Dusit Niyato
R3,592 Discovery Miles 35 920 Ships in 10 - 15 working days

This book establishes game-theoretical frameworks based on the mechanism design theory and proposes strategy-proof algorithms, to optimally allocate and price the related IoT services, so that the social welfare of IoT ecosystem or the service provider's revenue can be maximized and the IoT service provision can be sustainable. This book is written by experts based on the recent research results on the interaction between the service providers and users in the IoT system. Since the IoT networks are essentially supported by data, communication, and computing resources, the book focuses on three representative IoT services, including the data analytics services, the cloud/fog computing services for blockchain networks, and the wireless powered data crowdsourcing services. Researchers, scientists, and engineers in the field of resource allocation and service management for future IoT ecosystem can benefit from the book. As such, this book provides valuable insights and practical methods, especially the novel deep learning-based mechanism that can be considered in the emerging IoT technology.

Algebraic Modeling of Topological and Computational Structures and Applications - THALES, Athens, Greece, July 1-3, 2015... Algebraic Modeling of Topological and Computational Structures and Applications - THALES, Athens, Greece, July 1-3, 2015 (Hardcover, 1st ed. 2017)
Sofia Lambropoulou, Doros Theodorou, Petros Stefaneas, Louis H. Kauffman
R4,482 Discovery Miles 44 820 Ships in 10 - 15 working days

This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory, number theory) to more applied mathematics (cryptography, algebraic specification of algorithms, dynamical systems) and concrete applications (modeling of polymers and ionic liquids, video, music and medical imaging). The main mathematical focus throughout the book is on algebraic modeling with particular emphasis on braid groups. The research methods include algebraic modeling using topological structures, such as knots, 3-manifolds, classical homotopy groups, and braid groups. The applications address the simulation of polymer chains and ionic liquids, as well as the modeling of natural phenomena via topological surgery. The treatment of computational structures, including finite fields and cryptography, focuses on the development of novel techniques. These techniques can be applied to the design of algebraic specifications for systems modeling and verification. This book is the outcome of a workshop in connection with the research project Thales on Algebraic Modeling of Topological and Computational Structures and Applications, held at the National Technical University of Athens, Greece in July 2015. The reader will benefit from the innovative approaches to tackling difficult questions in topology, applications and interrelated research areas, which largely employ algebraic tools.

Krylov Subspace Methods for Linear Systems - Principles of Algorithms (Hardcover, 1st ed. 2022): Tomohiro Sogabe Krylov Subspace Methods for Linear Systems - Principles of Algorithms (Hardcover, 1st ed. 2022)
Tomohiro Sogabe
R3,596 Discovery Miles 35 960 Ships in 10 - 15 working days

This book focuses on Krylov subspace methods for solving linear systems, which are known as one of the top 10 algorithms in the twentieth century, such as Fast Fourier Transform and Quick Sort (SIAM News, 2000). Theoretical aspects of Krylov subspace methods developed in the twentieth century are explained and derived in a concise and unified way. Furthermore, some Krylov subspace methods in the twenty-first century are described in detail, such as the COCR method for complex symmetric linear systems, the BiCR method, and the IDR(s) method for non-Hermitian linear systems. The strength of the book is not only in describing principles of Krylov subspace methods but in providing a variety of applications: shifted linear systems and matrix functions from the theoretical point of view, as well as partial differential equations, computational physics, computational particle physics, optimizations, and machine learning from a practical point of view. The book is self-contained in that basic necessary concepts of numerical linear algebra are explained, making it suitable for senior undergraduates, postgraduates, and researchers in mathematics, engineering, and computational science. Readers will find it a useful resource for understanding the principles and properties of Krylov subspace methods and correctly using those methods for solving problems in the future.

The Burrows-Wheeler Transform: - Data Compression, Suffix Arrays, and Pattern Matching (Hardcover, 2008 ed.): Donald Adjeroh,... The Burrows-Wheeler Transform: - Data Compression, Suffix Arrays, and Pattern Matching (Hardcover, 2008 ed.)
Donald Adjeroh, Timothy Bell, Amar Mukherjee
R3,081 Discovery Miles 30 810 Ships in 10 - 15 working days

The Burrows-Wheeler Transform is one of the best lossless compression me- ods available. It is an intriguing - even puzzling - approach to squeezing redundancy out of data, it has an interesting history, and it has applications well beyond its original purpose as a compression method. It is a relatively late addition to the compression canon, and hence our motivation to write this book, looking at the method in detail, bringing together the threads that led to its discovery and development, and speculating on what future ideas might grow out of it. The book is aimed at a wide audience, ranging from those interested in learning a little more than the short descriptions of the BWT given in st- dard texts, through to those whose research is building on what we know about compression and pattern matching. The ?rst few chapters are a careful description suitable for readers with an elementary computer science ba- ground (and these chapters have been used in undergraduate courses), but later chapters collect a wide range of detailed developments, some of which are built on advanced concepts from a range of computer science topics (for example, some of the advanced material has been used in a graduate c- puter science course in string algorithms). Some of the later explanations require some mathematical sophistication, but most should be accessible to those with a broad background in computer science.

Adaptive Resonance Theory in Social Media Data Clustering - Roles, Methodologies, and Applications (Hardcover, 1st ed. 2019):... Adaptive Resonance Theory in Social Media Data Clustering - Roles, Methodologies, and Applications (Hardcover, 1st ed. 2019)
Lei Meng, Ah-Hwee Tan, Donald C. Wunsch II
R2,879 Discovery Miles 28 790 Ships in 10 - 15 working days

Social media data contains our communication and online sharing, mirroring our daily life. This book looks at how we can use and what we can discover from such big data: Basic knowledge (data & challenges) on social media analytics Clustering as a fundamental technique for unsupervised knowledge discovery and data mining A class of neural inspired algorithms, based on adaptive resonance theory (ART), tackling challenges in big social media data clustering Step-by-step practices of developing unsupervised machine learning algorithms for real-world applications in social media domain Adaptive Resonance Theory in Social Media Data Clustering stands on the fundamental breakthrough in cognitive and neural theory, i.e. adaptive resonance theory, which simulates how a brain processes information to perform memory, learning, recognition, and prediction. It presents initiatives on the mathematical demonstration of ART's learning mechanisms in clustering, and illustrates how to extend the base ART model to handle the complexity and characteristics of social media data and perform associative analytical tasks. Both cutting-edge research and real-world practices on machine learning and social media analytics are included in the book and if you wish to learn the answers to the following questions, this book is for you: How to process big streams of multimedia data? How to analyze social networks with heterogeneous data? How to understand a user's interests by learning from online posts and behaviors? How to create a personalized search engine by automatically indexing and searching multimodal information resources? .

First Course in Algorithms Through Puzzles (Hardcover, 1st ed. 2019): Ryuhei Uehara First Course in Algorithms Through Puzzles (Hardcover, 1st ed. 2019)
Ryuhei Uehara
R1,398 Discovery Miles 13 980 Ships in 10 - 15 working days

This textbook introduces basic algorithms and explains their analytical methods. All algorithms and methods introduced in this book are well known and frequently used in real programs. Intended to be self-contained, the contents start with the basic models, and no prerequisite knowledge is required. This book is appropriate for undergraduate students in computer science, mathematics, and engineering as a textbook, and is also appropriate for self-study by beginners who are interested in the fascinating field of algorithms. More than 40 exercises are distributed throughout the text, and their difficulty levels are indicated. Solutions and comments for all the exercises are provided in the last chapter. These detailed solutions will enable readers to follow the author's steps to solve problems and to gain a better understanding of the contents. Although details of the proofs and the analyses of algorithms are also provided, the mathematical descriptions in this book are not beyond the range of high school mathematics. Some famous real puzzles are also used to describe the algorithms. These puzzles are quite suitable for explaining the basic techniques of algorithms, which show how to solve these puzzles.

Application of Intelligent Control Algorithms to Study the Dynamics of Hybrid Power System (Hardcover, 1st ed. 2022): Dipayan... Application of Intelligent Control Algorithms to Study the Dynamics of Hybrid Power System (Hardcover, 1st ed. 2022)
Dipayan Guha, Provas Kumar Roy, Subrata Banerjee, Shubhi Purwar
R4,237 Discovery Miles 42 370 Ships in 12 - 19 working days

This book aims to systematically review and design different intelligent control algorithms for the small-signal stability assessment of HPS. With the growing consciousness of global warming and the fast depletion of natural power generation resources, the existing power system is on the verge of transitions to a "hybrid power system (HPS)" integrated with distributed energy resources. The recent results and requirements for the developments of intelligent control algorithms have motivated the authors to introduce this book for extensively analyzing the performance of HPS against unknown/uncertain disturbances. This book introduces fractional-order resilient control methodologies for arresting small-signal instability of HPS. The prospective investigation has been performed on the MATLAB platform. This book is helpful for undergraduate, postgraduate students, and research scholars working in power system stability, control applications, and soft computing in particular.

Big Data and Public Policy - Course, Content and Outcome (Hardcover, 1st ed. 2022): Rebecca Moody, Victor Bekkers Big Data and Public Policy - Course, Content and Outcome (Hardcover, 1st ed. 2022)
Rebecca Moody, Victor Bekkers
R3,878 Discovery Miles 38 780 Ships in 12 - 19 working days

This book provides a comprehensive overview of how the course, content and outcome of policy making is affected by big data. It scrutinises the notion that big and open data makes policymaking a more rational process, in which policy makers are able to predict, assess and evaluate societal problems. It also examines how policy makers deal with big data, the problems and limitations they face, and how big data shapes policymaking on the ground. The book considers big data from various perspectives, not just the political, but also the technological, legal, institutional and ethical dimensions. The potential of big data use in the public sector is also assessed, as well as the risks and dangers this might pose. Through several extended case studies, it demonstrates the dynamics of big data and public policy. Offering a holistic approach to the study of big data, this book will appeal to students and scholars of public policy, public administration and data science, as well as those interested in governance and politics.

Proceedings of the International Conference on Paradigms of Communication, Computing and Data Sciences - PCCDS 2021 (Hardcover,... Proceedings of the International Conference on Paradigms of Communication, Computing and Data Sciences - PCCDS 2021 (Hardcover, 1st ed. 2022)
Mohit Dua, Ankit Kumar Jain, Anupam Yadav, Nitin Kumar, Patrick Siarry
R5,782 Discovery Miles 57 820 Ships in 10 - 15 working days

This book gathers selected high-quality research papers presented at the International Conference on Paradigms of Communication, Computing and Data Sciences (PCCDS 2021), held at the National Institute of Technology, Kurukshetra, India, during May 07-09, 2021. It discusses high-quality and cutting-edge research in the areas of advanced computing, communications, and data science techniques. The book is a collection of latest research articles in computation algorithm, communication, and data sciences, intertwined with each other for efficiency.

A Textbook of Data Structures and Algorithms Volum e 2: Mastering Nonlinear Data Structures (Hardcover): Vijayalakshmi P A Textbook of Data Structures and Algorithms Volum e 2: Mastering Nonlinear Data Structures (Hardcover)
Vijayalakshmi P
R3,885 R3,617 Discovery Miles 36 170 Save R268 (7%) Ships in 12 - 19 working days
Cluster Analysis and Applications (Hardcover, 1st ed. 2021): Rudolf Scitovski, Kristian Sabo, Francisco Martinez Alvarez, Sime... Cluster Analysis and Applications (Hardcover, 1st ed. 2021)
Rudolf Scitovski, Kristian Sabo, Francisco Martinez Alvarez, Sime Ungar
R1,918 Discovery Miles 19 180 Ships in 10 - 15 working days

With the development of Big Data platforms for managing massive amount of data and wide availability of tools for processing these data, the biggest limitation is the lack of trained experts who are qualified to process and interpret the results. This textbook is intended for graduate students and experts using methods of cluster analysis and applications in various fields. Suitable for an introductory course on cluster analysis or data mining, with an in-depth mathematical treatment that includes discussions on different measures, primitives (points, lines, etc.) and optimization-based clustering methods, Cluster Analysis and Applications also includes coverage of deep learning based clustering methods. With clear explanations of ideas and precise definitions of concepts, accompanied by numerous examples and exercises together with Mathematica programs and modules, Cluster Analysis and Applications may be used by students and researchers in various disciplines, working in data analysis or data science.

Optimal Decision Making in Operations Research and Statistics - Methodologies and Applications (Hardcover): Irfan Ali, Leopoldo... Optimal Decision Making in Operations Research and Statistics - Methodologies and Applications (Hardcover)
Irfan Ali, Leopoldo Eduardo Cardenas-Barron, Aquil Ahmed, Ali Akbar Shaikh
R6,632 Discovery Miles 66 320 Ships in 9 - 17 working days

Provides sound knowledge of optimal decision making in statistics and operations research problems. Serves a quick reference by exploring the research literature on the subject with commercial value-added research applications in statistics and operations research. Provides sound knowledge of optimisations and statistical techniques in modelling of real-world problems. Reviews recent developments and contributions in optimal decision-making problems using optimisation and statistical techniques. Provides an understanding of formulations of decision-making problems and their solution procedures. Describes latest developments in modelling of real-world problems and their solution approaches.

Groups and Interaction (Hardcover): Binxing Fang, Yan Jia Groups and Interaction (Hardcover)
Binxing Fang, Yan Jia; Contributions by Publishing House of Electronics Industry
R3,007 R2,360 Discovery Miles 23 600 Save R647 (22%) Ships in 10 - 15 working days

The three volume set provides a systematic overview of theories and technique on social network analysis.Volume 2 of the set mainly focuses on the formation and interaction of group behaviors. Users' behavior analysis, sentiment analysis, influence analysis and collective aggregation are discussed in detail as well. It is an essential reference for scientist and professionals in computer science.

Computational Statistical Methodologies and Modeling for Artificial Intelligence (Hardcover): Priyanka Harjule, Azizur Rahman,... Computational Statistical Methodologies and Modeling for Artificial Intelligence (Hardcover)
Priyanka Harjule, Azizur Rahman, Basant Agarwal, Vinita Tiwari
R4,652 Discovery Miles 46 520 Ships in 12 - 19 working days

This book covers computational statistics-based approaches for Artificial Intelligence. The aim of this book is to provide comprehensive coverage of the fundamentals through the applications of the different kinds of mathematical modelling and statistical techniques and describing their applications in different Artificial Intelligence systems. The primary users of this book will include researchers, academicians, postgraduate students, and specialists in the areas of data science, mathematical modelling, and Artificial Intelligence. It will also serve as a valuable resource for many others in the fields of electrical, computer, and optical engineering. The key features of this book are: Presents development of several real-world problem applications and experimental research in the field of computational statistics and mathematical modelling for Artificial Intelligence Examines the evolution of fundamental research into industrialized research and the transformation of applied investigation into real-time applications Examines the applications involving analytical and statistical solutions, and provides foundational and advanced concepts for beginners and industry professionals Provides a dynamic perspective to the concept of computational statistics for analysis of data and applications in intelligent systems with an objective of ensuring sustainability issues for ease of different stakeholders in various fields Integrates recent methodologies and challenges by employing mathematical modeling and statistical techniques for Artificial Intelligence

Algorithms and Applications - ALAP 2018 (Hardcover, 1st ed. 2018): Sajal K. Das, Nabendu Chaki Algorithms and Applications - ALAP 2018 (Hardcover, 1st ed. 2018)
Sajal K. Das, Nabendu Chaki
R5,086 Discovery Miles 50 860 Ships in 10 - 15 working days

This book presents the proceedings of the Conference on Algorithms and Applications (ALAP 2018), which focuses on various areas of computing, like distributed systems and security, big data and analytics and very-large-scale integration (VLSI) design. The book provides solutions to a broad class of problems in diverse areas of algorithms in our daily lives in a world designed for, and increasingly controlled by algorithms. Written by eminent personalities from academia and industry, the papers included offer insights from a number of perspectives, providing an overview of the state of the art in the field. The book consists of invited talks by respected speakers, papers presented in technical sessions, and tutorials to offer ideas, results, work-in-progress and experiences of various algorithmic aspects of computational science and engineering.

Smart Structures in Energy Infrastructure - Proceedings of ICRTE 2021, Volume 2 (Hardcover, 1st ed. 2022): Anita Khosla, Monika... Smart Structures in Energy Infrastructure - Proceedings of ICRTE 2021, Volume 2 (Hardcover, 1st ed. 2022)
Anita Khosla, Monika Aggarwal
R6,326 Discovery Miles 63 260 Ships in 10 - 15 working days

This book gathers selected high-quality research papers presented at International Conference on Renewable Technologies in Engineering (ICRTE 2021) organized by Manav Rachna International Institute of Research & Studies, Faridabad, Haryana, India, during 15-16 April 2021. The book includes conference papers on the theme "Computational Techniques for Renewable Energy Optimization", which aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of renewable energy integration, planning, control and optimization. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends and concerns as well as practical challenges encountered and solutions adopted in the fields of smart structures in energy infrastructure.

Practical Artificial Intelligence for Internet of Medical Things - Emerging Trends, Issues, and Challenges (Hardcover): Ben... Practical Artificial Intelligence for Internet of Medical Things - Emerging Trends, Issues, and Challenges (Hardcover)
Ben Othman Soufiene, Chinmay Chakraborty, Faris A. Almalki
R4,023 Discovery Miles 40 230 Ships in 12 - 19 working days

Focuses on the Internet of Healthcare Things and innovative solutions developed for use in the application of healthcare services Discusses artificial intelligence applications, experiments, core concepts, and cutting-edge themes Demonstrates new approaches to analysing medical data and identifying ailments using AI to improve overall quality of life Introduces fundamental concepts for designing the Internet of Healthcare Things solutions Includes pertinent case studies and applications

Numerical Integration - Recent Developments, Software and Applications (Hardcover, 1987 ed.): Patrick Keast, Graeme. Fairweather Numerical Integration - Recent Developments, Software and Applications (Hardcover, 1987 ed.)
Patrick Keast, Graeme. Fairweather
R5,815 Discovery Miles 58 150 Ships in 10 - 15 working days

This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop entitled 'Numerical Integration: Recent Developments, Software and Applications', held at Dalhousie University, Halifax, Canada, August 11-15, 1986. The Workshop was attended by thirty-six scientists from eleven NATO countries. Thirteen invited lectures and twenty-two contributed lectures were presented, of which twenty-five appear in full in this volume, together with extended abstracts of the remaining ten. It is more than ten years since the last workshop of this nature was held, in Los Alamos in 1975. Many developments have occurred in quadrature in the intervening years, and it seemed an opportune time to bring together again researchers in this area. The development of QUADPACK by Piessens, de Doncker, Uberhuber and Kahaner has changed the focus of research in the area of one dimensional quadrature from the construction of new rules to an emphasis on reliable robust software. There has been a dramatic growth in interest in the testing and evaluation of software, stimulated by the work of Lyness and Kaganove, Einarsson, and Piessens. The earlier research of Patterson into Kronrod extensions of Gauss rules, followed by the work of Monegato, and Piessens and Branders, has greatly increased interest in Gauss-based formulas for one-dimensional integration.

Quantum Computation (Hardcover): Helmut Bez, Tony Croft Quantum Computation (Hardcover)
Helmut Bez, Tony Croft
R2,526 Discovery Miles 25 260 Ships in 12 - 19 working days

A more accessible approach than most competitor texts, which move into advanced, research-level topics too quickly for today's students. Part I is comprehensive in providing all necessary mathematical underpinning, particularly for those who need more opportunity to develop their mathematical competence. More confident students may move directly to Part II and dip back into Part I as a reference. Ideal for use as an introductory text for courses in quantum computing. Fully worked examples illustrate the application of mathematical techniques. Exercises throughout develop concepts and enhance understanding. End-of-chapter exercises offer more practice in developing a secure foundation.

Digital Intermediation - Unseen Infrastructure for Cultural Production (Hardcover): Jonathon Hutchinson Digital Intermediation - Unseen Infrastructure for Cultural Production (Hardcover)
Jonathon Hutchinson
R4,163 Discovery Miles 41 630 Ships in 12 - 19 working days

Digital Intermediation offers a new framework for understanding content creation and distribution across automated media platforms - a new mediatisation process. The book draws on empirical and theoretical research to carefully identify and describe a number of unseen digital infrastructures that contribute to a predictive media production process through technologies, institutions and automation. Field data is drawn from several international sites, including Los Angeles, San Francisco, Portland, London, Amsterdam, Munich, Berlin, Hamburg, Sydney and Cartagena. By highlighting an increasingly automated content production and distribution process, the book responds to a number of regulatory debates on the societal impact of social media platforms. It highlights emerging areas of key importance that shape the production and distribution of social media content, including micro-platformization and digital first personalities. The book explains how technologies, institutions and automation are used within agencies to increase exposure for the talent they manage, while providing inside access to the processes and requirements of producers who create content for platform algorithms. Finally, it outlines user agency as a strategy for those who seek diversity in the information they access on automated social media content distribution platforms. The findings in this book provide key recommendations for policymakers working within digital media platforms, and will be invaluable reading for students and academics interested in automated media environments.

Artificial Intelligence for Disease Diagnosis and Prognosis in Smart Healthcare (Hardcover): S. M. Riazul Islam, Faisal Tariq,... Artificial Intelligence for Disease Diagnosis and Prognosis in Smart Healthcare (Hardcover)
S. M. Riazul Islam, Faisal Tariq, Ghita Kouadri Mostefaoui
R2,968 Discovery Miles 29 680 Ships in 12 - 19 working days

Features In-depth coverage of the role of AI in smart healthcare. Research guideline for AI and data science researchers/practitioners interested in the healthcare sector. Comprehensive coverage on security and privacy issues for AI in smart healthcare.

Algorithm Design: A Methodological Approach - 150 problems and detailed solutions (Hardcover): Patrick Bosc, Marc Guyomard,... Algorithm Design: A Methodological Approach - 150 problems and detailed solutions (Hardcover)
Patrick Bosc, Marc Guyomard, Laurent Miclet
R3,664 Discovery Miles 36 640 Ships in 12 - 19 working days

A best-seller in its French edition, the construction of this book is original and its success in the French market demonstrates its appeal. It is based on three principles: 1. An organization of the chapters by families of algorithms : exhaustive search, divide and conquer, etc. At the contrary, there is no chapter only devoted to a systematic exposure of, say, algorithms on strings. Some of these will be found in different chapters. 2. For each family of algorithms, an introduction is given to the mathematical principles and the issues of a rigorous design, with one or two pedagogical examples. 3. For its most part, the book details 150 problems, spanning on seven families of algorithms. For each problem, a precise and progressive statement is given. More important, a complete solution is detailed, with respect to the design principles that have been presented ; often, some classical errors are pointed at. Roughly speaking, two thirds of the book are devoted to the detailed rational construction of the solutions.

Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016): Daniel Kroening, Ofer Strichman Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016)
Daniel Kroening, Ofer Strichman
R2,464 R1,750 Discovery Miles 17 500 Save R714 (29%) Ships in 12 - 19 working days

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Microfinance and Sustainable Development…
Yahaya Alhassan, Uzoechi Nwagbara Hardcover R5,784 Discovery Miles 57 840
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
Questions On SA Tax 2024
Shaun Parsons Paperback R380 Discovery Miles 3 800
Fractional Order Systems - Optimization…
Ahmad Taher Azar, Ahmed G Radwan, … Paperback R4,976 R4,616 Discovery Miles 46 160
The Evolution of Consciousness…
Paula Droege Hardcover R3,201 Discovery Miles 32 010
Tools and Algorithms for the…
Bernhard Steffen, Fabrice Kordon, … Hardcover R1,552 Discovery Miles 15 520
Renegades - Born In The USA
Barack Obama, Bruce Springsteen Hardcover  (1)
R1,125 R945 Discovery Miles 9 450
Principles, Methodologies, and…
Xiaoyu Yang, Lu Liu Hardcover R5,143 Discovery Miles 51 430
NextGen Network Synchronization
Dhiman Deb Chowdhury Hardcover R2,871 Discovery Miles 28 710
A Framework of Software Measurement
Horst Zuse Hardcover R5,687 R4,401 Discovery Miles 44 010

 

Partners