Your cart

Your cart is empty

Browse All departments
  • R50 - R100 (20)
  • R100 - R250 (2,467)
  • R250 - R500 (3,503)
  • R500+ (37,848)
  • -
Author / Contributor

Books > Computing & IT > General theory of computing

Accounting Information Systems (Paperback, 11th edition): Patrick Wheeler, Ulric Gelinas, Richard Dull Accounting Information Systems (Paperback, 11th edition)
Patrick Wheeler, Ulric Gelinas, Richard Dull
R975 R868 Discovery Miles 8 680 Save R107 (11%) Ships in 10 - 15 working days
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time (Paperback, Ed): O Sami Saydjari Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time (Paperback, Ed)
O Sami Saydjari
R1,295 R1,148 Discovery Miles 11 480 Save R147 (11%) Ships in 7 - 11 working days

Cutting-edge cybersecurity solutions to defend against the most sophisticated attacks This professional guide shows, step by step, how to design and deploy highly secure systems on time and within budget. The book offers comprehensive examples, objectives, and best practices and shows how to build and maintain powerful, cost-effective cybersecurity systems. Readers will learn to think strategically, identify the highest priority risks, and apply advanced countermeasures that address the entire attack space. Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time showcases 35 years of practical engineering experience from an expert whose persuasive vision has advanced national cybersecurity policy and practices. Readers of this book will be prepared to navigate the tumultuous and uncertain future of cyberspace and move the cybersecurity discipline forward by adopting timeless engineering principles, including: *Defining the fundamental nature and full breadth of the cybersecurity problem*Adopting an essential perspective that considers attacks, failures, and attacker mindsets *Developing and implementing risk-mitigating, systems-based solutions*Transforming sound cybersecurity principles into effective architecture and evaluation strategies that holistically address the entire complex attack space

Guide to Disaster-Resilient Communication Networks (Hardcover, 1st ed. 2020): Jacek Rak, David Hutchison Guide to Disaster-Resilient Communication Networks (Hardcover, 1st ed. 2020)
Jacek Rak, David Hutchison
R2,762 Discovery Miles 27 620 Ships in 7 - 11 working days

This authoritative volume presents a comprehensive guide to the evaluation and design of networked systems with improved disaster resilience. The text offers enlightening perspectives on issues relating to all major failure scenarios, including natural disasters, disruptions caused by adverse weather conditions, massive technology-related failures, and malicious human activities. Topics and features: describes methods and models for the analysis and evaluation of disaster-resilient communication networks; examines techniques for the design and enhancement of disaster-resilient systems; provides a range of schemes and algorithms for resilient systems; reviews various advanced topics relating to resilient communication systems; presents insights from an international selection of more than 100 expert researchers working across the academic, industrial, and governmental sectors. This practically-focused monograph, providing invaluable support on topics of resilient networking equipment and software, is an essential reference for network professionals including network and networked systems operators, networking equipment vendors, providers of essential services, and regulators. The work can also serve as a supplementary textbook for graduate and PhD courses on networked systems resilience.

Data Management, Analytics and Innovation - Proceedings of ICDMAI 2020, Volume 2 (Paperback, 1st ed. 2021): Neha Sharma, Amlan... Data Management, Analytics and Innovation - Proceedings of ICDMAI 2020, Volume 2 (Paperback, 1st ed. 2021)
Neha Sharma, Amlan Chakrabarti, Valentina Emilia Balas, Jan Martinovic
R4,689 Discovery Miles 46 890 Ships in 7 - 11 working days

This book presents the latest findings in the areas of data management and smart computing, big data management, artificial intelligence and data analytics, along with advances in network technologies. Gathering peer-reviewed research papers presented at the Fourth International Conference on Data Management, Analytics and Innovation (ICDMAI 2020), held on 17-19 January 2020 at the United Services Institute (USI), New Delhi, India, it addresses cutting-edge topics and discusses challenges and solutions for future development. Featuring original, unpublished contributions by respected experts from around the globe, the book is mainly intended for a professional audience of researchers and practitioners in academia and industry.

Profitability Analysis with SAP S/4HANA (Hardcover, Second Edition): Kathrin Schmalzing Profitability Analysis with SAP S/4HANA (Hardcover, Second Edition)
Kathrin Schmalzing
R1,845 R1,402 Discovery Miles 14 020 Save R443 (24%) Ships in 7 - 11 working days
Proofs from THE BOOK (Hardcover, 6th ed. 2018): Martin Aigner Proofs from THE BOOK (Hardcover, 6th ed. 2018)
Martin Aigner; Illustrated by Karl H. Hofmann; Gunter M. Ziegler
R1,726 Discovery Miles 17 260 Ships in 7 - 11 working days

