0
Your cart

Your cart is empty

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

Books > Computing & IT > Computer programming > Software engineering

DVD Authoring and Production - An Authoritative Guide to DVD-Video, DVD-ROM, & WebDVD (Paperback): Ralph LaBarge DVD Authoring and Production - An Authoritative Guide to DVD-Video, DVD-ROM, & WebDVD (Paperback)
Ralph LaBarge
R2,037 Discovery Miles 20 370 Ships in 9 - 17 working days

DVD Authoring and Production is an authoritative and comprehensive guide to publishing content in the DVD-Video, DVD-ROM, and WebDVD formats. Readers learn everything they need to create, produce, and master DVDs - including a firsthand look at professional production techniques employed in the author's StarGaze DVD. Professionals and aspiring DVD artists alike learn the latest tools and techniques as well as how to succeed in the business realm of the DVD world, including optimal methods of marketing, distributing, and selling.

Quality in Business Process Modeling (Hardcover, 1st ed. 2016): John Krogstie Quality in Business Process Modeling (Hardcover, 1st ed. 2016)
John Krogstie
R2,548 Discovery Miles 25 480 Ships in 12 - 19 working days

This book covers the whole spectrum of modeling goals to achieve optimal quality in the process model developed. It focuses on how to balance quality considerations across all semiotic levels when models are used for different purposes, and is based on SEQUAL, a framework for understanding the quality of models and modeling languages, which can take into account all main aspects relating to the quality of models. Chapter 1 focuses on the theoretical foundations, introducing readers to the topics of business processes and business process modeling, as well as the most important concept underlying the modeling of business processes. In turn, Chapter 2 addresses the quality of models in general and business process models in particular. Chapter 3 contains a specialization of SEQUAL for quality of business process models. In Chapter 4, examples of the practical uses of business process models are provided, together with the results of detailed case studies on how to achieve and maintain quality in business process models. Chapter 5 presents a process modeling value framework that demonstrates how to achieve more long-term and higher return on investment with regard to (business) process and enterprise models. Lastly, Chapter 6 reviews the main points of the book and discusses the potential for business process modeling in the future through its combination with other types of modeling. The book has two intended audiences. It is primarily intended for computer science, software engineering and information system students at the postgraduate level who want to know more about business process modeling and the quality of models in preparation for professional practice. The second audience consists of professionals with extensive experience in and responsibilities related to the development and evolution of process-oriented information systems and information systems methodologies in general, who need to formalize and structure their practical experience or update their knowledge as a way to improve their professional activity. The book also includes a number of real-world case studies that make it easier to grasp the main theoretical concepts, helping readers apply the approaches described.

Software Quality - Concepts and Practice (Hardcover): D Galin Software Quality - Concepts and Practice (Hardcover)
D Galin
R3,245 Discovery Miles 32 450 Ships in 10 - 15 working days

The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training participants, and software engineers and software development managers, the book may be applicable to all personnel engaged in a software projects Features: *A broad view of SQA. The book delves into SQA issues, going beyond the classic boundaries of custom-made software development to also cover in-house software development, subcontractors, and readymade software. *An up-to-date wide-range coverage of SQA and SQA related topics. Providing comprehensive coverage on multifarious SQA subjects, including topics, hardly explored till in SQA texts. *A systematic presentation of the SQA function and its tasks: establishing the SQA processes, planning, coordinating, follow-up, review and evaluation of SQA processes. *Focus on SQA implementation issues. Specialized chapter sections, examples, implementation tips, and topics for discussion. *Pedagogical support: Each chapter includes a real-life mini case study, examples, a summary, selected bibliography, review questions and topics for discussion. The book is also supported by an Instructor s Guide.

Computer Architecture - Software Aspects, Coding, and Hardware (Hardcover): John Y. Hsu Computer Architecture - Software Aspects, Coding, and Hardware (Hardcover)
John Y. Hsu
R3,758 Discovery Miles 37 580 Ships in 12 - 19 working days

