Søgning på underkategorier- og emner:
Suitable for the first course in logic design, taken by computer science, computer engineering, and electrical engineering students, this title... Læs mere
Whether your company is considering serverless computing or has already made the decision to adopt this model,... Læs mere
More recent advances of queueing systems are based on phase type distributions, Markov arrival processes and quasy birth death processes, which are introduced in the last chapter of the first part. The second part is devoted to queueing models and their applications.
This book constitutesrevised selected papers from the 10th... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.
There are many situations in science and engineering where complex output data from a given system is used to... Læs mere
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.
This text provides an introduction to the analysis techniques used in the design of linear feedback control systems. Following an introduction... Læs mere