0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (81)
  • R250 - R500 (269)
  • R500+ (7,657)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Software engineering

Leading and Motivating Global Teams - Integrating Offshore Centers and the Head Office (Paperback): Vimal Kumar Khanna Leading and Motivating Global Teams - Integrating Offshore Centers and the Head Office (Paperback)
Vimal Kumar Khanna
R1,323 Discovery Miles 13 230 Ships in 12 - 17 working days

This book provides techniques for offshore center managers and head office managers to motivate and manage globally distributed teams, which are spread across the offshore center and the head office, and thereby achieve higher productivity. Readers learn how to integrate the offshore center with the head office to make the offshore team an extension of the head office. While integrating teams with the head office, offshore center managers can still retain independence and authority to meet team aspirations. The book provides insight into devising new organizational structures to balance the authority and responsibilities of offshore center and head office managers. Head office managers responsible for managing globally distributed projects learn how to achieve a higher success rate on their projects and be better rewarded for their efforts in offshoring. Head office managers also learn techniques to make more significant contributions in their expatriate assignments to the offshore center. This book guides both the offshore center managers and the head office managers to fully realize the potential of the offshore center, which can result in higher revenues and profitability.

Making It in IT (Paperback): Terry Critchley Making It in IT (Paperback)
Terry Critchley
R1,338 Discovery Miles 13 380 Ships in 12 - 17 working days

Written for those starting a career in IT or whose career is well advanced, this career guide shows how to blaze a path to success through the jungle of modern IT. With a career spanning five decades, the author shares lessons he learned the hard way so readers do not have to learn them the hard way. By emphasizing the importance of business processes and applications to IT, this book explains how to understand the value and positioning of hardware and software technology in order to make appropriate decisions. It addresses the importance of IT architecture and the roles service and systems management play. It also explains service level agreements (SLAs) and provides sample SLAs. Readers learn how to conduct IT assessments using SWOT (strengths, weaknesses, opportunities, and threats) analysis. It also shows how to use root-cause analysis (RCA) to detect the sources of failure and poor performance. An overview of risk management and the steps involved in developing a business continuity plan are also included. The book looks at all facets of an IT professional's career. It explains how to build an IT team and examines the roles and responsibilities within the team. It shows how to provide professional customer care to IT clients. Business executives recognize the importance of IT, and this book shows technology professionals how to thrive in the business world. It covers: Making effective presentations Report and proposal writing Negotiating and persuasion skills Running productive meetings Time and stress management The book also discusses such important career skills as listening, continual and incremental learning, and communicating at all levels. From its templates and checklists to its comprehensive and holistic view of a successful IT career, this book is an indispensable guide for every professional working in IT today and tomorrow.

Statistics and Data Visualisation with Python (Hardcover): Jesus Rogel-Salazar Statistics and Data Visualisation with Python (Hardcover)
Jesus Rogel-Salazar
R3,599 Discovery Miles 35 990 Ships in 12 - 17 working days

* Targests readers with a background in programming, interested in an introduction/refresher in statistical hypothesis testing * Uses Python throughout * Provides the reader with the opportunity of using the book whenever needed rather than following a sequential path.

Model-Driven Dependability Assessment of Software Systems (Hardcover, 2013 ed.): Simona Bernardi, Jose Merseguer, Dorina Corina... Model-Driven Dependability Assessment of Software Systems (Hardcover, 2013 ed.)
Simona Bernardi, Jose Merseguer, Dorina Corina Petriu
R3,710 R3,344 Discovery Miles 33 440 Save R366 (10%) Ships in 12 - 17 working days

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.

Researchers and students will learn basic dependability concepts and how to model them usingUML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies."

Pro Java 6 3D Game Development - Java 3D, JOGL, JInput and JOAL APIs (Hardcover, 1st ed.): Andrew Davison Pro Java 6 3D Game Development - Java 3D, JOGL, JInput and JOAL APIs (Hardcover, 1st ed.)
Andrew Davison
R1,577 Discovery Miles 15 770 Ships in 10 - 15 working days

This book looks at the two most popular ways of using Java SE 6 to write 3D games on PCs: Java 3D (a high-level scene graph API) and JOGL (a Java layer over OpenGL).

Written by Java gaming expert, Andrew Davison, this book will be first Java game book to market that uses the new Java (SE) 6 platform and its features including splash screens, scripting, and the desktop tray interface.

This will be first and maybe only book to market that covers Java game development using the Java 3D API and Java for OpenGL, both critical components and libraries to Java-based 3D game application development.

Ontologies for Software Engineering and Software Technology (Hardcover, 2006 ed.): Coral Calero, Francisco Ruiz, Mario Piattini Ontologies for Software Engineering and Software Technology (Hardcover, 2006 ed.)
Coral Calero, Francisco Ruiz, Mario Piattini
R4,443 Discovery Miles 44 430 Ships in 12 - 17 working days

Communication is one of the main activities in software projects, many such projects fail or encounter serious problems because the stakeholders involved have different understandings of the problem domain and/or they use different terminologies. Ontologies can help to mitigate these communication problems.

Calero and her coeditors mainly cover two applications of ontologies in software engineering and software techonology: sharing knowledge of the problem domain and using a common terminology among all stakeholders; and filtering the knowledge when defining models and metamodels.

The editors structured the contributions into three parts: first, a detailed introduction into the use of ontologies in software engineering and software technology in general; second, the use of ontologies to conceptualize different process-related domains such as software maintenance, software measurement, or SWEBOK, initiated by IEEE; third, the use of ontologies as artifacts in several software processes, like, for example, in OMGa (TM)s MOF or MDA.

By presenting the advanced use of ontologies in software research and software projects, this book is of benefit to software engineering researchers in both academia and industry.

Software Quality Assurance - Integrating Testing, Security, and Audit (Paperback): Abu Sayed Mahfuz Software Quality Assurance - Integrating Testing, Security, and Audit (Paperback)
Abu Sayed Mahfuz
R1,214 Discovery Miles 12 140 Ships in 9 - 15 working days

Software Quality Assurance: Integrating Testing, Security, and Audit focuses on the importance of software quality and security. It defines various types of testing, recognizes factors that propose value to software quality, and provides theoretical and real-world scenarios that offer value and contribute quality to projects and applications. The practical synopsis on common testing tools helps readers who are in testing jobs or those interested in pursuing careers as testers. It also helps test leaders, test managers, and others who are involved in planning, estimating, executing, and maintaining software. The book is divided into four sections: The first section addresses the basic concepts of software quality, validation and verification, and audits. It covers the major areas of software management, software life cycle, and life cycle processes. The second section is about testing. It discusses test plans and strategy and introduces a step-by-step test design process along with a sample test case. It also examines what a tester or test lead needs to do before and during test execution and how to report after completing the test execution. The third section deals with security breaches and defects that may occur. It discusses documentation and classification of incidences as well as how to handle an occurrence. The fourth and final section provides examples of security issues along with a security policy document and addresses the planning aspects of an information audit. This section also discusses the definition, measurement, and metrics of reliability based on standards and quality metrics methodology CMM models. It discusses the ISO 15504 standard, CMMs, PSP, and TSP and includes an appendix containing a software process improvement sample document.

Lean Six Sigma (Hardcover): James Turner Lean Six Sigma (Hardcover)
James Turner
R870 R725 Discovery Miles 7 250 Save R145 (17%) Ships in 10 - 15 working days
Understanding Users - Designing Experience through Layers of Meaning (Hardcover): Andrew Dillon Understanding Users - Designing Experience through Layers of Meaning (Hardcover)
Andrew Dillon
R3,684 Discovery Miles 36 840 Ships in 12 - 17 working days

Grounded in the user-centered design movement, this book offers a broad consideration of how our civilization has evolved its technical infrastructure for human purpose to help us make sense of the contemporary world of information infrastructure and online existence. The author incorporates historical, cultural and aesthetic approaches to situating information and its underlying technologies across time in the collective, lived experiences of humanity. In today's digital information world, user experience is vital to the success of any product or service. Yet as the user population expands to include us all, designing for people who vary in skills, abilities, preferences and backgrounds is challenging. This book provides an integrated understanding of users, and the methods that have evolved to identify usability challenges, that can facilitate cohesive and earlier solutions. The book treats information creation and use as a core human behavior based on acts of representation and recording that humans have always practiced. It suggests that the traditional ways of studying information use, with their origins in the distinct layers of social science theories and models is limiting our understanding of what it means to be an information user and hampers our efforts at being truly user-centric in design. Instead, the book offers a way of integrating the knowledge base to support a richer view of use and users in design education and evaluation. Understanding Users is aimed at those studying or practicing user-centered design and anyone interested in learning how people might be better integrated in the design of new technologies to augment human capabilities and experiences.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 (Hardcover, 1st ed. 2016):... Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 (Hardcover, 1st ed. 2016)
Roger Lee
R3,782 R3,416 Discovery Miles 34 160 Save R366 (10%) Ships in 12 - 17 working days