With the new developments in computer architecture, fairly recent publications can quickly become outdated. Computer Architecture: Software Aspects, Coding, and Hardware takes a modern approach. This comprehensive, practical text provides that critical understanding of a central processor by clearly detailing fundamentals, and cutting edge design features. With its balanced software/hardware perspective and its description of Pentium processors, the book allows readers to acquire practical PC software experience. The text presents a foundation-level set of ideas, design concepts, and applications that fully meet the requirements of computer organization and architecture courses.

The book features a "bottom up" computer design approach, based upon the author's thirty years experience in both academe and industry. By combining computer engineering with electrical engineering, the author describes how logic circuits are designed in a CPU. The extensive coverage of a micprogrammed CPU and new processor design features gives the insight of current computer development.

Computer Architecture: Software Aspects, Coding, and Hardware presents a comprehensive review of the subject, from beginner to advanced levels. Topics include:


o Two's complement numbers o Integer overflow
o Exponent overflow and underflow o Looping
o Addressing modes o Indexing
o Subroutine linking o I/O structures
o Memory mapped I/O o Cycle stealing
o Interrupts o Multitasking
o Microprogrammed CPU o Multiplication tree
o Instruction queue o Multimedia instructions
o Instruction cache o Virtual memory
o Data cache o Alpha chip
o Interprocessor communications o Branch prediction
o Speculative loading o Register stack
o JAVA virtual machine o Stack machine principles

User Interfaces for All - Concepts, Methods, and Tools (Hardcover): Constantine Stephanidis User Interfaces for All - Concepts, Methods, and Tools (Hardcover)
Constantine Stephanidis
R7,708 Discovery Miles 77 080 Ships in 12 - 19 working days

"User Interfaces for All" is the first book dedicated to the issues of Universal Design and Universal Access in the field of Human-Computer Interaction (HCI). Universal Design (or Design for All) is an inclusive and proactive approach seeking to accommodate diversity in the users and usage contexts of interactive products, applications, and services, starting from the design phase of the development life cycle. The ongoing paradigm shift toward a knowledge-intensive information society is already bringing about radical changes in the way people work and interact with each other and with information. The requirement for Universal Design stems from the growing impact of the fusion of the emerging technologies, and from the different dimensions of diversity, which are intrinsic to the information society.
This book unfolds the various aspects of this ongoing evolution from a variety of viewpoints. It's a collection of 30 chapters written by leading international authorities, affiliated with academic, research, and industrial organizations, and non-market institutions. The book provides a comprehensive overview of the state of the art in the field, and includes contributions from a variety of theoretical and applied disciplines and research themes.
This book can also be used for teaching purposes in HCI courses at the undergraduate as well as graduate level. Students will be introduced to the human-, organizational-, and technology-oriented dimensions that call for a departure from traditional approaches to user interface development. Students will also get an overview of novel methods, techniques, tools, and frameworks for the design, implementation, and evaluation of user interfaces that are universally accessible and usable by the broadest possible end-user population.
This comprehensive book is targeted to a broad readership, including HCI researchers, user interface designers, computer scientists, software engineers, ergonomists and usability engineers, Human Factors researchers and practitioners, organizational psychologists, system/product designers, sociologists, policy- and decision makers, scientists in government, industry and education, as well as assistive technology and rehabilitation experts.

Handbook on Artificial Intelligence-Empowered Applied Software Engineering - VOL.1: Novel Methodologies to Engineering Smart... Handbook on Artificial Intelligence-Empowered Applied Software Engineering - VOL.1: Novel Methodologies to Engineering Smart Software Systems (Hardcover, 1st ed. 2022)
Maria Virvou, George A. Tsihrintzis, Nikolaos G. Bourbakis, Lakhmi C. Jain
R4,395 Discovery Miles 43 950 Ships in 10 - 15 working days

