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. ...
Continue readingComputational 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 ...
Continue readingComputational Textile
This edited book collects a number of representative applications of computational techniques in textile and garment industry. ...
Continue reading
Computational Welding Mechanics
Provides readers with an introduction to the principles and applications of computational welding. This book instructs the ...
Continue reading
Computational and Information Science
this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
Computer Aided Systems Theory – EUROCAST 2007
This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Computer Applications in Sustainable Forest Management
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
Continue reading
Computer Music Modeling and Retrieval (vol. # 3902)
This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Computer Simulations of Liquid Crystals and Polymers
Liquid crystals, polymers and polymer liquid crystals are soft condensed matter systems of major technological and scientific ...
Continue reading
