Electronic Books

Total Books: 881 - 900 /3972

Computational Science and Its Applications - ICCSA 2005 (vol. # 3482)

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...

Computational Science and Its Applications - ICCSA 2005 (vol. # 3483)

The four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ...

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 Textile

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

Computational Thinking Education

This book is under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational ...

Computational Welding Mechanics

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

Computational and Ambient Intelligence

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

Computational and Ambient Intelligence

This biennial meeting focuses on the foundations, theory, models and applications of systems inspired by nature (neural networks, ...

Computer Aided Bridge Engineering (Detail Design of Pre-Stressed Concrete I-Girder / Box-Girder Bridges) / Sandipan Goswami

Real project design calculations for a deck-girder superstructure are presented along with the design of an abutment and ...

Computer Aided Systems Theory – EUROCAST 2005

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

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 I

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 II

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

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

Computer Algebra in Scientific Computing

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...

Computer Algebra in Scientific Computing

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...

Computer Algebra in Scientific Computing (vol. # 4194)

This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...

Computer Analysis of Images and Patterns

This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...

Computer Analysis of Images and Patterns

This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...

Total Books: 881 - 900 /3972