This book provides a structured overview of artificial intelligence-empowered applied software engineering. Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions lead current research towards the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence. This book at hand, devoted to Novel Methodologies to Engineering Smart Software Systems Novel Methodologies to Engineering Smart Software Systems, constitutes the first volume of a two-volume Handbook on Artificial Intelligence-empowered Applied Software Engineering. Topics include very significant advances in (i) Artificial Intelligence-Assisted Software Development and (ii) Software Engineering Tools to develop Artificial Intelligence Applications, as well as a detailed Survey of Recent Relevant Literature. Professors, researchers, scientists, engineers and students in artificial intelligence, software engineering and computer science-related disciplines are expected to benefit from it, along with interested readers from other disciplines.

Systems Development Handbook, Fourth Edition (Hardcover, 2nd edition): Paul C. Tinnirello Systems Development Handbook, Fourth Edition (Hardcover, 2nd edition)
Paul C. Tinnirello
R5,128 R1,948 Discovery Miles 19 480 Save R3,180 (62%) Ships in 12 - 19 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.

Knowledge-Based Intelligent Techniques in Character Recognition (Hardcover): Lakhmi C. Jain, Beatrice Lazzerini Knowledge-Based Intelligent Techniques in Character Recognition (Hardcover)
Lakhmi C. Jain, Beatrice Lazzerini
R6,382 R5,091 Discovery Miles 50 910 Save R1,291 (20%) Ships in 12 - 19 working days

Knowledge-Based Intelligent Techniques in Character Recognition presents research results on intelligent character recognition techniques, reflecting the tremendous worldwide interest in the applications of knowledge-based techniques in this challenging field.
This resource will interest anyone involved in computer science, computer engineering, applied mathematics, or related fields. It will also be of use to researchers, application engineers and students who wish to develop successful character recognition systems such as those used in reading addresses in a postal routing system or processing bank checks.

Features

Programming in C++ for Engineering and Science (Hardcover): Larry Nyhoff Programming in C++ for Engineering and Science (Hardcover)
Larry Nyhoff
R5,754 Discovery Miles 57 540 Ships in 12 - 19 working days

Developed from the author's many years of teaching computing courses, Programming in C plus plus for Engineering and Science guides students in designing programs to solve real problems encountered in engineering and scientific applications. These problems include radioactive decay, pollution indexes, digital circuits, differential equations, Internet addresses, data analysis, simulation, quality control, electrical networks, data encryption, beam deflection, and many other areas. To make it easier for novices to develop programs, the author uses an object-centered design approach that helps students identify the objects in a problem and the operations needed; develop an algorithm for processing; implement the objects, operations, and algorithm in a program; and test, correct, and revise the program. He also revisits topics in greater detail as the text progresses. By the end of the book, students will have a solid understanding of how C plus plus can be used to process complex objects, including how classes can be built to model objects. Web ResourceThe book's website at http://cs.calvin.edu/books/c plus plus/engr-sci provides source code, expanded presentations, links to relevant sites, reference materials, lab exercises, and projects. For instructors, solutions to exercises and PowerPoint slides for classroom use are available upon qualifying course adoption.

Socio-Technical Networks - Science and Engineering Design (Paperback): Fei Hu, Ali Mostashari, Jiang Xie Socio-Technical Networks - Science and Engineering Design (Paperback)
Fei Hu, Ali Mostashari, Jiang Xie
R1,887 Discovery Miles 18 870 Ships in 12 - 19 working days

