Electronic Books

Total Books: 221 - 240 /947

Computational Science – ICCS 2007

This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...

Computational Science – ICCS 2007

This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale ...

Computational Science – ICCS 2007

This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...

Computational Science – ICCS 2007

This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...

Computational Science – ICCS 2007

This book covers computational science and related areas, from multiscale physics to wireless networks, and from graph theory ...

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 Turbulent Incompressible Flow : Applied Mathematics : Body and Soul 4

This is Volume 4 of the book series of the Body & Soul mathematics education reform program, and presents a unified new approach ...

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 Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences / Vikas Anand Saharan

Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...

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 Algebra Recipes

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Computer Algebra Recipes

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Total Books: 221 - 240 /947