Electronic Books

Total Books: 261 - 280 /1699

Component-Based Digital Movie Production

The ongoing digitization process affects all areas of the media industry. Within the scientific discussion, movie production ...

Comprehensive Utilization of Magnesium Slag by Pidgeon Process

This book introduces the harmless handling/recycling of magnesium slag , the process of magnesium silicothermic reduction ...

Computational Chemistry and Molecular Modeling

The gap between introductory level textbooks and highly specialized monographs is filled by this modern textbook. It provides ...

Computational Collective Intelligence : 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings

This volume constitutes the refereed proceedings of the 12th International Conference on Computational Collective Intelligence, ...

Computational Life Sciences (vol. # 4216)

This book constitutes the refereed proceedings of the Second International Symposium on Computational Life Sciences, CompLife ...

Computational Logic in Multi-Agent Systems (vol. # 3900)

The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...

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

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification (vol. # 3576)

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

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 Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...

Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...

Computer-based Design and Manufacturing

This book offers a comprehensive overview of the latest methods and state-of-the-art technologies in intelligent product ...

Computers Helping People with Special Needs

The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...

Computers Helping People with Special Needs

The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers ...

Computers and Education : Towards Educational Change and Innovation

This volume contains a selection of papers covering the latest research and experiences on the application of Information ...

Computers and Productivity

Highlighting the importance of innovations, firm-sponsored training, and recruitment of high-skilled workers, this monograph ...

Concentrator Photovoltaics

In fact, photovoltaic conversion of concentrated sunlight insures an efficient and cost-effective sustainable power resource. ...

Total Books: 261 - 280 /1699