While there are sporadic journal articles on socio-technical networks, there's long been a need for an integrated resource that addresses concrete socio-technical network (STN) design issues from algorithmic and engineering perspectives. Filling this need, Socio-Technical Networks: Science and Engineering Design provides a complete introduction to the fundamentals of one of the hottest research areas across the social sciences, networking, and computer science-including its definition, historical background, and models. Covering basic STN architecture from a physical/technological perspective, the book considers the system design process in a typical STN, including inputs, processes/actions, and outputs/products. It covers current applications, including transportation networks, energy systems, tele-healthcare, financial networks, and the World Wide Web. A group of STN expert contributors addresses privacy and security topics in the interdependent context of critical infrastructure, which include risk models, trust models, and privacy preserving schemes. Covers the physical and technological designs in a typical STN Considers STN applications in popular fields, such as healthcare and the virtual community Details a method for mapping and measuring complexity, uncertainty, and interactions among STN components The book examines the most important STN models, including graph theory, inferring agent dynamics, decision theory, and information mining. It also explains structural studies, behavioral studies, and agent/actor system studies and policy studies in different STN contexts. Complete with in-depth case studies, this book supplies the practical insight needed to address contemporary STN design issues.

Foundations of Reinforcement Learning with Applications in Finance (Hardcover): Ashwin Rao, Tikhon Jelvis Foundations of Reinforcement Learning with Applications in Finance (Hardcover)
Ashwin Rao, Tikhon Jelvis
R2,522 Discovery Miles 25 220 Ships in 9 - 17 working days

Features Focus on the foundational theory underpinning Reinforcement Learning Suitable as a primary text for courses in Reinforcement Learning, but also as supplementary reading for applied/financial mathematics, programming, and other related courses Suitable for a professional audience of quantitative analysts or industry specialists Blends theory/mathematics, programming/algorithms and real-world financial nuances while always striving to maintain simplicity and to build intuitive understanding.

Software Application Development - A Visual C++, MFC, and STL Tutorial (Hardcover): Zhang Wenzu, Ph.D., Tan May Ling, M.Sc.,... Software Application Development - A Visual C++, MFC, and STL Tutorial (Hardcover)
Zhang Wenzu, Ph.D., Tan May Ling, M.Sc., Bud Fox Ph. D.
R5,672 Discovery Miles 56 720 Ships in 12 - 19 working days

Software Application Development: A Visual C plus plus, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C plus plus, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathematical equations, perform interactive and intuitive model-building, and conduct control engineering experiments. All computer code is included, allowing developers to extend and reuse the software modules for their own project work. The book's tutorial-like approach empowers students and practitioners with the knowledge and skills required to perform disciplined, quality, real-world software engineering.

GPS Tracking with Java EE Components - Challenges of Connected Cars (Hardcover): Kristof Beiglboeck GPS Tracking with Java EE Components - Challenges of Connected Cars (Hardcover)
Kristof Beiglboeck
R6,139 Discovery Miles 61 390 Ships in 12 - 19 working days

GPS Tracking with Java EE Components: Challenges of Connected Cars highlights how the self-driving car is actually changing the automotive industry, from programing embedded software to hosting services and data crunching, in real time, with really big data. The book analyzes how the challenges of the Self Driving Car (SDC) exceed the limits of a classical GPS Tracking System (GTS.) It provides a guidebook on setting up a tracking system by customizing its components. It also provides an overview of the prototyping and modeling process, and how the reader can modify this process for his or her own software. Every component is introduced in detail and includes a number of design decisions for development. The book introduces Java EE (JEE) Modules, and shows how they can be combined to a customizable GTS, and used as seed components to enrich existing systems with live tracking. The book also explores how to merge tracking and mapping to guide SDCs, and focuses on client server programming to provide useful information. It also discusses the challenges involved with the live coordination of moving cars. This book is designed to aid GTS developers and engineers in the automotive industry. It can also help Java Developers, not only interested in GPS Tracking, but in modern software design from many individual modules. Source code and sample applications will be available on the book's website.

Artificial Intelligence and Software Engineering (Hardcover): Derek Partridge Artificial Intelligence and Software Engineering (Hardcover)
Derek Partridge
R3,887 Discovery Miles 38 870 Ships in 12 - 19 working days

