Electronic Books

Total Books: 181 - 200 /771

Computational Structural Concrete: Theory and Applications / Ulrich Häussler-Combe

Concrete is by far the most used building material due to its advantages: it is shapeable, cost-effective and available everywhere. ...

Computational Techniques for Voltage Stability Assessment and Control

The key concepts of both saddle node and Hopf bifurcation are covered. These are illustrated with the differential-algebraic ...

Computational Textile

This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...

Computational Welding Mechanics

Provides readers with an introduction to the principles and applications of computational welding. This book instructs the ...

Computational and Information Science

this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) ...

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Computer Aided Systems Theory – EUROCAST 2007

This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Computer Applications in Sustainable Forest Management

Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...

Computer Music Modeling and Retrieval (vol. # 3902)

This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...

Computer Simulation Studies in Condensed-Matter Physics XVI

This status report features the most recent developments in the field, spanning a wide range of topical areas in the computer ...

Computer Simulation Studies in Condensed-Matter Physics XVIII

This volume represents a "status report" emanating from presentations made during the 18th Annual Workshop on Computer ...

Computer Simulations in Condensed Matter: From Materials to Chemical Biology - Vol. 1

This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all ...

Computer Simulations in Condensed Matter: From Materials to Chemical Biology - Vol. 2

This extensive and comprehensive collection of lectures by world-leading experts in the field introduces and reviews all ...

Computer Simulations of Liquid Crystals and Polymers

Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific ...

Total Books: 181 - 200 /771