This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Continue readingThe book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue readingThis book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue readingDiscrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Continue readingDiscrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis ...
Continue readingAllows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial ...
Continue readingThis book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Continue readingModernisation, Mechanisation and Industrialisation of Concrete Structures discusses the manufacture of high quality prefabricated ...
Continue readingJoel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
Continue readingMultiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingThis book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science ...
Continue readingNanomaterials can markedly improve the mechanical properties of concrete, as well as reduce the porosity and enhance the ...
Continue readingIt offers important insights into three areas. First, it explores how constitutions reflect the transfer of powers from domestic ...
Continue readingThis useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
Continue readingThis book explores supply chains strategies to help companies face challenges such as societal emergency, digitalization, ...
Continue readingCovers model building for different engineering structures and provides detailed presentations of extreme loading conditions. ...
Continue readingNonlinear Finite Element Analysis of Composite and Reinforced Concrete Beams presents advanced methods and techniques for ...
Continue readingThis volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Continue readingThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue readingPresents innovative optimization aided design methods for concrete structures. Mathematical optimization is applied to practical ...
Continue reading