Managers, business owners, computer-literate individuals and software developers alike are all seeking an understanding of artificial intelligence (AI) and wondering what its uses might be. In this discussion, the author explains what artificial intelligence can do and cannot do, and what benefits it holds for applications such as banking financial services, and expert systems of all kinds. Topics include: the strengths and weaknesses of software development and engineering; the promises and problems of machine learning; expert systems and success stories; practical software through artificial intelligence; artificial intelligence and conventional software engineering problems; software engineering methodology; new paradigms for system engineering; what the future holds.

Anyone Can Code - The Art and Science of Logical Creativity (Paperback): Ali Arya Anyone Can Code - The Art and Science of Logical Creativity (Paperback)
Ali Arya
R1,725 R1,110 Discovery Miles 11 100 Save R615 (36%) Ships in 9 - 17 working days

Anyone Can Code: The Art and Science of Logical Creativity introduces computer programming as a way of problem-solving through logical thinking. It uses the notion of modularization as a central lens through which we can make sense of many software concepts. This book takes the reader through fundamental concepts in programming by illustrating them in three different and distinct languages: C/C++, Python, and Javascript. Key features: Focuses on problem-solving and algorithmic thinking instead of programming functions, syntax, and libraries; Includes engaging examples, including video games and visual effects; Provides exercises and reflective questions. This book gives beginner and intermediate learners a strong understanding of what they are doing so that they can do it better and with any other tool or language that they may end up using later.

SDL '97: Time for Testing - SDL, MSC and Trends (Hardcover): A. Cavalli, A. Sarma SDL '97: Time for Testing - SDL, MSC and Trends (Hardcover)
A. Cavalli, A. Sarma
R6,068 Discovery Miles 60 680 Ships in 12 - 19 working days

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.

SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.

Computer and Computing Technologies in Agriculture - 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing,... Computer and Computing Technologies in Agriculture - 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I (Hardcover, 2012)
Daoliang Li, Yingyi Chen
R2,988 Discovery Miles 29 880 Ships in 10 - 15 working days

The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 2011. The 189 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce technology, the application of information and communication technology in agriculture, and universal information service technology and service systems development in rural areas. The 62 papers included in the first volume focus on decision support systems, intelligent systems, and artificial intelligence applications.

Artificial Intelligence, Machine Learning and Blockchain in Quantum Satellite, Drone and Network (Hardcover): Thiruselvan... Artificial Intelligence, Machine Learning and Blockchain in Quantum Satellite, Drone and Network (Hardcover)
Thiruselvan Subramanian, Archana Dhyani, Adarsh Kumar, Sukhpal Singh Gill
R2,529 Discovery Miles 25 290 Ships in 9 - 17 working days

This book provide clear insight into the Internet of Drone for Academicians, Postdoc fellows, Research scholars, Graduate and Post-graduate students, Industry-fellows, and Software Engineers. This work will be useful to professionals who seek information about the Internet of Drones. Experts in Quantum Computing and Physics; Post-Quantum Cryptography; Data Scientists; and Data Analysts are among them. Quantum computing and security for Unmanned Aerial Vehicles (UAV) or Drones are widely useful for applications such as military, government, and non-government systems. Thus, this work explore these applications. The Internet of Drones offers vast prospects to improve everyday living for ordinary people. This work explores similar futuristic aspects.

Systems Engineering Guidebook - A Process for Developing Systems and Products (Hardcover): James N. Martin Systems Engineering Guidebook - A Process for Developing Systems and Products (Hardcover)
James N. Martin
R4,940 Discovery Miles 49 400 Ships in 12 - 19 working days

Systems Engineering Guidebook: A Process for Developing Systems and Products is intended to provide readers with a guide to understanding and becoming familiar with the systems engineering process, its application, and its value to the successful implementation of systems development projects. The book describes the systems engineering process as a multidisciplinary effort. The process is defined in terms of specific tasks to be accomplished, with great emphasis placed on defining the problem that is being addressed prior to designing the solution.

