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, ...
اقرأ المزيد
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. ...
اقرأ المزيد
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, ...
اقرأ المزيدModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
اقرأ المزيد
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 ...
اقرأ المزيدModelling 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
اقرأ المزيد
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 ...
اقرأ المزيدNanotechnology 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيدNonlinear 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. ...
اقرأ المزيدNonlinear 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 ...
اقرأ المزيد
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 - ...
اقرأ المزيد
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيد
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 ...
اقرأ المزيد
