Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Continue reading
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Continue reading
Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Continue readingModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Continue reading
Modelli Dinamici Discreti = Discrete Dynamic Models
Discrete mathematical modeling is one of the driving factors in modern mathematics research, and has played a role of synthesis ...
Continue readingModelling and Simulation of Discrete-Event Systems / Byoung Kyu Choi Donghun Kang
Allows engineers to study and analyze complex systems. Discrete-event system (DES)-M&S is used in modern management, industrial ...
Continue reading
Models in Software Engineering : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Continue reading
Modernisation, Mechanisation and Industrialisation of Concrete Structures / Kim S. Elliott, Zuhairi Abd. Hamid
Modernisation, Mechanisation and Industrialisation of Concrete Structures discusses the manufacture of high quality prefabricated ...
Continue reading
More Joel on Software : Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
Joel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
Continue reading
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue reading
Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie
This book gathers authoritative contributions concerning multiscale problems in biomechanics, geomechanics, materials science ...
Continue readingNanotechnology for Smart Concrete / Ghasan Fahim Huseien, Nur Hafizah A. Khalid, Jahangir Mirza
Nanomaterials can markedly improve the mechanical properties of concrete, as well as reduce the porosity and enhance the ...
Continue reading
National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law
It offers important insights into three areas. First, it explores how constitutions reflect the transfer of powers from domestic ...
Continue reading
Network Performance Analysis : Using the J Programming Language
This useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
Continue reading
Next Generation Supply Chains A Roadmap for Research and Innovation
This book explores supply chains strategies to help companies face challenges such as societal emergency, digitalization, ...
Continue readingNonlinear Dynamics of Structures Under Extreme Transient Loads / Adnan Ibrahimbegovic, Naida Ademović
Covers 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
Nonlinear Finite Element Analysis of Composite and Reinforced Concrete Beams presents advanced methods and techniques for ...
Continue reading
Object-Oriented Technology. ECOOP 2007 Workshop Reader : ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ...
Continue reading
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue reading
Optimization Aided Design : Reinforced Concrete / Georgios Gaganelis, Peter Mark, Patrick Forman
Presents innovative optimization aided design methods for concrete structures. Mathematical optimization is applied to practical ...
Continue reading