This revised and enlarged sixth edition of Proofs from THE BOOK features an entirely new chapter on Van der Waerden's permanent conjecture, as well as additional, highly original and delightful proofs in other chapters. From the citation on the occasion of the 2018 "Steele Prize for Mathematical Exposition" "... It is almost impossible to write a mathematics book that can be read and enjoyed by people of all levels and backgrounds, yet Aigner and Ziegler accomplish this feat of exposition with virtuoso style. [...] This book does an invaluable service to mathematics, by illustrating for non-mathematicians what it is that mathematicians mean when they speak about beauty." From the Reviews "... Inside PFTB (Proofs from The Book) is indeed a glimpse of mathematical heaven, where clever insights and beautiful ideas combine in astonishing and glorious ways. There is vast wealth within its pages, one gem after another. ... Aigner and Ziegler... write: "... all we offer is the examples that we have selected, hoping that our readers will share our enthusiasm about brilliant ideas, clever insights and wonderful observations." I do. ... " Notices of the AMS, August 1999 "... This book is a pleasure to hold and to look at: ample margins, nice photos, instructive pictures and beautiful drawings ... It is a pleasure to read as well: the style is clear and entertaining, the level is close to elementary, the necessary background is given separately and the proofs are brilliant. ..." LMS Newsletter, January 1999 "Martin Aigner and Gunter Ziegler succeeded admirably in putting together a broad collection of theorems and their proofs that would undoubtedly be in the Book of Erdoes. The theorems are so fundamental, their proofs so elegant and the remaining open questions so intriguing that every mathematician, regardless of speciality, can benefit from reading this book. ... " SIGACT News, December 2011

Systems Development Handbook, Fourth Edition (Hardcover, 2nd New edition): Paul C. Tinnirello Systems Development Handbook, Fourth Edition (Hardcover, 2nd New edition)
Paul C. Tinnirello
R4,410 R1,539 Discovery Miles 15 390 Save R2,871 (65%) Ships in 10 - 15 working days

The Systems Development Handbook provides practical guidance for the r ange of new applications problems, featuring contributions from many i ndustry experts. The book provides step-by-step charts, tables, schema tics, and a comprehensive index for easy access to topics and areas of related interest. Topics include cooperative processing; the transiti on to object-oriented development; rapid application development tools and graphical user interfaces (GUIs); database architecture in distri buted computing; development tools and techniques, including design, m easurement, and production; and more.

Research of New Trends in Informational Technologies (Paperback): Tamar Lominadze, Ivane Gorgidze Research of New Trends in Informational Technologies (Paperback)
Tamar Lominadze, Ivane Gorgidze
R1,655 Discovery Miles 16 550 Ships in 10 - 15 working days

This book aims to represent the research results in the field of Informational Technology. This book presents new approaches and innovative solutions to the problems, which are urgent and of key importance nowadays. The content of this book will be helpful from both scientific and practical points of view. This book deals with the wide variety of different problems in the field of Informational Technology, namely: Informational and Communicational technology, Automated Control Systems, Modelling, Decision-making problems and etc. Modern Informational technology is one of the most dynamic scientific fields. Changes occur continuously in this sphere and, therefore, the interest towards the subjects discussed in this book are very high.

Modern Statistical, Systems, and GPSS Simulation, Second Edition (Hardcover, 2nd New edition): Zaven A. Karian, Edward J.... Modern Statistical, Systems, and GPSS Simulation, Second Edition (Hardcover, 2nd New edition)
Zaven A. Karian, Edward J. Dudewicz
R2,724 Discovery Miles 27 240 Ships in 10 - 15 working days

Modern Statistical, Systems, and GPSS Simulation, Second Edition introduces the theory and implementation of discrete-event simulation. This text:
o establishes a theoretical basis for simulation methodology
o provides details of an important simulation language (GPSS - General Purpose Simulation System)
o integrates these two elements in a systems simulation case study
Valuable additions to the second edition include coverage of random number generators with astronomic period, new entropy-based tests of uniformity, gamma variate generation, results on the GLD, and variance reduction techniques.
GPSS/PC is an interactive implementation of GPSS for the IBM-PC compatible family of microcomputers. The disk accompanying Modern Statistical, Systems, and GPSS Simulation contains the limited educational version of GPSS/PC with many illustrative examples discussed in the text.

