Electronic Books

Total Books: 261 - 280 /400

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 ...

Total Books: 261 - 280 /400