This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Lire la suite
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lire la suite
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
Lire la suite
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Lire la suite
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lire la suite
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Lire la suite
The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Lire la suite
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suite
This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Lire la suite
Devoted to translational research – which aims to expedite the transfer of knowledge gained in the lab to clinical practice ...
Lire la suite
The needs of future digital data and computer systems are expected to be two to three orders of magnitude larger than for ...
Lire la suite
Ultrasonic Nondestructive Evaluation Systems: Models and Measurements provides the latest information and techniques available ...
Lire la suite
The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lire la suite
This book reports on methods and technologies to describe, evaluate and control uncertainty in mechanical engineering applications. ...
Lire la suite
This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
Lire la suite
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suite
For more than 25 years, the pioneering research and theories of Norbert Seel have had a profound impact on educational thought ...
Lire la suite
A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...
Lire la suite
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suite
Covers vibration testing and identification of dynamic structural systems. It starts from the fundamentals of structural ...
Lire la suite