Bemærk: Kan ikke leveres før jul.
This book offers the reader a new approach to the solvability of boundary value problems with state-dependent impulses and provides recently obtained existence results for state dependent impulsive problems with general linear boundary conditions.
Bemærk: Kan ikke leveres før jul.
The book aims to provide an unifying view of a variety (a 'zoo') of mathematical models with some kind of singular nonlinearity, in the... Læs mere
Bemærk: Kan ikke leveres før jul.
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
Bemærk: Kan ikke leveres før jul.
First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly for the software engineering process itself.
Bemærk: Kan ikke leveres før jul.
This book presents the theory of order statistics in a way, such that beginners can get easily acquainted with the very basis of the theory without having to work through heavily involved techniques.
Bemærk: Kan ikke leveres før jul.
The book “Single variable Differential and Integral Calculus” is an interesting text book for students of mathematics and physics programs, and a reference book for graduate students in any engineering field.
Bemærk: Kan ikke leveres før jul.
The fourth category of topic will be dedicated to representative applications of activity recognition in intelligent environments, which... Læs mere