This edited book presents scientific results of the 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2015) which was held on June 1 - 3, 2015 in Takamatsu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.

Internet of Things. Technology and Applications - 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event,... Internet of Things. Technology and Applications - 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4-5, 2021, Revised Selected Papers (Hardcover, 1st ed. 2022)
Luis M. Camarinha-Matos, Geert Heijenk, Srinivas Katkoori, Leon Strous
R2,568 Discovery Miles 25 680 Ships in 12 - 17 working days

This book constitutes the refereed post-conference proceedings of the Fourth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2021, held virtually in November 2021. The 15 full papers presented were carefully reviewed and selected from 33 submissions. Also included is a summary of two panel sessions held at the conference. The papers are organized in the following topical sections: challenges in IoT Applications and Research, Modernizing Agricultural Practice Using IoT, Cyber-physical IoT systems in Wildfire Context, IoT for Smart Health, Security, Methods.

Software Engineering for Variability Intensive Systems - Foundations and Applications (Paperback): Ivan Mistrik, Matthias... Software Engineering for Variability Intensive Systems - Foundations and Applications (Paperback)
Ivan Mistrik, Matthias Galster, Bruce R. Maxim
R1,384 Discovery Miles 13 840 Ships in 9 - 15 working days

This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.

Digital Systems Design and Prototyping - Using Field Programmable Logic and Hardware Description Languages (Hardcover, 2nd ed.... Digital Systems Design and Prototyping - Using Field Programmable Logic and Hardware Description Languages (Hardcover, 2nd ed. 2000)
Zoran Salcic, Asim Smailagic
R5,577 Discovery Miles 55 770 Ships in 10 - 15 working days

Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition covers the subject of digital systems design using two important technologies: Field Programmable Logic Devices (FPLDs) and Hardware Description Languages (HDLs). These two technologies are combined to aid in the design, prototyping, and implementation of a whole range of digital systems from very simple ones replacing traditional glue logic to very complex ones customized as the applications require. Three HDLs are presented: VHDL and Verilog, the widely used standard languages, and the proprietary Altera HDL (AHDL). The chapters on these languages serve as tutorials and comparisons are made that show the strengths and weaknesses of each language. A large number of examples are used in the description of each language providing insight for the design and implementation of FPLDs. The CD-ROM included with the book contains the Altera MAX+PLUS II development environment which is ready to compile and simulate all examples. With the addition of the Altera UP-1 prototyping board, all examples can be tested and verified in a real FPLD. Digital Systems Design and Prototyping: Using Field Programmable Logic and Hardware Description Languages, Second Edition is designed as an advanced level textbook as well as a reference for the professional engineer.

Modern Software Review - Techniques and Technologies (Hardcover): Modern Software Review - Techniques and Technologies (Hardcover)
R2,486 Discovery Miles 24 860 Ships in 12 - 17 working days

Software quality is vitally important to the success of a business. A single undetected error or defect during the software development process could have disastrous consequences during a business operation. Software review is one of the methods used to detect defects. This process maintains the quality of the product by reviewing interim deliverables during development. ""Modern Software Review: Techniques and Technologies"" provides an understanding of the critical factors affecting software review performance and gives practical guidelines for software reviews.

Embedded Software Development for Safety-Critical Systems, Second Edition (Paperback, 2nd edition): Chris Hobbs Embedded Software Development for Safety-Critical Systems, Second Edition (Paperback, 2nd edition)
Chris Hobbs
R1,992 Discovery Miles 19 920 Ships in 9 - 15 working days

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."

Software Reuse - Guidelines and Methods (Hardcover, New): James W. Hooper, Rowena O. Chester Software Reuse - Guidelines and Methods (Hardcover, New)
James W. Hooper, Rowena O. Chester
R2,460 Discovery Miles 24 600 Ships in 12 - 17 working days

1. Background and Introduction.- 1.1 The Problem.- 1.2 Concepts and Definitions.- 1.3 Research Activities.- 1.4 Status of Reuse Practice.- 1.5 Scope and Organization of this Book.- 1.6 References.- 2. Managerial Guidelines.- 2.1 Managerial Issues and Approaches.- 2.1.1 Organizational Management and Structure.- 2.1.2 Organizational Behavior.- 2.1.3 Contractual and Legal Considerations.- 2.1.4 Financial Considerations.- 2.1.5 Case Study: Reuse Program at Hartford Insurance Group.- 2.2 Software Development and Maintenance Incorporating Reuse.- 2.2.1 The Software Process.- 2.2.2 Life-Cycle Models.- 2.2.3 A Generic Reuse/Reusability Model.- 2.2.4 Establishing a Process.- 2.2.5 Case Study: JIAWG Reuse-Based Process Plan.- 2.3 References.- 3. Technical Guidelines.- 3.1 Domain Analysis.- 3.1.1 Overview.- 3.1.2 Case Study: The Domain Analysis Project at Software Engineering Institute (SEI).- 3.2 Creating Reusable Components.- 3.2.1 Spanning the Life Cycle.- 3.2.2 Requirements and Designs.- 3.2.2.1 Overview.- 3.2.2.2 Object-Oriented Approaches.- 3.2.3 Code Components.- 3.2.3.1 Code Component Structures.- 3.2.3.2 Programming Style.- 3.2.4 Component Quality.- 3.2.5 Classifying and Storing Components.- 3.2.6 Case Study: A Design Study of Telephony Software at Ericsson Telecom.- 3.3 Reusing Components.- 3.3.1 Cognitive Aspects.- 3.3.2 Searching and Retrieving.- 3.3.3 Understanding and Assessing Components.- 3.3.4 Adapting Components.- 3.3.5 Composition of Code Components.- 3.3.6 Case Study: A Quantitative Study of Spacecraft Control Software Reuse at GSFC.- 3.3.7 Case Study: The Reusable Software Library (RSL) at Intermetrics, Inc..- 3.4 Tools and Environments.- 3.5 References.- 4. Getting Started.- 4.1 Discussion.- 4.2 A Phased Approach.- 4.3 References.- Appendix A: Collected Guidelines.- Appendix B: Guidelines for Reusable Ada Code.

Software Complexity - Measures and Methods (Hardcover, Reprint 2019): Horst Zuse Software Complexity - Measures and Methods (Hardcover, Reprint 2019)
Horst Zuse
R5,375 Discovery Miles 53 750 Ships in 12 - 17 working days
Quick Recursion (Hardcover): David Matuszek Quick Recursion (Hardcover)
David Matuszek
R2,377 Discovery Miles 23 770 Ships in 12 - 17 working days

Tackles a topic in a concise and accessible way that most believe too advanced to pick up easily. Author has over 40 years teaching and industry experience which they utilize in this book. Contains an appendix with extended code and examples of topics discussed in text.

OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide - Exam 1Z0-815, Exam 1Z0-816, and Exam 1Z0-81... OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide - Exam 1Z0-815, Exam 1Z0-816, and Exam 1Z0-81 (Paperback)
J Boyarsky
R1,533 Discovery Miles 15 330 Ships in 12 - 17 working days

This OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide was published before Oracle announced major changes to its OCP certification program and the release of the new Developer 1Z0-819 exam. No matter the changes, rest assured this Study Guide covers everything you need to prepare for and take the exam. NOTE: The OCP Java SE 11 Programmer I Exam 1Z0-815 and Programmer II Exam 1Z0-816 have been retired (as of October 1, 2020), and Oracle has released a new Developer Exam 1Z0-819 to replace the previous exams. The Upgrade Exam 1Z0-817 remains the same. This is the most comprehensive prep guide available for the OCP Oracle Certified Professional Java SE 11 Developer certification--it covers Exam 1Z0-819 and the Upgrade Exam 1Z0-817 (as well as the retired Programmer I Exam 1Z0-815 and Programmer II Exam 1Z0-816)! Java is widely-used for backend cloud applications, Software as a Service applications (SAAS), and is the principal language used to develop Android applications. This object-oriented programming language is designed to run on all platforms that support Java without the need for recompilation. Oracle Java Programmer certification is highly valued by employers throughout the technology industry. The OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide in an indispensable resource for anyone preparing for the certification exam. This fully up-to-date guide covers 100% of exam objectives for Exam 1Z0-819 and Upgrade Exam 1Z0-817 (in addition to the previous Exam 1Z0-815 and Exam 1Z0-816). In-depth chapters present clear, comprehensive coverage of the functional-programming knowledge necessary to succeed. Each chapter clarifies complex material while reinforcing your understanding of vital exam topics. Also included is access to Sybex's superior online interactive learning environment and test bank that includes self-assessment tests, chapter tests, bonus practice exam questions, electronic flashcards, and a searchable glossary of important terms. The ultimate study aid for the challenging OCP exams, this popular guide: Helps you master the changes in depth, difficultly, and new module topics of the latest OCP exams Covers all exam objectives such as Java arrays, primitive data types, string APIs, objects and classes, operators and decision constructs, and applying encapsulation Allows developers to catch up on all of the newest Java material like lambda expressions, streams, concurrency, annotations, generics, and modules Provides practical methods for building Java applications, handling exceptions, programming through interfaces, secure coding in Java SE, and more Enables you to gain the information, understanding, and practice you need to pass the OCP exams The OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide is a must-have book for certification candidates needing to pass these challenging exams, as well as junior- to senior-level developers who use Java as their primary programming language.

Creativity and Rationale - Enhancing Human Experience by Design (Hardcover, 2013 ed.): John M Carroll Creativity and Rationale - Enhancing Human Experience by Design (Hardcover, 2013 ed.)
John M Carroll
R2,868 Discovery Miles 28 680 Ships in 10 - 15 working days

Creativity and rationale comprise an essential tension in design. They are two sides of the coin; contrary, complementary, but perhaps also interdependent. Designs always serve purposes. They always have an internal logic. They can be queried, explained, and evaluated. These characteristics are what design rationale is about. But at the same time designs always provoke experiences and insights. They open up possibilities, raise questions, and engage human sense making. Design is always about creativity.

"Creativity and Rationale: Enhancing Human Experience by Design" comprises 19 complementary chapters by leading experts in the areas of human-computer interaction design, sociotechnical systems design, requirements engineering, information systems, and artificial intelligence. Researchers, research students and practitioners in human-computer interaction and software design will find this state of the art volume invaluable.

Tabletops - Horizontal Interactive Displays (Hardcover, Edition.): Christian Muller-Tomfelde Tabletops - Horizontal Interactive Displays (Hardcover, Edition.)
Christian Muller-Tomfelde
R4,329 Discovery Miles 43 290 Ships in 10 - 15 working days

This book is the first attempt to bring together current research findings in the domain of interactive horizontal displays. The novel compilation will integrate and summarise findings from the most important international tabletop research teams. It will provide a state-of-the art overview of this research domain and therefore allow for discussion of emerging and future directions in research and technology of interactive horizontal displays.

Latest advances in interaction and software technologies and their increasing availability beyond research labs, refuels the interest in interactive horizontal displays. In the early 1990s Mark Weiser s vision of Ubiquitous Computing redefined the notion of Human Computer Interaction. Interaction was no longer considered to happen only with standard desktop computers but also with elements of their environment.

This book is structured in three major areas: under, on/above and around tabletops. These areas are associated with different research disciplines such as Hardware/Software and Computer Science, Human Computer Interaction (HCI) and Computer Supported Collaborative Work (CSCW). However, the comprehensive and compelling presentation of the topic of the book results from its interdisciplinary character. The book addresses fellow researchers who are interested in this domain and practitioners considering interactive tabletops in real-world projects. It will also be a useful introduction into tabletop research that can be used for the academic curriculum."

Python for Scientific Computing and Artificial Intelligence (Hardcover): Stephen Lynch Python for Scientific Computing and Artificial Intelligence (Hardcover)
Stephen Lynch
R3,846 Discovery Miles 38 460 Ships in 12 - 17 working days

Python for Scientific Computation and Artificial Intelligence is split into 3 parts: in Section 1, the reader is introduced to the Python programming language and shown how Python can aid in the understanding of advanced High School Mathematics. In Section 2, the reader is shown how Python can be used to solve real-world problems from a broad range of scientific disciplines. Finally, in Section 3, the reader is introduced to neural networks and shown how TensorFlow (written in Python) can be used to solve a large array of problems in Artificial Intelligence (AI). This book was developed from a series of national and international workshops that the author has been delivering for over twenty years. The book is beginner friendly and has a strong practical emphasis on programming and computational modelling. Features: No prior experience of programming is required. Online GitHub repository available with codes for readers to practice. Covers applications and examples from biology, chemistry, computer science, data science, electrical and mechanical engineering, economics, mathematics, physics, statistics and binary oscillator computing. Full solutions to exercises are available as Jupyter notebooks on the Web.

Intelligent Systems and Smart Infrastructure - Proceedings of ICISSI 2022 (Paperback): Brijesh Mishra, Subodh Wairya, Manish... Intelligent Systems and Smart Infrastructure - Proceedings of ICISSI 2022 (Paperback)
Brijesh Mishra, Subodh Wairya, Manish Tiwari, Rakesh Kumar Singh
R1,237 Discovery Miles 12 370 Ships in 12 - 17 working days

This book covers the proceedings of ICISSI 2022 (International Conference on Intelligent Systems and Smart Infrastructure) held at Prayagraj, Uttar Pradesh during April 21-22, 2022. The conference was jointly organised by Shambhunath Institute of Engineering and Technology, Prayagraj UP India, Institute of Engineering and Technology (IET) Lucknow, U.P India, and Manipal University Jaipur, Rajasthan India with an aim to provide a platform for researchers, scientists, technocrats, academicians and engineers to exchange their innovative ideas and new challenges being faced in the field of emerging technologies. The papers presented in the conference have been compiled in form of chapters to focus on the core technological developments in the emerging fields like machine learning, intelligence systems, smart infrastructure, advanced power technology etc.

Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications (Hardcover, 2003 ed.): Claude Girault,... Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications (Hardcover, 2003 ed.)
Claude Girault, Rudiger Valk
R3,155 Discovery Miles 31 550 Ships in 10 - 15 working days

Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.

Knowledge Engineering for Software Development Life Cycles - Support Technologies and Applications (Hardcover, New): Muthu... Knowledge Engineering for Software Development Life Cycles - Support Technologies and Applications (Hardcover, New)
Muthu Ramachandran
R4,844 Discovery Miles 48 440 Ships in 10 - 15 working days

Software exists in a wide array of products, ranging from toys, entertainment systems, medical systems, and home appliances to large-scale products such as aircraft and communication systems. Knowledge Engineering for Software Development Life Cycles: Support Technologies and Applications bridges the best practices and design principles successfully employed over last two decades with modern Knowledge Engineering (KE), which has provided some of the most valuable techniques and tools to support encoding knowledge and experiences. Through its identification and exploration of software development practices, captured as software guidelines that can be represented to automated software development, decision making, and knowledge management, this book brings industry and academia together to address the need for the growing applications and supporting knowledge-based approaches to software development.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Design and Use of Software Architectures…
Jan Bosch Paperback R1,538 Discovery Miles 15 380
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R579 Discovery Miles 5 790
Software Requirements And Specifications…
M. Jackson Paperback R1,375 Discovery Miles 13 750
Principles of Security and Trust - 7th…
Lujo Bauer, Ralf Kusters Hardcover R1,620 Discovery Miles 16 200
Developer Marketing Does Not Exist - The…
Adam Duvander Hardcover R593 Discovery Miles 5 930
Lean Startup - How to Work Smarter and…
James Edge Hardcover R715 R593 Discovery Miles 5 930
Research Anthology on Architectures…
Information R Management Association Hardcover R13,372 Discovery Miles 133 720
Writing Better Requirements - Writing…
Ian Alexander, Richard Stevens Paperback R1,248 Discovery Miles 12 480
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,134 Discovery Miles 21 340
Six Sigma Tools and Processes…
Hollie Hargreaves Hardcover R861 R705 Discovery Miles 7 050

 

Partners