Crowdsourcing - Cloud-Based Software Development (Hardcover, 2015 ed.): Wei Li, Michael N. Huhns, Wei-Tek Tsai, Wen Jun Wu Crowdsourcing - Cloud-Based Software Development (Hardcover, 2015 ed.)
Wei Li, Michael N. Huhns, Wei-Tek Tsai, Wen Jun Wu
R3,595 Discovery Miles 35 950 Ships in 12 - 19 working days

This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this new software development approach. The book examines a variety of issues in software crowdsourcing processes, including software quality, costs, diversity of solutions, and the competitive nature of crowdsourcing processes. Furthermore, the book outlines a research roadmap of this emerging field, including all the key technology and management issues for the foreseeable future. Crowdsourcing, as demonstrated by Wikipedia and Facebook for online web applications, has shown promising results for a variety of applications, including healthcare, business, gold mining exploration, education, and software development. Software crowdsourcing is emerging as a promising solution to designing, developing and maintaining software. Preliminary software crowdsourcing practices and platforms, including Apple's App Store and TopCoder, demonstrate the advantages of crowdsourcing in terms of software ecosystem expansion and product quality improvement.

Processing for Visual Artists - How to Create Expressive Images and Interactive Art (Hardcover): Andrew Glassner Processing for Visual Artists - How to Create Expressive Images and Interactive Art (Hardcover)
Andrew Glassner
R5,474 Discovery Miles 54 740 Ships in 12 - 19 working days

Learn how to create gorgeous and expressive imagery with the Processing graphics language and environment. It's easy with this practical, hands-on book. Processing is for artists, designers, visualization creators, hobbyists, or anyone else looking to create images, animation, and interactive pieces for art, education, science, or business. Processing for Visual Artists shows you everything you need to know in a friendly, project-based style designed for visual thinkers. The projects can serve as a starting point for your own original, creative development and exploration. Walk with veteran author Andrew Glassner on a journey of shared discovery as he uses Processing to take each project from inspiration to reality. You'll closely follow every step he takes and see exactly how each piece evolves, including the big and small mistakes he's made along the way (and how to fix them!), and the times when he changed direction. As your knowledge and skills grow and develop, you'll understand why Processing is such a powerful tool for self-expression. And you'll be ready to strike off on your own. Processing offers you a 21st-century medium for expressing new kinds of ideas and engaging audiences in new ways. This book gives you everything you need to know to explore new frontiers in your own images, animations, and interactive experiences. Source code for each chapter is available for free download on the book's description at the crcpress website.

Software Test Attacks to Break Mobile and Embedded Devices (Hardcover): Jon Duncan Hagar Software Test Attacks to Break Mobile and Embedded Devices (Hardcover)
Jon Duncan Hagar
R5,551 Discovery Miles 55 510 Ships in 12 - 19 working days

Address Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by individuals and teams. The numerous test attacks show you when a software product does not work (i.e., has bugs) and provide you with information about the software product under test. The book guides you step by step starting with the basics. It explains patterns and techniques ranging from simple mind mapping to sophisticated test labs. For traditional testers moving into the mobile and embedded area, the book bridges the gap between IT and mobile/embedded system testing. It illustrates how to apply both traditional and new approaches. For those working with mobile/embedded systems without an extensive background in testing, the book brings together testing ideas, techniques, and solutions that are immediately applicable to testing smart and mobile devices.

Specification and Verification of Multi-agent Systems (Hardcover, 2010 ed.): Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer Specification and Verification of Multi-agent Systems (Hardcover, 2010 ed.)
Mehdi Dastani, Koen V. Hindriks, John-Jules Meyer
R4,593 Discovery Miles 45 930 Ships in 10 - 15 working days

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: * Using Theorem Proving to Verify Properties of Agent Programs * The Refinement of Multi-Agent Systems * Model Checking Agent Communication * Directions for Agent Model Checking * Model Checking Logics of Strategic Ability: Complexity * Correctness of Mult-Agent Programs: A Hybrid Approach * The Norm Implementation Problem in Normative Multi-Agent Systems * A Verification Logic for GOAL Agents * Using the Maude Term Rewriting Language for Agent Development with Formal Foundations * The Cognitive Agents Specification Language and Verification Environment * A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns * Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

