FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيد
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيد
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
Covers the fundamentals of fractional calculus together with some analytical and numerical techniques, and provides MATLAB® ...
اقرأ المزيد
This volume sets out to present a coherent and comprehensive account of the concepts that underlie different approaches devised ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
اقرأ المزيد
Graduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics ...
اقرأ المزيد
Proposes a model and mechanism for explaining protein misfolding. Concepts presented are based on a model originally intended ...
اقرأ المزيد
This book is the result of the NATO Advanced Research Workshop on Frontiers in Planar Lightwave Circuit Technology, which ...
اقرأ المزيدWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
اقرأ المزيد
The book presents theory, fundamentals and applications of ferroelectricity. It describes the current levels of understanding ...
اقرأ المزيد
Although designed primarily for desktop mapping and analysis, Geographic Information Systems have, for some years, been ‘coupled’ ...
اقرأ المزيد
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
اقرأ المزيد
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
Pares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. ...
اقرأ المزيد
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
اقرأ المزيد
This textbook—a result of the author’s many years of research and teaching—brings together diverse concepts of dynamics, ...
اقرأ المزيد