Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and... Læs mere
Bemærk: Kan ikke leveres før jul.
Classical Feedback Control with Nonlinear Multi-Loop Systems describes the design of... Læs mere
Bemærk: Kan ikke leveres før jul.
Hybrid Intelligent Techniques for Pattern Analysis and Understanding outlines the latest research on the development and application of synergistic approaches to pattern analysis in real-world scenarios.
Bemærk: Kan leveres før jul.
Reflecting the practices, trends, and developments from the field, this title equips you with a solid foundation of the important principles of systems... Læs mere
Bemærk: Kan ikke leveres før jul.
This revised textbook, intended for use in undergraduate/graduate courses on computer networking, computer systems/architecture and performance evaluation, presents a host of new and revised content and ancillaries.
Bemærk: Kan ikke leveres før jul.
This book presents a guide to navigating the complicated issues of quality and process improvement in enterprise software implementation, and the effect these have on the software development life cycle (SDLC).
Bemærk: Kan ikke leveres før jul.
Helps you learn how IS can help the organizations, and how to make key decisions on whether to undertake, upgrade, or decommission large... Læs mere
Bemærk: Kan ikke leveres før jul.
This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner.
Bemærk: Kan ikke leveres før jul.
* Part 1: "Systems of systems: concepts and practical illustrations" is a multidisciplinary work on the concept of the "systems-of-systems" * It provides key answers as to what a system of systems is and how its complexity can be mastered.
Bemærk: Kan ikke leveres før jul.
An accessible introduction to optimization analysis using spreadsheets Updated and revised, Optimization Modeling with Spreadsheets, Third Edition emphasizes model building skills in optimization analysis.
Bemærk: Kan ikke leveres før jul.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
Bemærk: Kan ikke leveres før jul.
Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical... Læs mere