A Practical Guide To X Window Programming - Developing Applications with the XT Intrinsics and OSF/Motif (Hardcover): Brian J.... A Practical Guide To X Window Programming - Developing Applications with the XT Intrinsics and OSF/Motif (Hardcover)
Brian J. Keller
R6,750 Discovery Miles 67 500 Ships in 12 - 19 working days

A Practical Guide to X Window Programming is a basic guide that takes readers step by step through developing applications using X-Windows. The book covers the Xt Intrinsics portion of the X-Window system in detail and discusses the MIT Athena and OSF/Motif Widget Sets that are used in many of the examples. Topics covered include C programming fundamentals, text handling using X, fonts, event handling in Xt, extending the Widget Sets (building on Field Editor Widget), designing and constructing an application, building menus, printing help, OSF/Motif (including the window arranger) and interclient communication. Three extensive appendices are included: Widgets, Classing, and Exported Functions; Quick Xt Reference Guide (X11R4); and Quick Guide to OSF/Motif Widgets. Any applications designer interested in developing applications with Xt will find this book a valuable and enlightening resource.

97 Things Every Software Architect Should Know (Paperback): Richard Monson-Haefel 97 Things Every Software Architect Should Know (Paperback)
Richard Monson-Haefel
R829 R645 Discovery Miles 6 450 Save R184 (22%) Ships in 12 - 19 working days

In this truly unique technical book, today's leading software architects present valuable principles on key development issues that go way beyond technology. More than four dozen architects -- including Neal Ford, Michael Nygard, and Bill de hOra -- offer advice for communicating with stakeholders, eliminating complexity, empowering developers, and many more practical lessons they've learned from years of experience. Among the 97 principles in this book, you'll find useful advice such as: Don't Put Your Resume Ahead of the Requirements (Nitin Borwankar)Chances Are, Your Biggest Problem Isn't Technical (Mark Ramm)Communication Is King; Clarity and Leadership, Its Humble Servants (Mark Richards)Simplicity Before Generality, Use Before Reuse (Kevlin Henney)For the End User, the Interface Is the System (Vinayak Hegde)It's Never Too Early to Think About Performance (Rebecca Parsons)

To be successful as a software architect, you need to master both business and technology. This book tells you what top software architects think is important and how they approach a project. If you want to enhance your career, 97 Things Every Software Architect Should Know is essential reading.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Modern Technologies in Web Services…
Liang-Jie Zhang Hardcover R2,689 Discovery Miles 26 890
Spring Security in Action
Laurentiu Spilca Paperback R1,353 Discovery Miles 13 530
Performance and Dependability in Service…
Valeria Cardellini, Emiliano Casalicchio, … Hardcover R5,423 Discovery Miles 54 230
Distributed Fuzzy Control of…
Alexander Gegov Hardcover R2,987 Discovery Miles 29 870
Flash Memory Integration - Performance…
Jalil Boukhobza, Pierre Olivier Hardcover R1,942 Discovery Miles 19 420
Formalizing Data-Centric Web Services
Iman Saleh Hardcover R2,859 R1,895 Discovery Miles 18 950
Proofs 101 - An Introduction to Formal…
Joseph Kirtland Hardcover R4,474 Discovery Miles 44 740
Corporate Portals Empowered with XML and…
Anura Guruge Paperback R1,195 Discovery Miles 11 950
Java Card E-Payment Application…
Vesna Hassler, Etc, … Hardcover R2,287 Discovery Miles 22 870
Introduction to Programming Using…
David Schneider Paperback R2,278 Discovery Miles 22 780

 

Partners