Filter by
Non-functional Requirements in Systems Analysis and Design
This book will help readers gain a solid understanding of non-functional requirements inherent in systems design endeavors. It contains essential information for those who design, use and maintain complex engineered systems, including experienced designers, teachers of design, system stakeholders and practicing engineers. Coverage approaches non-functional requirements in a novel way by pres…
- Edition
- 1
- ISBN/ISSN
- 1566-0443
- Collation
- XXIV, 264
- Series Title
- Topics in Safety, Risk, Reliability and Quality
- Call Number
- -
Nonautonomous Linear Hamiltonian Systems: Oscillation, Spectral Theory and Co…
This monograph contains an in-depth analysis of the dynamics given by a linear Hamiltonian system of general dimension with nonautonomous bounded and uniformly continuous coefficients, without other initial assumptions on time-recurrence. Particular attention is given to the oscillation properties of the solutions as well as to a spectral theory appropriate for such systems. The book contains e…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-29023-2
- Collation
- XXI, 497
- Series Title
- Developments in Mathematics
- Call Number
- -
Non-commuting Variations in Mathematics and Physics:A Survey
This text presents and studies the method of so –called noncommuting variations in Variational Calculus. This method was pioneered by Vito Volterra who noticed that the conventional Euler-Lagrange (EL-) equations are not applicable in Non-Holonomic Mechanics and suggested to modify the basic rule used in Variational Calculus. This book presents a survey of Variational Calculus with no…
- Edition
- 1
- ISBN/ISSN
- 1860-6245
- Collation
- XIV, 235
- Series Title
- Interaction of Mechanics and Mathematics
- Call Number
- -
Financial Cryptography and Data Security
This book constitutes the refereed proceedings of three workshops held at the 19th International Conference on Financial Cryptography and Data Security, FC 2015, in San Juan, Puerto Rico, in January 2015. The 22 full papers presented were carefully reviewed and selected from 39 submissions. They feature the outcome of the Second Workshop on Bitcoin Research, BITCOIN 2015, the Third Workshop …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48051-9
- Collation
- XII, 309
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Filtering and Control of Stochastic Jump Hybrid Systems
The book is a timely reflection of the developing area of filtering and control theories for Markovian jump hybrid systems with various kinds of imperfect information. It is a collection of a series of latest research results and therefore serves as a useful textbook for senior and/or graduate students who are interested in knowing 1) the state-of-the-art of linear filtering and control areas, …
- Edition
- -
- ISBN/ISSN
- 978-3-319-31915-5
- Collation
- XIX, 212
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- -
Filtering and Control for Classes of Two-Dimensional Systems
The methods developed provide a framework for stability and performance analysis, optimal and robust controller and filter design and model approximation for the systems considered. Solutions to the design problems are couched in terms of linear matrix inequalities. For readers interested in the state of the art in linear filtering, control and model reduction, Filtering and Control for Clas…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13698-1
- Collation
- XVI, 336
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- -
File Management Made Simple, Windows Edition
Why is that? What is the common factor? It’s simple really. Each of these issues can be attributed to poor file management skills. In my experience, the people with the worst file management skills are simply the ones that lack an understanding of how to navigate the Windows operating system. However this situation can be easily rectified. And once you can successfully navigate your computer'…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1082-6
- Collation
- XVIII, 179
- Series Title
- -
- Call Number
- -
Design and implementation of the MTX operating system
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, comple…
- Edition
- -
- ISBN/ISSN
- 9783319175751
- Collation
- xxi, 539 pages
- Series Title
- -
- Call Number
- 005.3
ISCS 2014: Interdisciplinary Symposium on Complex Systems
The book you hold in your hands is the outcome of the “2014 Interdisciplinary Symposium on Complex Systems” held in the historical city of Florence. The book consists of 37 chapters from 4 areas of Physical Modeling of Complex Systems, Evolutionary Computations, Complex Biological Systems and Complex Networks. All 4 parts contain contributions that give interesting point of view on complexi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10758-5
- Collation
- X, 374
- Series Title
- -
- Call Number
- 004 ISC
IP Cores Design from Specifications to Production: Modeling, Verification, Op…
This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage …
- Edition
- -
- ISBN/ISSN
- 978-3-319-22034-5
- Collation
- IX, 154
- Series Title
- -
- Call Number
- 537.5 IPC
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography