This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
Continue readingSummarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure ...
Continue readingRAPID PROTOTYPING OF DIGITAL SYSTEMS provides an exciting and challenging environment for rapidly adapting System-on-a-Programmable ...
Continue readingMany decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...
Continue readingConstitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...
Continue readingThis volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
Continue readingThe book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Continue readingAn understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
Continue readingThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue readingThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Continue readingSustainability and procurement Sustainable sourcing Responsible sourcing Purchasing Category management Operating models ...
Continue readingThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Continue readingYou'll learn the basic foundation of Ubuntu Linux. Begin with the fundamentals. Installation and useful commands will give ...
Continue readingThis book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Continue readingThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Continue readingSQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
Continue readingThis book is organized in topical sections on database security, trust management, privacy protection, and security and privacy ...
Continue readingThe present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
Continue readingConstitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
Continue readingS3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
Continue reading