Electronic Books

Total Books: 121 - 140 /740

Component-Based Software Engineering (vol. # 3489)

this book present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned ...

Component-Based Software Engineering (vol. # 4063)

CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...

Component-Based Software Testing with UML

Component-based software development regards software construction in terms of conventional engineering disciplines where ...

Comprehensive Occlusal Concepts in Clinical Practice / Irwin M. Becker

Aims to provide a clear and thorough guide to the understanding and application of occlusal concepts in the dental practice, ...

Computational Forensics : Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings

This book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, ...

Computational Granular Dynamics

Computer simulations not only belong to the most important methods for the theoretical investigation of granular materials, ...

Computational Intelligence for Agent-based Systems

In these last years the digital technology explosion has spawned so many new lifestyle models that the boundaries between ...

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

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

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

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

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

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

Computational Science and High Performance Computing II

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

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 : 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 and Information Science

The purpose of the 7th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2008) and the 2nd IEEE/ACIS ...

Computer-Aided Design of User Interfaces IV

Computer-Aided Design of User Interfaces IV gathers the latest research of experts, research teams and leading organisations ...

Computer-Human Interaction : 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings

This book constitutes the refereed proceedings of the 8th Asia Pacific Conference on Computer Human Interaction, APCHI 2008, ...

Computer-aided Systems in Public Transport

This proceedings volume consists of selected papers presented at the Ninth Int- national Conference on Computer-Aided Scheduling ...

Total Books: 121 - 140 /740