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, ...
Lee mas
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. ...
Lee mas
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, ...
Lee masModeling and Control of Discrete-event Dynamic Systems
Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation ...
Lee mas
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 ...
Lee masModelling 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Lee mas
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 ...
Lee masNanotechnology 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee masNonlinear 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. ...
Lee masNonlinear 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 ...
Lee mas
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 - ...
Lee mas
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lee mas
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 ...
Lee mas