Distributed Computer-Aided Engineering (Hardcover): Hojjat Adeli, Sanjay Kumar Distributed Computer-Aided Engineering (Hardcover)
Hojjat Adeli, Sanjay Kumar
R3,789 Discovery Miles 37 890 Ships in 10 - 15 working days

Networking of personal computers and workstations is becoming commonplace in academic and industrial environments. A cluster of workstations provides engineers with a familiar, cost-effective environment for high performance computing. However, workstations often have no dedicated link and communicate slowly on a local area network (LAN), such as the Ethernet. Thus, to effectively harness the parallel processing or distributed computing capabilities of workstations, new algorithms need to be developed with a higher computation-to-communication ratio.
Distributed Computer-Aided Engineering presents distributed algorithms for three fundamental areas: finite element analysis, design optimization, and visualization - providing a new direction in high performance structural engineering computing.

Discrete Mathematics (Hardcover, illustrated Edition): Martin Aigner Discrete Mathematics (Hardcover, illustrated Edition)
Martin Aigner
R1,752 R1,547 Discovery Miles 15 470 Save R205 (12%) Ships in 10 - 15 working days

The advent of fast computers and the search for efficient algorithms revolutionized combinatorics and brought about the field of discrete mathematics. This book is an introduction to the main ideas and results of discrete mathematics, and with its emphasis on algorithms it should be interesting to mathematicians and computer scientists alike. The book is organized into three parts: enumeration, graphs and algorithms, and algebraic systems. There are 600 exercises with hints and solutions to about half of them. The only prerequisites for understanding everything in the book are linear algebra and calculus at the undergraduate level. Praise for the German edition ...This book is a well-written introduction to discrete mathematics and is highly recommended to every student of mathematics and computer science as well as to teachers of these topics. --Konrad Engel for MathSciNet Martin Aigner is a professor of mathematics at the Free University of Berlin. He received his PhD at the University of Vienna and has held a number of positions in the USA and Germany before moving to Berlin. He is the author of several books on discrete mathematics, graph theory, and the theory of search. The Monthly article Turan's graph theorem earned him a 1995 Lester R. Ford Prize of the MAA for expository writing, and his book Proofs from the BOOK with Gunter M. Ziegler has been an international success with translations into 12 languages.

Digital Signal Processing Algorithms - Number Theory, Convolution, Fast Fourier Transforms, and Applications (Hardcover): Hari... Digital Signal Processing Algorithms - Number Theory, Convolution, Fast Fourier Transforms, and Applications (Hardcover)
Hari Krishna
R5,311 Discovery Miles 53 110 Ships in 10 - 15 working days

Digital Signal Processing Algorithms describes computational number theory and its applications to deriving fast algorithms for digital signal processing. It demonstrates the importance of computational number theory in the design of digital signal processing algorithms and clearly describes the nature and structure of the algorithms themselves. The book has two primary focuses: first, it establishes the properties of discrete-time sequence indices and their corresponding fast algorithms; and second, it investigates the properties of the discrete-time sequences and the corresponding fast algorithms for processing these sequences.
Digital Signal Processing Algorithms examines three of the most common computational tasks that occur in digital signal processing; namely, cyclic convolution, acyclic convolution, and discrete Fourier transformation. The application of number theory to deriving fast and efficient algorithms for these three and related computationally intensive tasks is clearly discussed and illustrated with examples.
Its comprehensive coverage of digital signal processing, computer arithmetic, and coding theory makes Digital Signal Processing Algorithms an excellent reference for practicing engineers. The authors' intent to demystify the abstract nature of number theory and the related algebra is evident throughout the text, providing clear and precise coverage of the quickly evolving field of digital signal processing.

Algorithmic Randomness - Progress and Prospects (Hardcover): Johanna N. Y. Franklin, Christopher P. Porter Algorithmic Randomness - Progress and Prospects (Hardcover)
Johanna N. Y. Franklin, Christopher P. Porter
R2,483 Discovery Miles 24 830 Ships in 10 - 15 working days

The last two decades have seen a wave of exciting new developments in the theory of algorithmic randomness and its applications to other areas of mathematics. This volume surveys much of the recent work that has not been included in published volumes until now. It contains a range of articles on algorithmic randomness and its interactions with closely related topics such as computability theory and computational complexity, as well as wider applications in areas of mathematics including analysis, probability, and ergodic theory. In addition to being an indispensable reference for researchers in algorithmic randomness, the unified view of the theory presented here makes this an excellent entry point for graduate students and other newcomers to the field.

