Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
Lire la suiteConstitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
Lire la suiteThe papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this ...
Lire la suiteThis book summarizes important developments in telecommunications, including SS7 over IP, with a focus on SS7 network reliability.
Lire la suiteThis edited book is devoted specifically to the applications of complex nonlinear dynamic phenomena to real systems and device ...
Lire la suiteThe book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural ...
Lire la suiteIn this book, Higher Order Statistical (HOS) theory is used to develop indices for detecting and quantifying signal non-Gaussianity ...
Lire la suiteProceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 ...
Lire la suiteThis book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, ...
Lire la suiteDiagrammatology investigates the role of diagrams for thought and knowledge. Based on the general doctrine of diagrams in ...
Lire la suiteDialogue as a Collective Means of Design Conversation is the second volume edited by Patrick M. Jenlink and Bela H. Banathy ...
Lire la suiteThe rapid growth of gemological sciences and mineralogy requires a comprehensive dictionary for gemologists, mineralogists, ...
Lire la suiteThe goal of these notes is to provide a straightforward and self supporting but minimalist account of the key results forming ...
Lire la suiteThis book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic ...
Lire la suiteProblems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions ...
Lire la suiteThe human being aspires to the best possible performance. Both individuals and enterprises are looking for optimal—in other ...
Lire la suiteThe human being aspires to the best possible performance. Both individuals and enterprises are looking for optimal—in other ...
Lire la suiteThis book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and ...
Lire la suite