Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Continue readingFORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
Continue readingThis book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
Continue readingThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingThe goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the ...
Continue readingNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
Continue readingNumber theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
Continue readingGraduate students and postgraduates in Mathematics, Engineering and the Natural Sciences want to understand Applied Mathematics ...
Continue readingWith the dramatic increase in speed and capacity of modern computers, computational approaches are becoming of crucial importance ...
Continue readingThe book presents theory, fundamentals and applications of ferroelectricity. It describes the current levels of understanding ...
Continue readingThe FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
Continue readingThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingPares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. ...
Continue readingThis brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
Continue readingThis textbook—a result of the author’s many years of research and teaching—brings together diverse concepts of dynamics, ...
Continue readingThis text is a practical introduction that guides the reader through fundamental concepts in the calculation of radiation ...
Continue readingThis book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded ...
Continue reading