Achieving Buzzword Compliance - Data Architecture Language and Vocabulary (Paperback): David C. Hay Achieving Buzzword Compliance - Data Architecture Language and Vocabulary (Paperback)
David C. Hay
R1,337 R1,027 Discovery Miles 10 270 Save R310 (23%) Ships in 7 - 11 working days
Multiple Model Approaches To Nonlinear Modelling And Control (Hardcover): R. Murray-Smith, T. Johansen Multiple Model Approaches To Nonlinear Modelling And Control (Hardcover)
R. Murray-Smith, T. Johansen
R4,795 Discovery Miles 47 950 Ships in 10 - 15 working days

1. Basic Principles: The Operating Regime Approach 2. Modelling: Fuzzy Set Methods for Local Modelling Identification 3. Modelling of Electrically Stimulated Muscle 4. Process Modelling Using a Functional State Approach 5. Markov Mixtures of Experts 6. Active Learning With Mixture Models 7. Local Learning in Local Model Networks 8. Side Effects of Normalising Basic Functions 9. Control: Heterogeneous Control Laws 10. Local Laguerre Models 11. Multiple Model Adaptive Control 12. H Control Using Multiple Linear Models 13. Synthesis of Fuzzy Control Systems Based on Linear Takagi-Sugeno Fuzzy Models

Fundamentals of Nonlinear Digital Filtering (Hardcover): Jaakko Astola, Pauli Kuosmanen Fundamentals of Nonlinear Digital Filtering (Hardcover)
Jaakko Astola, Pauli Kuosmanen
R4,792 Discovery Miles 47 920 Ships in 10 - 15 working days

Fundamentals of Nonlinear Digital Filtering is the first book of its kind, presenting and evaluating current methods and applications in nonlinear digital filtering. Written for professors, researchers, and application engineers, as well as for serious students of signal processing, this is the only book available that functions as both a reference handbook and a textbook. Solid introductory material, balanced coverage of theoretical and practical aspects, and dozens of examples provide you with a self-contained, comprehensive information source on nonlinear filtering and its applications.

Post-Optimal Analysis in Linear Semi-Infinite Optimization (Paperback, 2014): Miguel A. Goberna, Marco A. Lopez Post-Optimal Analysis in Linear Semi-Infinite Optimization (Paperback, 2014)
Miguel A. Goberna, Marco A. Lopez
R1,517 R1,350 Discovery Miles 13 500 Save R167 (11%) Ships in 10 - 15 working days

Post-Optimal Analysis in Linear Semi-Infinite Optimization examines the following topics in regards to linear semi-infinite optimization: modeling uncertainty, qualitative stability analysis, quantitative stability analysis and sensitivity analysis. Linear semi-infinite optimization (LSIO) deals with linear optimization problems where the dimension of the decision space or the number of constraints is infinite. The authors compare the post-optimal analysis with alternative approaches to uncertain LSIO problems and provide readers with criteria to choose the best way to model a given uncertain LSIO problem depending on the nature and quality of the data along with the available software. This work also contains open problems which readers will find intriguing a challenging. Post-Optimal Analysis in Linear Semi-Infinite Optimization is aimed toward researchers, graduate and post-graduate students of mathematics interested in optimization, parametric optimization and related topics.

Resilient Routing in Communication Networks (Hardcover, 1st ed. 2015): Jacek Rak Resilient Routing in Communication Networks (Hardcover, 1st ed. 2015)
Jacek Rak
R2,669 Discovery Miles 26 690 Ships in 7 - 11 working days

This important text addresses the latest issues in end-to-end resilient routing in communication networks. The work highlights the main causes of failures of network nodes and links, and presents an overview of resilient routing mechanisms, covering issues related to the Future Internet (FI), wireless mesh networks (WMNs), and vehicular ad-hoc networks (VANETs). Features: discusses FI architecture for network virtualization; introduces proposals for dedicated and shared protection in random failure scenarios and against malicious activities; describes measures for WMN survivability that allow for evaluation of performance under multiple failures; proposes a new scheme to enable proactive updates of WMN antenna alignment; includes a detailed analysis of the differentiated reliability requirements for VANET applications, with a focus on issues of multi-hop data delivery; reviews techniques for improving the stability of end-to-end VANET communication paths based on multipath routing and anycast forwarding.

