Electronic Books

Total Books: 901 - 920 /4441

Computational Science - ICCS 2006 (vol. # 3994)

The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...

Computational Science -- ICCS 2005 (vol. # 3515)

This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...

Computational Science and High Performance Computing III : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007

This volume contains 18 contributions to the Third Russian-German Advanced Research Workshop on Computational Science and ...

Computational Science and Its Applications - ICCSA 2005 Part II

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

Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...

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 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 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 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 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 ...

Total Books: 901 - 920 /4441