Electronic Books

Total Books: 261 - 280 /400
978-3-540-85114-1
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
978-3-540-87875-9
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
978-3-540-88269-5
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 reading
NoIMG
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 ...

Continue reading
978-88-470-1076-5
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 reading
NoIMG
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 ...

Continue reading
978-3-540-69073-3
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
1118876490
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
978-1-4302-0988-1
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
978-3-540-88908-3
Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

Continue reading
978-3-030-60124-9
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 reading
NoIMG
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 ...

Continue reading
978-94-6265-273-6
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
978-1-84628-823-4
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
978-3-030-63505-3
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 reading
NoIMG
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. ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-78195-0
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
978-3-540-32008-1
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
3433033374
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
Total Books: 261 - 280 /400