Electronic Books

Total Books: 1661 - 1680 /8350

Computational Science and Its Applications - ICCSA 2006 (vol. # 3983)

This ?ve-volume set was compiled following the 2006 International Conference on Computational Science and its Applications, ...

Computational Science and Its Applications - ICCSA 2006 (vol. # 3984)

This ?ve-volume set was compiled following the 2006 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 studies of RNA and DNA

Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging ...

Computed Tomography : From Photon Statistics to Modern Cone-Beam CT

Tis book provides an overview of X-ray technology, the historic developmental milestones of modern CT systems, and gives ...

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 Engineering Design

This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...

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

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...

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 Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...

Computer Algebra in Scientific Computing

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

Computer Algebra in Scientific Computing

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

Total Books: 1661 - 1680 /8350