Nanomagnetic and Spintronic Devices for Energy-Efficient Memory and Computing (Hardcover): Jayasimha Atulasimha, Supriyo... Nanomagnetic and Spintronic Devices for Energy-Efficient Memory and Computing (Hardcover)
Jayasimha Atulasimha, Supriyo Bandyopadhyay
R2,045 Discovery Miles 20 450 Ships in 10 - 15 working days

Nanomagnetic and spintronic computing devices are strong contenders for future replacements of CMOS. This is an important and rapidly evolving area with the semiconductor industry investing significantly in the study of nanomagnetic phenomena and in developing strategies to pinpoint and regulate nanomagnetic reliably with a high degree of energy efficiency. This timely book explores the recent and on-going research into nanomagnetic-based technology. Key features: * Detailed background material and comprehensive descriptions of the current state-of-the-art research on each topic. * Focuses on direct applications to devices that have potential to replace CMOS devices for computing applications such as memory, logic and higher order information processing. * Discusses spin-based devices where the spin degree of freedom of charge carriers are exploited for device operation and ultimately information processing. * Describes magnet switching methodologies to minimize energy dissipation. * Comprehensive bibliographies included for each chapter enabling readers to conduct further research in this field. Written by internationally recognized experts, this book provides an overview of a rapidly burgeoning field for electronic device engineers, field-based applied physicists, material scientists and nanotechnologists. Furthermore, its clear and concise form equips readers with the basic understanding required to comprehend the present stage of development and to be able to contribute to future development. Nanomagnetic and Spintronic Devices for Energy-Efficient Memory and Computing is also an indispensable resource for students and researchers interested in computer hardware, device physics and circuits design.

Reduced Order Methods for Modeling and Computational Reduction (Hardcover, 2014 ed.): Alfio Quarteroni, Gianluigi Rozza Reduced Order Methods for Modeling and Computational Reduction (Hardcover, 2014 ed.)
Alfio Quarteroni, Gianluigi Rozza
R2,770 Discovery Miles 27 700 Ships in 10 - 15 working days

This monograph addresses the state of the art of reduced order methods for modeling and computational reduction of complex parametrized systems, governed by ordinary and/or partial differential equations, with a special emphasis on real time computing techniques and applications in computational mechanics, bioengineering and computer graphics.

Several topics are covered, including: design, optimization, and control theory in real-time with applications in engineering; data assimilation, geometry registration, and parameter estimation with special attention to real-time computing in biomedical engineering and computational physics; real-time visualization of physics-based simulations in computer science; the treatment of high-dimensional problems in state space, physical space, or parameter space; the interactions between different model reduction and dimensionality reduction approaches; the development of general error estimation frameworks which take into account both model and discretization effects.

This book is primarily addressed to computational scientists interested in computational reduction techniques for large scale differential problems.

The Foundations of Computability Theory (Hardcover, 1st ed. 2015): Borut Robic The Foundations of Computability Theory (Hardcover, 1st ed. 2015)
Borut Robic
R2,888 Discovery Miles 28 880 Ships in 7 - 11 working days

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science.

Introduction to Information Technology (Paperback, 3rd Revised edition): V. Rajaraman Introduction to Information Technology (Paperback, 3rd Revised edition)
V. Rajaraman
R530 Discovery Miles 5 300 Ships in 10 - 15 working days

This textbook is designed to teach a first course in Information Technology (IT) to all undergraduate students. In view of the all-pervasive nature of IT in today's world a decision has been taken by many universities to introduce IT as a compulsory core course to all Bachelor's degree students regardless of their specialisation. This book is intended for such a course. The approach taken in this book is to emphasize the fundamental "Science" of Information Technology rather than a cook book of skills. Skills can be learnt easily by practice with a computer and by using instructions given in simple web lessons that have been cited in the References. The book defines Information Technology as the technology that is used to acquire, store, organize, process and disseminate processed data, namely, information. The unique aspect of the book is to examine processing all types of data: numbers, text, images, audio and video data. As IT is a rapidly changing field, we have taken the approach to emphasize reasonably stable, fundamental concepts on which the technology is built. A unique feature of the book is the discussion of topics such as image, audio and video compression technologies from first principles. We have also described the latest technologies such as `e-wallets' and `cloud computing'.The book is suitable for all Bachelor's degree students in Science, Arts, Computer Applications, and Commerce. It is also useful for general reading to learn about IT and its latest trends. Those who are curious to know, the principles used to design jpg, mp3 and mpeg4 compression, the image formats-bmp, tiff, gif, png, and jpg, search engines, payment systems such as BHIM and Paytm, and cloud computing, to mention a few of the technologies discussed, will find this book useful. KEY FEATURES: Provides comprehensive coverage of all basic concepts of IT from first principles Explains acquisition, compression, storage, organization, processing and dissemination of multimedia data Simple explanation of mp3, jpg, and mpeg4 compression Explains how computer networks and the Internet work and their applications Covers business data processing, World Wide Web, e-commerce, and IT laws Discusses social impacts of IT and career opportunities in IT and IT enabled services Designed for self-study with every chapter starting with learning objectives and concluding with a comprehensive summary and a large number of exercises.

Algorithmics - The Spirit of Computing (Paperback, 3rd ed. 1987): David Harel, Yishai Feldman Algorithmics - The Spirit of Computing (Paperback, 3rd ed. 1987)
David Harel, Yishai Feldman
R1,421 R1,023 Discovery Miles 10 230 Save R398 (28%) Ships in 10 - 15 working days

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and biochemistry, similar to the role of mathematics in the physical sciences of the 20th century. In this award-winning best-seller, the author and his co-author focus on the fundamentals of computer science, which revolve around the notion of the "algorithm." They discuss the design of algorithms, and their efficiency and correctness, the inherent limitations of algorithms and computation, quantum algorithms, concurrency, large systems and artificial intelligence. Throughout, the authors, in their own words, stress the 'fundamental and robust nature of the science in a form that is virtually independent of the details of specific computers, languages and formalisms'.

This version of the book is published to celebrate 25 years since its first edition, and in honor of the Alan M. Turing Centennial year. Turing was a true pioneer of computer science, whose work forms the underlying basis of much of this book. "

Networks (Hardcover, 2nd Revised edition): Mark Newman Networks (Hardcover, 2nd Revised edition)
Mark Newman
R1,426 Discovery Miles 14 260 Ships in 10 - 15 working days

The study of networks, including computer networks, social networks, and biological networks, has attracted enormous interest in the last few years. The rise of the Internet and the wide availability of inexpensive computers have made it possible to gather and analyze network data on an unprecedented scale, and the development of new theoretical tools has allowed us to extract knowledge from networks of many different kinds. The study of networks is broadly interdisciplinary and central developments have occurred in many fields, including mathematics, physics, computer and information sciences, biology, and the social sciences. This book brings together the most important breakthroughs in each of these fields and presents them in a coherent fashion, highlighting the strong interconnections between work in different areas. Topics covered include the measurement of networks; methods for analyzing network data, including methods developed in physics, statistics, and sociology; fundamentals of graph theory; computer algorithms; mathematical models of networks, including random graph models and generative models; and theories of dynamical processes taking place on networks.

Modeling in Event-B - System and Software Engineering (Hardcover): Jean-Raymond Abrial Modeling in Event-B - System and Software Engineering (Hardcover)
Jean-Raymond Abrial
R2,630 Discovery Miles 26 300 Ships in 10 - 15 working days

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Learning Microsoft Office 2013: Pearson…
Emergent Learning LLC, Suzanne Weixel, … Paperback R2,114 Discovery Miles 21 140
Requirements Analysis and Systems Design
Leszek Maciaszek Paperback R1,647 Discovery Miles 16 470
Introduction to Automata Theory…
John Hopcroft, Rajeev Motwani, … Paperback R1,540 Discovery Miles 15 400
Discovering Computers (c)2017
Jennifer Campbell, Mark Frydenberg, … Paperback  (3)
R929 R830 Discovery Miles 8 300
Systems Analysis and Design
Harry J. Rosenblatt, Scott Tilley Hardcover R931 R831 Discovery Miles 8 310
System Architecture, Global Edition
Bruce Cameron, Edward Crawley, … Paperback R1,619 Discovery Miles 16 190
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R5,288 Discovery Miles 52 880
Principles of Business Information…
Ralph M. Stair Paperback R827 R719 Discovery Miles 7 190
BTEC Level 3 National IT Student Book 2
Jenny Lawson, Karen Anderson, … Paperback R961 Discovery Miles 9 610
Games for Your Mind - The History and…
Jason Rosenhouse Hardcover R658 R533 Discovery Miles 5 330